5216 search results - page 994 / 1044 » Planning as Model Checking |
92
Voted
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
82
Voted
VLDB
1995
ACM
15 years 2 months ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
AAAI
2008
15 years 1 months ago
2008
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
99
Voted
CHI
2008
ACM
15 years 27 days ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
91
Voted
DAGSTUHL
2007
15 years 11 days ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...