9145 search results - page 393 / 1829 » Description Logic Systems |
196
click to vote
LOGCOM
2010
15 years 1 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
193
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
162
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Generating vehicle trajectories from video data is an important application of ITS (Intelligent Transportation Systems). We introduce a new tracking approach which uses model-base...
165
click to vote
ACSC
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
168
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...