Showing 121 - 140 of 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...
Conference
Save to List
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...
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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...
Conference
Save to List
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...
Conference
Save to List
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...
Conference
Save to List
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...
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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...
Conference
Save to List
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...
Conference
Save to List
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...
Conference
Save to List
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...
Conference
Save to List
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
Conference
Save to List
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...
Conference
Save to List
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
Conference
Save to List
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...
Conference
Save to List
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
Conference
Save to List

Filter