| Your search for 37639 returns 5744 document(s) |
| On solving soft temporal constraints using sat techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 607-621 |
|
Author: Hossein M. Sheini; Bart Peintner; Karem A. Sakallah; Martha E. Pollack; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using boolean constraint propagation for sub-clauses deduction, (LNCS-Lecture Notes in Computer Science 3709) Hal 757-761 |
|
Author: S. Darras; G. Dequen; L. Devendeville; B. Mazure; R. Ostrowski; L. Sais; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dimensioning an inbound call center using constraint programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 841 |
|
Author: Cyril Canon; Jean-Charles Billaut; Jean-Louis Bouquard; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Constraint programming for solving distance CSP with uncertainty, (LNCS-Lecture Notes in Computer Science 3709) Hal 847 |
|
Author: Carlos Grandon; Bertrand Neveu; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Robust constraint solving using multiple heuristics, (LNCS-Lecture Notes in Computer Science 3709) Hal 871 |
|
Author: Alfio Vidotto; Kenneth N. Brown; J. Christopher Beck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clustering of imperfect transcripts using a novel similarity measure, (LNCS-Lecture Notes in Computer Science 2773) Hal 23-35 |
|
Author: Oktay Ibrahimov; Ishwar Sethi; Nevenka Dimitrova; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184 |
|
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
|
Author: Michael Adlaide; Olivier Roux; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel quasi-monte carlo integration using (t,s)-sequences, (LNCS-Lecture Notes in Computer Science 1557) Hal 96-106 |
|
Author: Wolfgang CH. Schmid; Andreas Uhl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and scheduling for MPEG-4 based video encoder using a cluster of workstations, (LNCS-Lecture Notes in Computer Science 1557) Hal 306-316 |
|
Author: Yong He; Ishfaq Ahmad; Ming L. Liou; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result