5387 search results - page 112 / 1078 » Generating generic functions |
130
Voted
IFIP
2004
Springer
15 years 6 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...
113
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Markov random fields (MRFs) are popular and generic probabilistic models of prior knowledge in low-level vision. Yet their generative properties are rarely examined, while applica...
104
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a novel generative language for shape that is based on the shock graph: given a shock graph topology, we explore constraints on the geometry and dynamics of the shock g...
132
click to vote
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
108
click to vote
ERCIMDL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...