3053 search results - page 21 / 611 » Structured Objects: Modeling and Reasoning |
IJSM
2002
13 years 6 months ago
2002
CADE
2001
Springer
14 years 7 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
DLOG
2000
13 years 8 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
PCM
2004
Springer
14 years 3 days ago
2004
Springer
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...
AIME
2003
Springer
14 years 59 min ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...