1827 search results - page 104 / 366 » Automatic thesaurus construction |
103
click to vote
CCS
2011
ACM
13 years 12 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
CADE
2007
Springer
16 years 5 days ago
2007
Springer
We develop a formalization of the Size-Change Principle in Isabelle/HOL and use it to construct formally certified termination proofs for recursive functions automatically.
WACV
2007
IEEE
15 years 6 months ago
2007
IEEE
We address the limited automatic scanning functionality of standard PTZ camera systems. We present an adaptive, scene-specific model using standard PTZ camera hardware. The adapt...
113
click to vote
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
A procedure for automatic mosaic construction over long image sequences is presented. This mosaic is used by an underwater vehicle to estimate its motion with respect to the ocean ...
MVA
1990
15 years 1 months ago
1990
An industrial vision system is presented which is designed general enough not only to recognize parts but also to evaluate their quality, inspect the environment, and control a se...