1422 search results - page 247 / 285 » Complementation in Abstract Interpretation |
134
click to vote
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
127
click to vote
CCIA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
121
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
122
click to vote
CEC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— In Evolutionary Robotics (ER), explicitly rewarding for behavioral diversity recently revealed to generate efficient results without recourse to complex fitness funct...
104
click to vote
AUTOMATICA
2007
15 years 2 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...