Search Result Save to File Save as CSV
Your search for 13437 returns 4350 document(s)
Artificial Intelligence; Reasoning about Temporal Relations: The Tractable Subalgebras of Allen's Interval Algebra
Author: A. Krokhin, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deep neural network for speaker identification using static and dynamic prosodic feature for spontaneous and dictated data
Author: Arifan Rahman; Wahyu Catur Wibowo; | Call Number: Mak T Jilid 071-095 (T-1292) (Mak T-091) | Type: Makalah Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Deep Natural Network for Speaker Identification Using Static and Dynamic Prosodic Feature for Spontaneus and Dictated Data
Author: Arifin Rahman; | Call Number: TR-CSUI/ 011-2021 | Type: Technical Report
Find Similar |  Add To Favorites |  Detail in New Window 
Extending Document Management Systems with User-Specific Active Properties, page 140-170
Author: Paul Dourish, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Hyperdocuments as automata: verification of trace based browsing properties, page 1
Author: P. David s. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272
Author: Paola Inverardi, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Evidential reasoning for object recognition, page 837
Author: T.O. Binford | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next