216 search results - page 14 / 44 » Modeling and Automated Containment of Worms |
MODELLIERUNG
2008
13 years 9 months ago
2008
: Intelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual lan...
ASP
2005
Springer
14 years 1 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
ARTMED
2006
13 years 7 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
DLOG
2003
13 years 9 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Preoperative planning systems are commonly used for oral implant surgery. One of the objectives is to determine if the quantity and quality of bone is sufficient to sustain an impl...