3207 search results - page 526 / 642 » A Semantics for HTN Methods |
142
Voted
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
136
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
118
Voted
UML
2004
Springer
15 years 9 months ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
127
Voted
MIR
2003
ACM
15 years 8 months ago
2003
ACM
Huge amount of manual efforts are required to annotate large image/video archives with text annotations. Several recent works attempted to automate this task by employing supervis...
136
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...