748 search results - page 123 / 150 » Automatic Presentations and Semigroup Constructions |
PAMI
2002
13 years 8 months ago
2002
We advance new active object recognition algorithms that classify rigid objects and estimate their pose from intensity images. Our algorithms automatically detect if the class or p...
TOPLAS
2002
13 years 8 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
EUROMED
2010
13 years 7 months ago
2010
The research is focused on traditional timber frame structures (TFS) situated in rural areas. Often neglected, remaining examples embody our build Heritage. However, architects hav...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
KES
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a first system to semi-automatically create a visual representation for a given, short text. We first parse the input text, decompose it into suitable units,...