2670 search results - page 160 / 534 » Modeling systems with internal state using evolino |
171
click to vote
RISE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
165
click to vote
SSS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
194
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
This work presents some anticipatory mechanisms in an agent architecture, modeling affective behaviours as effects of surprise. Through experiment discussion, the advantages of bec...
162
click to vote
AVI
2008
15 years 8 months ago
2008
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...
219
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...