2377 search results - page 290 / 476 » Hybrid Systems in TLA |
169
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
127
click to vote
ATAL
2005
Springer
16 years 23 hour ago
2005
Springer
The open-source framework AKIRA integrates Multiagent and Pandemonium elements. We describe the main components of the framework, showing that the hybrid nature of the Agents, hav...
154
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the automatic construction of visual scenes via a hybrid evolutionary/hill-climbing approach using a correlationbased fitness function. This forms part of The Painti...
204
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Apart from making the authentication system reliable, biometric systems reduce the time required for authentication considerably at the airports, borders, and government offices. ...
149
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...