Your search for 38320 returns 4491 document(s) |
Randomization for multi-agent constraint optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 864 |
Author: Quang Huy Nguyen; Boi V. Faltings; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Uncertainty in soft constraint problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 865 |
Author: Maria Silvia Pini; Francesca Rossi; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
From linear relaxations to global constraint propagation, (LNCS-Lecture Notes in Computer Science 3709) Hal 867 |
Author: Claude-Guy Quimper; Alejandro Lopez-Ortiz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming in hybrid constraint languages, (LNCS-Lecture Notes in Computer Science 999)Hal. 226-251 |
Author: Vincent Gupta; Radha Jagadeesan; Vijay Saraswat; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A visualization and explanation tool for debugging ECA rules in active databases (LNCS-Lecture Notes in Computer Science 985) |
Author: S. Chakravarthy, Z. Tamizuddin, J. Zhou; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Extending a functional DBPL with ECA-rules (LNCS-Lecture Notes in Computer Science 985) Hal. 101-115 |
Author: Swarup Reddi, Alex Poulovassilis, Carol Small; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8 |
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inter-distance constraint: an extension of the all-different constraint for scheduling equal length jobs, (LNCS-Lecture Notes in Computer Science 3709) Hal 62-76 |
Author: Konstantin Artiouchine; Philippe Baptiste; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using OCSP to secure certificate-using transactions in m-commerce, (LNCS-Lecture Notes in Computer Science 2576) Hal 280-292 |
Author: Jose L. Munoz; Jordi Forne; Oscar Esparza; Bernabe Miguel Soriano; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On-line, reflexive constraint satisfaction for hybrid systems: first steps ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 93-107 |
Author: Michael S. Branicky; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|