759 search results - page 77 / 152 » A Perspective on Knowledge Compilation |
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
— We present a new algorithm for routing of messages in ad-hoc networks where the nodes are energy-constrained. The routing objective is to maximize the total number of messages ...
ISESE
2002
IEEE
15 years 2 months ago
2002
IEEE
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...