3028 search results - page 448 / 606 » Integrating Temporal Logics |
CNSR
2007
IEEE
14 years 4 months ago
2007
IEEE
Position localization of transmitters can be carried out by an adversary owning a network of pervasive receivers, which can pinpoint the victim mobile nodes’ locations with high...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we present a dynamic texture based motion segmentation approach to address the challenging problem of heart localization and segmentation in 4D Spatio-temporal cardi...
RTAS
2007
IEEE
14 years 4 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
ACII
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Opposing the pre-dominant turn-wise statistics of acoustic LowLevel-Descriptors followed by static classification we re-investigate dynamic modeling directly on the frame...