5216 search results - page 1031 / 1044 » Planning as Model Checking |
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
GIS
2009
ACM
15 years 3 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
103
click to vote
SEMWEB
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
ELPUB
1999
ACM
15 years 2 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...