8190 search results - page 40 / 1638 » From Timed to Hybrid Systems |
WCE
2007
13 years 8 months ago
2007
– In this paper “Digital Transceiver using Hybrid Ternary Technique” gives the details about digital transmitter and receiver with the design of a hybrid ternary line coding....
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
AAAI
2007
13 years 10 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
ACSC
2000
IEEE
13 years 12 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...