2100 search results - page 283 / 420 » Observation Can Be as Effective as Action in Problem Solving |
215
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
163
click to vote
SI3D
2005
ACM
15 years 12 months ago
2005
ACM
Blendshapes (linear shape interpolation models) are perhaps the most commonly employed technique in facial animation practice. A major problem in creating blendshape animation is ...
158
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, i...
142
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
The aim of this paper is to achieve seamless image stitching for eliminating obvious visual artifact caused by severe intensity discrepancy, image distortion and structure misalig...
149
click to vote
CPAIOR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...