Sciweavers

5356 search results - page 211 / 1072
» Adventures in time and space
Sort
View
ISBI
2004
IEEE
16 years 7 months ago
A Probabilistic Framework for the Detection and Tracking in Time of Multiple Sclerosis Lesions
A novel statistical scheme for the automatic detection and tracking in time of relapsing-remitting multiple sclerosis (MS) lesions in image sequences is described. Coherent space-...
Allon Shahar, Hayit Greenspan
FORMATS
2007
Springer
16 years 23 days ago
Hypervolume Approximation in Timed Automata Model Checking
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
Víctor A. Braberman, Jorge Lucángeli...
ICIAR
2007
Springer
16 years 22 days ago
Real-Time Vehicle Ego-Motion Using Stereo Pairs and Particle Filters
This paper presents a direct and stochastic technique for real time estimation of on board camera position and orientation—the ego-motion problem. An on board stereo vision syste...
Fadi Dornaika, Angel Domingo Sappa
IWSEC
2007
Springer
16 years 22 days ago
Run-Time Randomization to Mitigate Tampering
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...
Bertrand Anckaert, Mariusz H. Jakubowski, Ramarath...
CBSE
2005
Springer
16 years 4 days ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He