4266 search results - page 561 / 854 » A Framework for Defining Logics |
179
click to vote
CVPR
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a method for matching curves which accommodates large and small deformation. The method preserves geometric similarities in the case of small deformation, and loosens t...
172
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...
171
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
155
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, ex...
154
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...