1111 search results - page 123 / 223 » A Conceptual Modeling Technique Based on Semantically Comple... |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
AIIDE
2009
13 years 10 months ago
2009
Design of game worlds is becoming more and more laborintensive because of the increasing demand and complexity of content. This is being partially addressed by developing semi-aut...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
EDCC
2008
Springer
13 years 10 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
SPIRE
2005
Springer
14 years 2 months ago
2005
Springer
Proximity searching consists in retrieving from a database, objects that are close to a query. For this type of searching problem, the most general model is the metric space, where...