5608 search results - page 64 / 1122 » Structure description tools |
CADE
2001
Springer
15 years 10 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 ...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Along with images and videos, 3D models have raised a certain interest for a number of reasons, including advancements in 3D hardware and software technologies, their ever decreas...
BMCBI
2006
14 years 10 months ago
2006
Background: MannDB was created to meet a need for rapid, comprehensive automated protein sequence analyses to support selection of proteins suitable as targets for driving the dev...
EUSFLAT
2001
14 years 11 months ago
2001
On the example of physics, we show that the traditional one-level description is not completely adequate. For a more adequate structure, a hierarchical description of uncertainty ...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs...