9810 search results - page 45 / 1962 » Problems, Descriptions and Objects |
MEMICS
2010
13 years 2 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...
KR
2000
Springer
13 years 11 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
14 years 8 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...
ICCSA
2003
Springer
14 years 24 days 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
14 years 8 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 ...