9414 search results - page 1669 / 1883 » Adaptive Query Processing |
222
click to vote
HASKELL
2005
ACM
16 years 17 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
171
click to vote
IUI
2005
ACM
16 years 17 days ago
2005
ACM
Personal assistants need to allow the user to interact with the system in a flexible and adaptive way such as through spoken language dialogue. In this research we focus on an ap...
230
Voted
MMSEC
2005
ACM
16 years 17 days ago
2005
ACM
In this paper, we propose a new fragile watermarking scheme for 3D meshes. Firstly, the watermark information is adaptively embedded into the mesh geometry by slightly adjusting t...
164
click to vote
AI
2005
Springer
16 years 17 days ago
2005
Springer
Privacy is one of the main societal concerns raised by critics of the uncontrolled growth and spread of information technology in developed societies. The purpose of this paper is ...
185
Voted
AIED
2005
Springer
16 years 17 days ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...