2282 search results - page 127 / 457 » Active property checking |
143
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
155
click to vote
ECCV
1994
Springer
16 years 6 months ago
1994
Springer
A new algorithm is described for refining the pose of a model of a rigid object, to conform more accurately to the image structure. Elemental 3D forces are considered to act on the...
203
click to vote
CVPR
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby re...
134
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
136
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...