1306 search results - page 217 / 262 » A Diagrammatic Approach to Model Completion |
126
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
192
click to vote
DICTA
2007
15 years 7 months ago
2007
The large shape variability and partial occlusions challenge most object detection and tracking methods for nonrigid targets such as pedestrians. Single camera tracking is limited...
149
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
182
click to vote
ICONIP
2007
15 years 7 months ago
2007
We propose a technique to make a robot execute free and solitary dance movements on music, in a manner which simulates the dynamic alternations between synchronisation and autonomy...
150
click to vote
IJCAI
2007
15 years 7 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...