4609 search results - page 762 / 922 » Automatic Generation of Sigma-Protocols |
150
Voted
MM
2003
ACM
15 years 11 months ago
2003
ACM
To exploit rich content embedded in a single photograph, a system named Photo2Video was developed to automatically convert a photographic series into a video by simulating camera ...
122
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
We will present a novel two-step fuzzy translation technique for cross-lingual spelling variants. In the first stage, transformation rules are applied to source words to render th...
161
Voted
AUSAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the philosophy of behavior-based robotics, design of complex behavior needs the interaction of basic behaviors that are easily implemented. Action selection mechanism ...
168
Voted
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
168
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...