4693 search results - page 331 / 939 » Verifying Hybrid Systems |
200
click to vote
WAPCV
2007
Springer
16 years 25 days ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
200
click to vote
VTC
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— The accurate average BER calculation of an asynchronous DS-CDMA system using random spreading sequences is studied in Rayleigh fading channels. An accurate closedform e...
161
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
147
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract - In this paper we present an approach to incorporate design schedule management services into a flow management system. The basis of our approach is to derive a design s...
180
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
When many mobile robots should achieve cooperation, local communication system is considered appropriate from the standpoint of the cost and capacity of communication. This paper ...