7486 search results - page 301 / 1498 » The Limits of Quantum Computers |
194
click to vote
SOFSEM
2012
Springer
14 years 2 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
152
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Mobile agents are considered a suitable technology to develop applications for wireless environments with limited communication capabilities. Thus, they offer interesting advan...
177
click to vote
AINA
2006
IEEE
16 years 24 days ago
2006
IEEE
Design of protocols for mobile ad-hoc networks (MANETs) is generally tricky compared to wired networks, because on the one hand the increased communication constraints given by th...
162
click to vote
NETGAMES
2004
ACM
16 years 5 days ago
2004
ACM
Local perception filters exploit the limitations of human perception to reduce the effects of network latency in multiplayer computer games. Because they allow temporal distorti...
175
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Many computer vision problems rely on computing histogram-based objective functions with a sliding window. A main limiting factor is the high computational cost. Existing computat...