4814 search results - page 720 / 963 » Combining abstract interpreters |
EVOW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Addressing dynamic optimization problems has been a challenging task for the genetic algorithm community. Over the years, several approaches have been developed into gene...
125
click to vote
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
93
Voted
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
90
Voted
HOLOMAS
2007
Springer
15 years 6 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
133
click to vote
HUMO
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...