4914 search results - page 351 / 983 » Arbitration of a help system |
201
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
164
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the main goals of anywhere augmentation is the development of automatic algorithms for scene acquisition in augmented reality systems. In this paper, we present Envisor, a ...
158
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...
181
click to vote
AI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we introduce a system that automatically summarizes multiple biomedical documents relevant to a question. The system extracts biomedical and general concept...
192
Voted
ICB
2007
Springer
16 years 27 days ago
2007
Springer
It has been shown that prosody helps to improve voice spectrum based speaker recognition systems. Therefore, prosodic features can also be used in multimodal person verification in...