3028 search results - page 392 / 606 » Adaptive Novice Supporter |
230
click to vote
NCA
2005
IEEE
16 years 12 days ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
187
Voted
VISUALIZATION
2005
IEEE
16 years 12 days ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
215
click to vote
HASKELL
2005
ACM
16 years 12 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...
233
click to vote
HT
2005
ACM
16 years 12 days ago
2005
ACM
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...
206
click to vote
ADBIS
2005
Springer
16 years 12 days ago
2005
Springer
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...