1536 search results - page 209 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
AE
2005
Springer
14 years 1 months ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
IJCAI
1989
13 years 9 months ago
1989
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...