1299 search results - page 189 / 260 » On the Correctness of Operating System Kernels |
191
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
In this paper we propose a novel computational method to infer visual saliency in images. The method is based on the idea that salient objects should have local characteristics tha...
170
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
142
click to vote
SRDS
2005
IEEE
15 years 12 months ago
2005
IEEE
Replication is widely used in application server products to tolerate faults. An important challenge is to correctly coordinate replication and transaction execution for stateful ...
155
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
151
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...