1422 search results - page 79 / 285 » Complementation in Abstract Interpretation |
111
click to vote
LREC
2010
15 years 6 months ago
2010
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
142
click to vote
IJON
2007
15 years 4 months ago
2007
Despite a steady improvement of computational hardware, results of numerical simulation are still tightly bound to the simulation tool and strategy used, and may substantially var...
137
Voted
IGPL
2002
15 years 4 months ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
156
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
—In this paper we propose a probabilistic model to parameterize human interactive behaviour from human motion. To Support the model taxonomy, we use Laban Movement Analysis (LMA)...
186
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...