263 search results - page 1 / 53 » Experiments with the DFL Hybrid System |
DLOG
1997
13 years 5 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
UMUAI
2002
13 years 4 months ago
2002
CADE
2007
Springer
14 years 4 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
ICMCS
2006
IEEE
13 years 10 months ago
2006
IEEE
We review the design and implementation of UltraGrid, a new high definition video conferencing system, and present some experimental results. UltraGrid was the first system to s...
IEAAIE
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. The study of a system for Vietnamese continuous digit recognition is described. The CSLU Toolkit was used to develop and implement hybrid HMM/ANN recognition systems. Exp...