3218 search results - page 195 / 644 » Timed Extensions for SDL |
149
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
113
Voted
SAC
2000
ACM
15 years 9 months ago
2000
ACM
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
143
click to vote
FGR
1998
IEEE
15 years 9 months ago
1998
IEEE
The recognition of human gestures in image sequences isan importantand challengingproblem that enables a host of human-computerinteractionapplications. This paper describes an inc...
154
Voted
PRICAI
1998
Springer
15 years 9 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
120
Voted
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
The computation of curvature and other differential properties of surfaces is essential for many techniques in analysis and rendering. We present a finite-differences approach for...