814 search results - page 27 / 163 » Generic Model Abstraction from Examples |
138
click to vote
MKWI
2008
15 years 3 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
135
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
119
Voted
LMO
1996
15 years 3 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
EH
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
162
click to vote
ASIACRYPT
2011
Springer
14 years 1 months ago
2011
Springer
We provide constructions of (m, 1)-programmable hash functions (PHFs) for m ≥ 2. Mimicking certain programmability properties of random oracles, PHFs can, e.g., be plugged into ...