279 search results - page 11 / 56 » Constructive Interval Disjunction |
WALCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. Computing visible information, such as a visible surface determination, is a significant problem and has been mainly studied in the fields of computational geometry and...
110
click to vote
AAAI
2004
15 years 3 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
RC
2007
15 years 1 months ago
2007
This article proposes an approach for investigating the exponential stability of a nonlinear interval dynamical system with the nonlinearity of a quadratic type on the basis of the...
128
click to vote
ANOR
2005
15 years 1 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...
102
Voted
WSC
2004
15 years 3 months ago
2004
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...