Search Result
Save to File
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