2944 search results - page 66 / 589 » Robust Semantic Construction |
150
click to vote
IPMI
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
157
click to vote
CVPR
2009
IEEE
16 years 11 days ago
2009
IEEE
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline ...
181
click to vote
HASKELL
2005
ACM
15 years 11 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
172
click to vote
ICAIL
2005
ACM
15 years 11 months ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
187
click to vote
ISMIS
1997
Springer
15 years 9 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...