• Suche: "Algorithmics. Computability. Computer arithmetics"

Treffer 261 - 280 von 30.021

261

Switched PIOA : Parallel composition via distributed scheduling
CHEUNG, Ling ; LYNCH, Nancy ; SEGALA, Roberto ; et al.
Formal methods for components and objectsTheoretical computer science. 365(1-2):83-108

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

Swap and mismatch edit distance
AMIR, Amihood ; EISENBERG, Estrella ; PORAT, Ely
Twelfth Annual European Symposium on AlgorithmsAlgorithmica. 45(1):109-120

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

Supply chain scheduling : Sequence coordination
AGNETIS, Alessandro ; HALL, Nicholas G ; PACCIARELLI, Dario
International Symposium on Combinatorial Optimization CO'02Discrete applied mathematics. 154(15):2044-2063

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

Supervised genetic search for parameter selection in painterly rendering
COLLOMOSSE, John P
Applications of evolutionary computing (EvoWorkshops 2006)Lecture notes in computer science. :599-610

Bioinformatics Bioinformatique Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
265

Subthreshold-seeking local search
WHITLEY, Darrell ; ROWE, Jonathan
Foundations of genetic algorithmsTheoretical computer science. 361(1):2-17

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

Substitutions with cofinal fixed points
TAN, Bo ; WEN, Zhi-Xiong ; WU, Jun ; et al.
Numération, pavages, substitutions, 14-18 mars 2005, GrenobleAnnales de l'Institut Fourier. 56(7):2551-2563

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
267

Subclasses of k-trees : Characterization and recognition
MARKENZON, L ; JUSTEL, C. M ; PACIOINIK, N
IV ALIO/EURO Workshop on Applied Combinatorial Optimization, Pucón, Chile, November 4-6, 2002Discrete applied mathematics. 154(5):818-825

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

Strongly polynomial-time truthful mechanisms in one shot
PENNA, Paolo ; PROIETTI, Guido ; WIDMAYER, Peter
Internet and network economics (Second International workshop, WINE 2006, Patras, Greece, December 15-17, 2006)Lecture notes in computer science. :377-388

Economy Economie Computer science Informatique Telecommunications Télécommunications …
Konferenz
Zu den Favoriten
269

Strategies for combining decision procedures
CONCHON, Sylvain ; KRSTIC, Sava
Tools and algorithms for the construction and analysis of systems (TACAS 2003)Theoretical computer science. 354(2):187-210

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

State-identification problems for finite-state transducers
KRICHEN, Moez ; TRIPAKIS, Stavros
Formal approaches to software testing and runtime verification (First combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006)0FATES 2006. :148-162

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

State space reduction for process algebra specifications
GARAVEL, Hubert ; SERWE, Wendelin
Algebraic methodology and software technologyTheoretical computer science. 351(2):131-145

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

Stability versus speed in a computable algebraic model
ZIEGLER, Martin
Real numbers and computersTheoretical computer science. 351(1):14-26

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

Squares and overlaps in the thue-morse sequence and some variants
BROWN, Shandy ; RAMPERSAD, Narad ; SHALLIT, Jeffrey ; et al.
Informatique théorique et applications (Imprimé). 40(3):473-484

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
274

Speech enhancement in short-wave channel based on empirical mode decomposition
SHEN, Li-Ran ; YIN, Qing-Bo ; LI, Xue-Yao ; et al.
Computer science (theory and applications)0CSR 2006. :591-599

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

Spectral partitioning, eigenvalue bounds, and circle packings for graphs of bounded genus
KELNER, Jonathan A
Thirty-Sixth Annual ACM Symposium on Theory of Computing (STOC 2004)SIAM journal on computing (Print). 35(4):882-902

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

Specificity of hybridization between DNA sequences based on free energy
TANAKA, Fumiaki ; KAMEDA, Atsushi ; YAMAMOTO, Masahito ; et al.
DNA computing (11th international workshop on DNA computing, DNA11, London, ON, Canada, June 6-9, 2005)0DNA 11. :371-379

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

Specification and refinement of mobile systems in MTLA and mobile UML
KNAPP, Alexander ; MERZ, Stephan ; WIRSING, Martin ; et al.
Algebraic methodology and software technologyTheoretical computer science. 351(2):184-202

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

Sparse connectivity certificates via MA orderings in graphs
NAGAMOCHI, Hiroshi
Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto UniversityDiscrete applied mathematics. 154(16):2411-2417

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

Some results about the Markov chains associated to GPs and general EAs
MITAVSKIY, Boris ; ROWE, Jonathan
Foundations of genetic algorithmsTheoretical computer science. 361(1):72-110

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

Some formulations for the group steiner tree problem
FERREIRA, Carlos E ; FILHO, Fernando M. De Oliveira
Traces of the Latin American conference on combinatorics, graphs and applications: a selection of papers from LACGA 2004Discrete applied mathematics. 154(13):1877-1884

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter