3207 search results - page 370 / 642 » A Semantics for HTN Methods |
145
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
144
click to vote
GIR
2007
ACM
15 years 9 months ago
2007
ACM
This paper describes research being employed in the Tripod project to improve the retrieval of photographs through a comprehensive knowledge of where they were taken. The methods ...
171
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Current algorithms cannot be used optimally in (semi)automatic ontology matching tasks as envisioned by the Semantic Web community, mainly because of the inherent dependency betwee...
135
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
145
click to vote
APN
2001
Springer
15 years 8 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...