5216 search results - page 463 / 1044 » Planning as Model Checking |
267
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
153
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
167
click to vote
ICSEA
2006
IEEE
16 years 25 days ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
169
click to vote
IS4TH
2003
Springer
15 years 12 months ago
2003
Springer
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...
141
click to vote
WSC
2000
15 years 8 months ago
2000
This paper presents a model and an analysis done to predict enemy force closure. The simulation replaces a pencil and ruler method that has been used by Department of Defense plan...