121 search results - page 19 / 25 » Adaptive Application of SAT Solving Techniques |
JCM
2006
13 years 8 months ago
2006
Wireless sensor networks are widely adopted in many location-sensitive applications including disaster management, environmental monitoring, military applications where the precise...
EWC
2006
13 years 8 months ago
2006
Mesh generation and mesh enhancement algorithms often require a mesh size function to specify the desired size of the elements. We present algorithms for automatic generation of a...
CHI
2008
ACM
13 years 10 months ago
2008
ACM
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...
SASO
2007
IEEE
14 years 2 months ago
2007
IEEE
Self-adapting systems based on multiple concurrent applications must decide how to allocate scarce resources to applications and how to set the quality parameters of each applicat...
IEEEPACT
2009
IEEE
14 years 2 months ago
2009
IEEE
With advances in hardware, instruction set architectures are undergoing continual evolution. As a result, compilers are under constant pressure to adapt and take full advantage of...