1438 search results - page 129 / 288 » An Expressive Extension of TLC |
160
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
152
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
The irradiance at a point on a surface due to a polyhedral source of uniform brightness is given by a well-known analytic formula. In this paper we derive the corresponding analyt...
156
click to vote
CDB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
218
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
An analysis-by-synthesis framework for face recognition with variant pose, illumination and expression (PIE) is proposed in this paper. First, an efficient 2D-to-3D integrated fac...
213
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...