556 search results - page 76 / 112 » Checking Interval Properties of Computations |
125
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...
124
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
125
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
156
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose how the parameter distributions of multilinear geometric entities can be dualised. The dualisation concern, for example, the parameter distributions of c...
135
click to vote
SLP
1994
15 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...