• Suche: "Algorithmics. Computability. Computer arithmetics"

Treffer 41 - 60 von 30.021

41

Valiant's Holant Theorem and matchgate tensors
CAI, Jin-Yi ; CHOUDHARY, Vinay
Theory and applications of models of computationTheoretical computer science. 384(1):22-32

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

Using well-structured transition systems to decide divergence for catalytic P systems
BUSI, Nadia
Membrane ComputingTheoretical computer science. 372(2-3):125-135

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

Two-dimensional motion-planning for nonholonomic robots using the bump-surfaces concept
XIDIAS, E. K ; AZARIADIS, P. N ; ASPRAGATHOS, N. A
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):109-118

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

Two blossoming proofs of the Lane-Riesenfeld algorithm
VOUGA, E ; GOLDMAN, R
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):153-162

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

Two acceleration mechanisms in verified global optimization
TAPAMO, H ; FROMMER, A
Scientific Computing, Computer arithmetic, and Validated Numerics (SCAN 2004)Journal of computational and applied mathematics. 199(2):390-396

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

Two absolute bounds for distributed bit complexity
DINITZ, Yefim ; SOLOMON, Noam
Structural information and communication complexity (SIROCCO 2005)Theoretical computer science. 384(2-3):168-183

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

Time efficient centralized gossiping in radio networks
GASIENIEC, Leszek ; POTAPOV, Igor ; QIN XIN
Structural information and communication complexity (SIROCCO 2004)Theoretical computer science. 383(1):45-58

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

Three quantum algorithms to solve 3-SAT
LEPORATI, Alberto ; FELLONI, Sara
Membrane ComputingTheoretical computer science. 372(2-3):218-241

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

The unsatisfiability threshold revisited
KAPORIS, Alexis C ; KIROUSIS, Lefteris M ; STAMATIOU, Yannis C ; et al.
SAT 2001, the fourth international symposium on the theory and applications of satisfiability testingDiscrete applied mathematics. 155(12):1525-1538

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

The state of SAT
KAUTZ, Henry ; SELMAN, Bart
SAT 2001, the fourth international symposium on the theory and applications of satisfiability testingDiscrete applied mathematics. 155(12):1514-1524

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

The growth ratio of synchronous rational relations is unique
CARTON, Olivier
Developments in language theoryTheoretical computer science. 376(1-2):52-59

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

The circular chromatic index of some class 2 graphs
NADOLSKI, Adam
The Fourth Cracow Conference on Graph Theory Czorsztyn 2002Discrete mathematics. 307(11-12):1447-1454

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

The cell probe complexity of succinct data structures
GAL, Anna ; MILTERSEN, Peter Bro
Automata, languages and programming (ICALP 2003)Theoretical computer science. 379(3):405-417

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

The Kolmogorov complexity of infinite words
STAIGER, Ludwig
Complexity of algorithms and computationsTheoretical computer science. 383(2-3):187-199

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

The $-calculus process algebra for problem solving : A paradigmatic shift in handling hard computational problems
EBERBACH, Eugene
Complexity of algorithms and computationsTheoretical computer science. 383(2-3):200-243

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

Swapping a failing edge of a shortest paths tree by minimizing the average stretch factor
DI SALVO, Aleksej ; PROIETTI, Guido
Structural information and communication complexity (SIROCCO 2004)Theoretical computer science. 383(1):23-33

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

Surfaces with polar structure
KARCIAUSKAS, K ; PETERS, J
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):309-315

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

Surfaces parametrized by the normals
GRAVESEN, J
Special issue on geometric modeling (Dagstuhl 2005)Computing (Wien. Print). 79(2-4):175-183

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

Subjective-cost policy routing
FEIGENBAUM, Joan ; KARGER, David R ; MIRROKNI, Vahab S ; et al.
Internet and Network EconomicsTheoretical computer science. 378(2):175-189

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

Structure theorem and algorithm on (1, f)-odd subgraph
KANO, M ; KATONA, G. Y
The Fourth Cracow Conference on Graph Theory Czorsztyn 2002Discrete mathematics. 307(11-12):1404-1417

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

Filter