Searching for "Gandalf." – sorted by Relevance.
277 documents found, showing 1 through 10.
Next 10 →
-
Gandalf
- …Gandalf TANEL TAMMET Department of Computing Science, University of Goteborg, Goteborg, Sweden…
- Add To MetaCart
-
Integrating Gandalf and HOL
- …Integrating Gandalf and HOL Joe Hurd ⋆ Computer Laboratory University of Cambridge joe…
- Cited by 36 (2 self) – Add To MetaCart
-
Reference Manual. Gandalf
- …Reference Manual GANDALF version c-1.0c by Tanel Tammet October 1997 Department of Computing…
- Add To MetaCart
-
Gandalf: Humanoid One
- …Gandalf: Humanoid One Using Ymir as a foundation, a character can be built by specifying…
- Add To MetaCart
-
Gandalf - A Swedish Telephone Speaker Verification Database
- …GANDALF - A SWEDISH TELEPHONE SPEAKER VERIFICATION DATABASE ABSTRACT The Gandalf speech database…
- Add To MetaCart
-
Gandalf - A Swedish Telephone Speaker Verification Database
- …GANDALF - A SWEDISH TELEPHONE SPEAKER VERIFICATION DATABASE Hkan Melin Dept. of Speech, Music…
- Cited by 16 (5 self) – Add To MetaCart
-
Graph-Based Product And Process Management In Mechanical Engineering
- …) such as e.g. Gandalf [25] and CPSG [26]. All of these environments mainly support programming. Abstract…
- Cited by 2 (1 self) – Add To MetaCart
-
The Algebraic Specification Language LOTOS: An Industrial Experience
- … omputer Science Department Gandalf Data Ltd. 61 Reaney Court 7 O Protocols Research Group 130 Colonnade Rd…
- Cited by 3 (0 self) – Add To MetaCart
-
Finite Model Building: Improvements and Comparisons
- … for the Falcon-type algorithms. The methods are implemented in the Gandalf theorem prover. We present both…
- Cited by 3 (0 self) – Add To MetaCart
-
A Mind Model for Multimodal Communicative Creatures & Humanoids
- … created, called Gandalf, capable of fluid multimodal dialogue. Ymir demonstrates several new ideas…
- Cited by 27 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
