527 search results - page 95 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
101
click to vote
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...
TMI
2002
14 years 9 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Organizational Self-Design (OSD) has been proposed as an approach to constructing suitable organizations at runtime in which the agents are responsible for constructing their own ...