193 search results - page 28 / 39 » On the Automatic Construction of Indistinguishable Operation... |
CCS
2003
ACM
14 years 25 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Building visual recognition models that adapt across different domains is a challenging task for computer vision. While feature-learning machines in the form of hierarchi...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
With the scaling of technology, power grid noise is becoming increasingly significant for circuit performance. A typical power grid circuit contains millions of linear elements, m...
ICML
1996
IEEE
14 years 8 months ago
1996
IEEE
Generating good, production-quality plans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overl...