8190 search results - page 274 / 1638 » From Timed to Hybrid Systems |
180
click to vote
AAAI
1997
15 years 8 months ago
1997
A variety of sensors and positioning methods have been developed over the years. Most methods rely on active sensors (such as sonars or lasers) which have range and power restrict...
195
click to vote
APIN
2008
15 years 6 months ago
2008
Abstract Traditional financial analysis systems utilize lowlevel price data as their analytical basis. For example, a decision-making system for stock predictions regards raw price...
224
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
– The advancement of multimedia services including audio/visual media has been rapid. The applications of cellular phones, in particular, have increased by using these technologi...
211
Voted
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
A particular application of audio data hiding systems and watermarking systems consists of using the audio signal as a transmission channel for binary information. The system shou...
178
click to vote
COMCOM
1998
15 years 6 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...