Sciweavers

2542 search results - page 306 / 509
» One step ahead
Sort
View
ICCS
2005
Springer
16 years 7 days ago
An Adaptive Collision Detection and Resolution for Deformable Objects Using Spherical Implicit Surface
A fast collision detection and resolution scheme is one of the key components for interactive simulation of deformable objects. It is particularly challenging to reduce the computa...
Sunhwa Jung, Min Hong, Min-Hyung Choi
ICS
2005
Tsinghua U.
16 years 7 days ago
Think globally, search locally
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
Kamen Yotov, Keshav Pingali, Paul Stodghill
IPSN
2005
Springer
16 years 7 days ago
Avrora: scalable sensor network simulation with precise timing
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
Ben Titzer, Daniel K. Lee, Jens Palsberg
LPAR
2005
Springer
16 years 6 days ago
Another Complete Local Search Method for SAT
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
Haiou Shen, Hantao Zhang
RELMICS
2005
Springer
16 years 6 days ago
Relational Correspondences for Lattices with Operators
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
Jouni Järvinen, Ewa Orlowska