1024 search results - page 99 / 205 » Compositional Methods for Probabilistic Systems |
DAGSTUHL
2006
13 years 9 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
FTRTFT
2000
Springer
13 years 11 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
CDVE
2007
Springer
14 years 2 months ago
2007
Springer
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
IJCAI
2003
13 years 9 months ago
2003
The ability to recognize when an agent abandons a plan is an open problem in the plan recognition literature and is a significant problem if these methods are to be applied in rea...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Modern military and civilian surveillance applications should provide end users with the high level representation of events observed by sensors rather than with the raw...