5325 search results - page 84 / 1065 » Effective Computation for Nonlinear Systems |
157
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
162
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
We propose a practicable way to include both polarization and fluorescence effects in a rendering system at the same time. Previous research in this direction only demonstrated s...
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Karmarkar-Karp differencing algorithm is the best known polynomial time heuristic for the number partitioning problem, fundamental in both theoretical computer science and stat...
160
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
In distributed hybrid computing systems, traditional sequential processors are loosely coupled with reconfigurable hardware for optimal performance. This loose coupling proves to...
171
click to vote
HAPTICS
2008
IEEE
15 years 6 months ago
2008
IEEE
In a telemanipulation system a human operator controls a remotely located teleoperator by a human system interface. In this work the effects of varied human movement control on tas...