1678 search results - page 139 / 336 » An ASM Specification of C |
132
click to vote
WSC
1998
15 years 7 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
138
click to vote
ANLP
1992
15 years 7 months ago
1992
This paper describes the approach followed in the development of the linguistic processor of the continuous speech dialog system implemented at our labs. The application scenario ...
150
click to vote
MVA
1992
15 years 7 months ago
1992
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
218
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
Robotics is a challenging domain that exhibits a clear need for self-adaptive capabilities, as self-adaptation offers the potential for robots to account for their unstable and unp...
152
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Algorithms are an integral part of computer science literature. However, none of the current search engines offer specialized algorithm search facility. We describe a vertical sea...