Your search for 38701 returns 2899 document(s) |
The parallel abstract machine : a common execution model for FDTs, (LNCS-Lecture Notes in Computer Science 670) Hal 285-293 |
Author: Guillaume Doumenc; Jean-Francois Monin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
AC : a configurable, generic and adaptive arc consistency algorithm, (LNCS-Lecture Notes in Computer Science 3709) Hal 505-519 |
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Consistency for quantified constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 792-796 |
Author: Peter Nightingale; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Approximated consistency for the automatic recording problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 822-826 |
Author: Meinolf Sellmann; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Local consistency in weighted CSPs and inference in max-sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 849 |
Author: Federico Heras; Javier Larrosa; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Consistency for Partially defined constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 854 |
Author: Andrei Legtchenko; Arnaud Lallouet; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multiple stereo matching using an extended architecture, (LNCS-Lecture Notes in Computer Science 2147) Hal 203-212 |
Author: Miguel Arias-Estrada; Juan M. Xicotencatl; | Call Number: 005.115 Fie | 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
|
On a resynchronization weakness in a class of combiners with memory, (LNCS-Lecture Notes in Computer Science 2576) Hal 164-173 |
Author: Yuri Borissov; Svetla Nikova; Bart Preneel; Joos Vandewalle; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|