3238 search results - page 71 / 648 » Not Enough Points Is Enough |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
ICIAP
2005
ACM
14 years 10 months ago
2005
ACM
Facial image analysis is very useful in many applications such as video compression, talking heads, or biometrics. During the last few years, many algorithms have been proposed in ...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
SOSP
2007
ACM
14 years 7 months ago
2007
ACM
As users interact with the world and their peers through their computers, it is becoming important to archive and later search the information that they have viewed. We present De...