3081 search results - page 330 / 617 » A Formal Ontology of Properties |
175
click to vote
SAS
2005
Springer
16 years 6 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
214
click to vote
AMEC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
173
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
199
click to vote
LPAR
2004
Springer
16 years 2 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
172
Voted
PADL
2004
Springer
16 years 2 days ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...