2565 search results - page 62 / 513 » Object type constructors |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Different people or objects may share identical names in the real world, which causes confusion in many applications. It is a nontrivial task to distinguish those objects, especia...
HAPTICS
2009
IEEE
14 years 22 days ago
2009
IEEE
In order to achieve awareness of collision during teleoperation and to support operator with valuable information (object stiffness and shape), we elaborated approaches to object ...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
ICCHP
2004
Springer
14 years 2 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we present an automatic method for character prototyping and font type characterization in machine-printed document images at a character level. To do so, we use a ...