762 search results - page 49 / 153 » Conditionally correct superoptimization |
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
—The ability of setting up a covert channel, which allows any two nodes with Internet connections to engage in secretive communication, clearly causes a very serious security con...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
RSP
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
AI
2002
Springer
13 years 10 months ago
2002
Springer
This paper provides algorithms that use an information-theoretic analysis to learn Bayesian network structures from data. Based on our three-phase learning framework, we develop e...
ICCV
2007
IEEE
15 years 1 days ago
2007
IEEE
This paper presents a top-down approach to 3D data analysis by fitting a Morphable Model to scans of faces. In a unified framework, the algorithm optimizes shape, texture, pose an...