• Suche: "Algorithmics. Computability. Computer arithmetics"

Treffer 141 - 160 von 30.021

141

Fast Voronoi modeling
HAGEN, H ; SCHNEIDER, M ; SCHLEMMER, M ; et al.
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):185-196

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

Exploiting partial knowledge of satisfying assignments
IWAMA, Kazuo ; TAMAKI, Suguru
SAT 2001, the fourth international symposium on the theory and applications of satisfiability testingDiscrete applied mathematics. 155(12):1596-1603

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

Existence and computation of short-run equilibria in economic geography
PAVLIDIS, N. G ; VRAHATIS, M. N ; MOSSAY, P
International Conference on Computational Methods in Sciences and Engineering 2004 (ICCMSE-2004)Applied mathematics and computation. 184(1):93-103

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

Events and modules in reaction systems
EHRENFEUCHT, A ; ROZENBERG, G
Developments in language theoryTheoretical computer science. 376(1-2):3-16

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

Equivalence of simple functions
BASTIEN, Cédric ; CZYZOWICZ, Jurek ; FRACZAK, Wojciech ; et al.
Developments in language theoryTheoretical computer science. 376(1-2):42-51

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

Enumerating disjunctions and conjunctions of paths and cuts in reliability theory
KHACHIYAN, Leonid ; BOROS, Endre ; ELBASSIONI, Khaled ; et al.
29th symposium on mathematical foundations of computer science MFCS 2004Discrete applied mathematics. 155(2):137-149

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

Eliminating graphs by means of parallel knock-out schemes
BROERSMA, Hajo ; FOMIN, Fedor V ; KRALOVIC, Rastislav ; et al.
29th symposium on mathematical foundations of computer science MFCS 2004Discrete applied mathematics. 155(2):92-102

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

Efficient pebbling for list traversal synopses with application to program rollback
MATIAS, Yossi ; PORAT, Ely
Automata, languages and programming (ICALP 2003)Theoretical computer science. 379(3):418-436

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

Each maximal planar graph with exactly two separating triangles is Hamiltonian
HELDEN, Guido
3rd Cologne/Twente Workshop on Graphs and Combinatorial OptimizationDiscrete applied mathematics. 155(14):1833-1836

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

Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data
KHACHIYAN, Leonid ; BOROS, Endre ; ELBASSIONI, Khaled ; et al.
Automata, languages and programming (ICALP 2003)Theoretical computer science. 379(3):361-376

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

Drawing c-planar biconnected clustered graphs
NAGAMOCHI, Hiroshi ; KUROYA, Katsutoshi
Advances in graph drawing; The 11th International Symposium on Graph DrawingDiscrete applied mathematics. 155(9):1155-1174

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

Discrete rotations and symbolic dynamics
BERTHE, Valérie ; NOUVEL, Bertrand
Combinatorics on wordsTheoretical computer science. 380(3):276-285

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

Discrete random variables over domains
MISLOVE, Michael
Automata, languages and programming (ICALP 2005)Theoretical computer science. 380(1-2):181-198

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

Decoding interleaved Reed-Solomon codes over noisy channels
BLEICHENBACHER, Daniel ; KIAYIAS, Aggelos ; YUNG, Moti
Automata, languages and programming (ICALP 2003)Theoretical computer science. 379(3):348-360

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

Cycles and communicating classes in membrane systems and molecular dynamics
MUSKULUS, Michael ; BESOZZI, Daniela ; BRIJDER, Robert ; et al.
Membrane ComputingTheoretical computer science. 372(2-3):242-266

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

Context-dependent nondeterminism for pushdown automata
KUTRIB, Martin ; MALCHER, Andreas
Developments in language theoryTheoretical computer science. 376(1-2):101-111

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

Conjunctive query evaluation by search-tree revisited
ATSERIAS, Albert
Database theoryTheoretical computer science. 371(3):155-168

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

Conflict-directed A and its role in model-based embedded systems
WILLIAMS, Brian C ; RAGNO, Robert J
SAT 2001, the fourth international symposium on the theory and applications of satisfiability testingDiscrete applied mathematics. 155(12):1562-1595

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

Computational complexity of counting problems on 3-regular planar graphs
MINGJI XIA ; PENG ZHANG ; WENBO ZHAO
Theory and applications of models of computationTheoretical computer science. 384(1):111-125

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

Complexity of pattern classes and the Lipschitz property
AMBROLADZE, Amiran ; PARRADO-HERNANDEZ, Emilio ; SHAWE-TAYLOR, John
Algorithmic learning theoryTheoretical computer science. 382(3):232-246

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