235 search results - page 12 / 47 » Generic Pickling and Minimization |
104
Voted
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
99
Voted
JMLC
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
WDAG
2010
Springer
14 years 8 months ago
2010
Springer
In this paper, we study the exclusive perpetual exploration problem with mobile anonymous and oblivious robots in a discrete space. Our results hold for the most generic settings:...
94
Voted
JMLR
2010
14 years 5 months ago
2010
This paper studies the feasibility and interpretation of learning the causal structure from observational data with the principles behind the Kolmogorov Minimal Sufficient Statist...
97
Voted
ICCV
2011
IEEE
13 years 10 months ago
2011
IEEE
We present a method for automatically extracting salient object from a single image, which is cast in an energy minimization framework. Unlike most previous methods that only leve...