| Your search for 44049 returns 142 document(s) |
| Efficient modeling of memory arrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254)Hal. 368-399 |
|
Author: Miroslav Velev; Randal E. Bryant; Alok Jain; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351 |
|
Author: R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20 |
|
Author: Eugene Asarin; Oded Maler; Amir Pneuli; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Take Their Word for It: The Symbolic Role of Linguistic Style Matches in User Communities, page 1201-1217 |
|
Author: Stephan Ludwig, Ko de Ruyter, Dominik Mahr, Martin Wetzels, Elisabeth Brüggen, and Tom de Ruyck | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Beyond Being There: The Symbolic Role of Communication and Identification in Perceptions of Proximity to Geographically Dispersed Colleagues, page 1219-1243 |
|
Author: Michael Boyer O’Leary, Jeanne M. Wilson, and Anca Metiu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Neuro-symbolic artificial intelligence: the state of the art / Edited by Pascal hitzler ; Md Kamruzzaman Sarker |
|
Call Number: 006.3 Neu | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decisions, Uncertainty, and Computation: A Differential Approach to Inference in Bayesian Networks |
|
Author: A. Darwiche | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decisions, Uncertainty, and Computation; Mini-Buckets: A General Scheme for Bounded Inference |
|
Author: R. Dechter, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial Intelligence: Building Tractable Disjunctive Constraints, Aneuroidal Architecture for Cognitive Computation |
|
Author: D, Cohen, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decisions, Uncertainty, and Computation: Complexity of Finite-Horizon Markov Decision Process Problems |
|
Author: M. Mundhenk, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result