950 search results - page 89 / 190 » Machine semantics |
144
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
174
click to vote
MT
2002
15 years 4 months ago
2002
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...
119
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
120
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
The Semantic Web is still a web, a collection of linked nodes. Navigation of links is currently, and will remain for humans if not machines, a key mechanism for exploring the spac...
138
click to vote
SPIESR
2004
15 years 6 months ago
2004
This paper presents an overview of our recent work on managing image and video data. The first half of the paper describes a representation for the semantic spatial layout of vide...