2694 search results - page 352 / 539 » A Description Logic of Change |
156
click to vote
FMSD
2006
15 years 6 months ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
163
click to vote
JUCS
2006
15 years 6 months ago
2006
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
160
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
216
click to vote
IDEAL
2010
Springer
15 years 4 months ago
2010
Springer
World Wide Web (WWW) is a vast source of information, the problem of information overload is more acute than ever. Due to noise in WWW, it is becoming hard to find usable informati...
201
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose a novel approach to point matching under large viewpoint and illumination changes that is suitable for accurate object pose estimation at a much lower computational cos...