• Suche: "Algorithmics. Computability. Computer arithmetics"

Treffer 121 - 140 von 30.021

121

Letter frequency in infinite repetition-free words
OCHEM, Pascal
Combinatorics on wordsTheoretical computer science. 380(3):388-392

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
122

Learning tree languages from positive examples and membership queries
BESOMBES, Jérome ; MARION, Jean-Yves
Algorithmic learning theoryTheoretical computer science. 382(3):183-197

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
123

Learning intersection-closed classes with signatures
BULATOV, Andrei ; HUBIE CHEN ; DALMAU, Victor
Algorithmic learning theoryTheoretical computer science. 382(3):209-220

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
124

Leanest quasi-orderings
DERSHOWITZ, Nachum ; ELLERMAN, E. Castedo
16th international conference on rewriting techniques and applicationsInformation and computation (Print). 205(4):535-556

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
125

Language equations with complementation : Decision problems
OKHOTIN, Alexander ; YAKIMOVA, Oksana
Developments in language theoryTheoretical computer science. 376(1-2):112-126

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
126

Interval versions of statistical techniques with applications to environmental analysis, bioinformatics, and privacy in statistical databases
KREINOVICH, Vladik ; LONGPRE, Luc ; STARKS, Scott A ; et al.
Scientific Computing, Computer arithmetic, and Validated Numerics (SCAN 2004)Journal of computational and applied mathematics. 199(2):418-423

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
127

Implicitization and parametrization of quadratic and cubic surfaces by μ-bases
CHEN, F ; SHEN, L ; DENG, J
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):131-142

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
128

Implicit fitting of point cloud data using radial hermite basis functions
NIELSON, G. M ; HAGEN, H ; LEE, K
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):301-307

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
129

Hybrid curve fitting
AIGNER, M ; JÜTTLER, B
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):237-247

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
130

Horn axiomatizations for sequential data
BALCAZAR, José L ; GARRIGA, Gemma C
Database theoryTheoretical computer science. 371(3):247-264

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
131

HPorter : Using arrows to compose parallel processes
LIWEN HUANG ; HUDAK, Paul ; PETERSON, John
Practical aspects of declarative languages (9th international symposium, PADL 2007, Nice, France, January 14-15, 2007)Lecture notes in computer science. :275-289

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
132

Geometric preprocessing of noisy point sets : An experimental study
VANCO, M ; BRUNNETT, G
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):365-380

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
133

Geometric modeling of spatial constraints : Objectives, methods and solid-modeling requirements
SAPIDIS, N. S
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):337-352

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
134

Geometric analysis of nondeterminacy in dynamical systems : Towards a geometric analysis of concurrent systems
WISNIEWSKI, Rafael ; RAUSSEN, Martin
Hybrid systemsActa informatica. 43(7):501-519

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
135

Generating labeled planar graphs uniformly at random
BODIRSKY, Manuel ; GRÖPL, Clemens ; KANG, Mihyun
Automata, languages and programming (ICALP 2003)Theoretical computer science. 379(3):377-386

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
136

Generating effective symmetry-breaking predicates for search problems
SHLYAKHTER, Ilya
SAT 2001, the fourth international symposium on the theory and applications of satisfiability testingDiscrete applied mathematics. 155(12):1539-1548

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Konferenz
Zu den Favoriten
137

Generating a nice triangular mesh on a regular parametric surface
HERNANDEZ-MEDEROS, V ; ESTRADA-SARLABOUS, J ; LEON-MADRIGAL, D
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):225-235

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
138

Finite arithmetic considerations for the FFT implemented in FPGA-based embedded processors in synthetic instruments
LOWDERMILK, Wade ; HARRIS, Fred
AUTOTESTCON 2006: Technical highlightsIEEE instrumentation & measurement magazine. 10(4):44-49

Metrology and instrument... Métrologie et instrument... Sciences exactes et tech... Exact sciences and techn... Physique Physics …
Konferenz
Zu den Favoriten
139

Faster algorithms for finding lowest common ancestors in directed acyclic graphs
CZUMAJ, Artur ; KOWALUK, Mirosław ; LINGAS, Andrzej
Automata, languages and programming (ICALP 2005)Theoretical computer science. 380(1-2):37-46

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
140

Fast congruence closure and extensions
NIEUWENHUIS, Robert ; OLIVERAS, Albert
16th international conference on rewriting techniques and applicationsInformation and computation (Print). 205(4):557-580

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter