575 search results - page 110 / 115 » Controller Synthesis for Probabilistic Systems |
CODES
2005
IEEE
13 years 9 months ago
2005
IEEE
We describe results of a case study whose intent was to determine whether new techniques for hardware/software partitioning of an application’s binary are competitive with parti...
TSMC
2010
13 years 2 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
ACMACE
2006
ACM
14 years 1 months ago
2006
ACM
Virtual beings are playing a remarkable role in today’s public entertainment, while ordinary users are still treated as audiences due to the lack of appropriate expertise, equip...
IWEC
2004
13 years 9 months ago
2004
Autonomous synthetic actors must invent variations of known material in order to perform given only a limited script, and to assist the director with development of the performance...
LCTRTS
2010
Springer
13 years 5 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...