2098 search results - page 295 / 420 » Syntactic Topic Models |
LICS
1998
IEEE
14 years 2 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
ASSISTIVE
1998
Springer
14 years 2 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
ARTS
1997
Springer
14 years 2 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
ICSE
1993
IEEE-ACM
14 years 2 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
ECAI
1990
Springer
14 years 2 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...