10285 search results - page 230 / 2057 » Composing Feature Models |
185
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
160
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Innovations such as optimistic exploration, function approximation, and hierarchical decomposition have helped scale reinforcement learning to more complex environments, ...
179
click to vote
ICPR
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper proposes to characterize the fingerprint orientation using a novel topological representation, which transforms the orientation field into a map composed of a set of ...
172
click to vote
CONTEXT
2007
Springer
16 years 20 days ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
147
click to vote
ICESS
2007
Springer
16 years 20 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...