9067 search results - page 556 / 1814 » Adaptive Model Checking |
191
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In this contribution we introduce adaptive finite element methods for forward modeling in fluorescence optical tomography. Adaptive local mesh refinement increases the accuracy of...
190
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
We present a compiler for transforming an oblivious transfer (OT) protocol secure against an adaptive semi-honest adversary into one that is secure against an adaptive malicious ad...
163
click to vote
WSE
2005
IEEE
16 years 20 days ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
192
click to vote
INFOCOM
2002
IEEE
16 years 16 hour ago
2002
IEEE
There are various techniques for adapting the transmission rate of an application while maintaining the perceived quality at the receiver at acceptable levels. Shared channel syst...
175
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
We present a framework to adapt software to the needs of individuals with severe motion disabilities who use mouse substitution interfaces. Typically, users are required to adapt t...