2062 search results - page 359 / 413 » Derivatives of Logical Formulas |
COLING
1992
15 years 4 days ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
GISCIENCE
2008
Springer
15 years 1 days ago
2008
Springer
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...
AUTOMATICA
2008
14 years 11 months ago
2008
This paper focuses on the NP-hard problem of reducing the complexity of piecewise polyhedral systems (e.g. polyhedral piecewise affine (PWA) systems). The results are fourfold. Fi...
IAJIT
2008
14 years 11 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
72
Voted
JAR
2008
14 years 11 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...