9810 search results - page 45 / 1962 » Problems, Descriptions and Objects |
120
click to vote
MEMICS
2010
14 years 7 months ago
2010
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...
110
click to vote
KR
2000
Springer
15 years 4 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
IPMI
2001
Springer
16 years 1 months ago
2001
Springer
This paper presents a Bayesian multi-scale three dimensional deformable template approach based on a medial representation for the segmentation and shape characterization of anatom...
105
click to vote
ICCSA
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an adaptive framework for live video analysis. The activities of surveillance subjects are described using a spatio-temporal vocabulary learned from recurrent ...