Showing 201 - 220 of 30,021

201

Worst-case performance of Wong's Steiner tree heuristic
CANDIA-VEJAR, Alfredo ; BRAVO-AZLAN, Hugo
IV ALIO/EURO Workshop on Applied Combinatorial Optimization, Pucón, Chile, November 4-6, 2002Discrete applied mathematics. 154(5):730-737

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
202

Workload balancing in multi-stage production processes
TAZARI, Siamak ; MÜLLER-HANNEMANN, Matthias ; WEIHE, Karsten
Experimental algorithms (5th international workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006)Lecture notes in computer science. :49-60

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
203

Window subsequence problems for compressed texts
CEGIELSKI, Patrick ; GUESSARIAN, Irène ; LIFSHITS, Yury ; et al.
Computer science (theory and applications)0CSR 2006. :127-136

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
204

Well-calibrated predictions from on-line compression models
VOVK, Vladimir
Algorithmic learning theoryTheoretical computer science. 364(1):10-26

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
205

Well-covered graphs and factors
RANDERATH, Bert ; VESTERGAARD, Preben Dahl
2nd Cologne/Twente Workshop on Graphs and Combinatorial Optimization (CTW 2003), Enschede, The Netherlands, May 14-16, 2003Discrete applied mathematics. 154(9):1416-1428

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
206

Well quasi-orders, unavoidable sets, and derivation systems
D'ALESSANDRO, Flavio ; VARRICCHIO, Stefano
Informatique théorique et applications (Imprimé). 40(3):407-426

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
207

Weighted multirecombination evolution strategies
ARNOLD, Dirk V
Foundations of genetic algorithmsTheoretical computer science. 361(1):18-37

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
208

Weighted logics for traces
MEINECKE, Ingmar
Computer science (theory and applications)0CSR 2006. :235-246

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
209

Viz : A visual analysis suite for explaining local search behavior
HALIM, Steven ; YAP, Roland H. C ; HOONG CHUIN LAU
UIST 2006 (proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, October 15-18, 2006, Montreux, Switzerland). :57-66

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
210

Visual data mining using principled projection algorithms and information visualization techniques
MANIYAR, Dharmesh M ; NABNEY, Ian T
KDD-2006 (proceedings of the Twelfth ACM SIGKDD international conference on knowledge discovery and data mining, August 20-23, 2006, Philadelphia, PA, USA). :643-648

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
211

Verifying data refinements using a model checker
SMITH, Graeme ; DERRICK, John
Derivative papers from 'Refine '05Formal aspects of computing. 18(3):264-287

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
212

Using physiological signals to evolve art
BASA, Tristan ; GO, Christian Anthony ; YOO, Kil-Sang ; et al.
Applications of evolutionary computing (EvoWorkshops 2006)Lecture notes in computer science. :633-641

Bioinformatics Bioinformatique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
213

Using nondeterminism to amplify hardness
HEALY, Alexander ; VADHAN, Salil ; VIOLA, Emanuele
Thirty-Sixth Annual ACM Symposium on Theory of Computing (STOC 2004)SIAM journal on computing (Print). 35(4):903-931

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
214

Using interval arithmetic to prove that a set is path-connected
DELANOUE, Nicolas ; JAULIN, Luc ; COTTENCEAU, Bertrand
Real numbers and computersTheoretical computer science. 351(1):119-128

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
215

Using Lagrangian dual information to generate degree constrained spanning trees
ANDRADE, Rafael ; LUCENA, Abilio ; MACULAN, Nelson
IV ALIO/EURO Workshop on Applied Combinatorial Optimization, Pucón, Chile, November 4-6, 2002Discrete applied mathematics. 154(5):703-717

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
216

Use of DNA nanodevices in modulating the mechanical properties of polyacrylamide gels
YURKE, Bernard ; LIN, David C ; LANGRANA, Noshir A
DNA computing (11th international workshop on DNA computing, DNA11, London, ON, Canada, June 6-9, 2005)0DNA 11. :417-426

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
217

Updating directed minimum cost spanning trees
POLLATOS, Gerasimos G ; TELELIS, Orestis A ; ZISSIMOPOULOS, Vassilis
Experimental algorithms (5th international workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006)Lecture notes in computer science. :291-302

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
218

Unwinding a non-effective cut elimination proof
MINTS, Grigori
Computer science (theory and applications)0CSR 2006. :259-269

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
219

Universal relations and #P-completeness
FOURNIER, Hervé ; MALOD, Guillaume
Algorithms and complexity (6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006)0CIAC 2006. :368-379

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
220

Unfolding synthesis of asynchronous automata
BAUDRU, Nicolas ; MORIN, Rémi
Computer science (theory and applications)0CSR 2006. :46-57

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List

Filter