Your search for 3169 returns 3898 document(s) |
Efficient constant coefficient multiplication using advanced FPGA architectures, (LNCS-Lecture Notes in Computer Science 2147) Hal 555-564 |
Author: Michael J. Wirthlin; Brian McMurtrey; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|