527 search results - page 84 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
108
click to vote
ANSOFT
2002
14 years 9 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
130
click to vote
LDTA
2010
14 years 9 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
IAAI
2003
14 years 11 months ago
2003
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
105
click to vote
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...