142 search results - page 23 / 29 » Variability encoding: From compile-time to load-time variabi... |
125
Voted
TYPES
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
125
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
97
Voted
MVA
2007
15 years 4 months ago
2007
The focus of this work is on the problem of feature extraction for vehicle detection. Feature extraction is a key point of pattern recognition. In particular, we propose using imp...
116
Voted
NIPS
2004
15 years 4 months ago
2004
We propose a novel a framework for deriving approximations for intractable probabilistic models. This framework is based on a free energy (negative log marginal likelihood) and ca...
130
click to vote
LMO
1996
15 years 4 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...