4209 search results - page 509 / 842 » Abstract Dialectical Frameworks |
136
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
151
Voted
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- In this paper, we propose an evolutionary gametheoretic framework for hybrid additive white Gaussian noise multiple access channels. We consider a communication system c...
154
click to vote
DAGM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
181
click to vote
AI50
2006
15 years 8 months ago
2006
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
143
Voted
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
The paper discusses the potential usage of principles from General System Theory (GST) and Cybernetics for design of Autonomic Software. Motivated by the characteristics of open s...