Sciweavers

11065 search results - page 384 / 2213
» Education
Sort
View
CORR
2000
Springer
82views Education» more  CORR 2000»
15 years 7 months ago
Representation results for defeasible logic
Grigoris Antoniou, David Billington, Guido Governa...
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 7 months ago
Verifying Termination and Error-Freedom of Logic Programs with block Declarations
Jan-Georg Smaus, Patricia M. Hill, Andy King
CORR
2000
Springer
64views Education» more  CORR 2000»
15 years 7 months ago
Compiling Language Definitions: The ASF+SDF Compiler
Mark van den Brand, Jan Heering, Paul Klint, Piete...
CORR
2002
Springer
84views Education» more  CORR 2002»
15 years 7 months ago
A Method for Open-Vocabulary Speech-Driven Text Retrieval
While recent retrieval techniques do not
Atsushi Fujii, Katunobu Itou, Tetsuya Ishikawa
CORR
2002
Springer
148views Education» more  CORR 2002»
15 years 7 months ago
Classes of Spatiotemporal Objects and Their Closure Properties
Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Pet...