4935 search results - page 396 / 987 » An Adaptive Supersampling Method |
187
click to vote
DEXAW
2003
IEEE
16 years 26 days ago
2003
IEEE
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
120
click to vote
ISCAS
1999
IEEE
15 years 12 months ago
1999
IEEE
A method is presented to reduce the interference pickup in nerve cuff recordings. The g,ains of differential amplifiers connected to the true tripole nerve cuff arrangement are tu...
215
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
213
click to vote
ENTCS
2008
15 years 7 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
213
Voted
OHS
2001
Springer
16 years 19 hour ago
2001
Springer
Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...