Sciweavers

1860 search results - page 169 / 372
» A Temporal Logic of Robustness
Sort
View
CCECE
2006
IEEE
15 years 6 months ago
A Dynamic Associative E-Learning Model based on a Spreading Activation Network
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
Phongchai Nilas, Nilamit Nilas, Somsak Mitatha
ASPLOS
2006
ACM
15 years 6 months ago
Type inference for unboxed types and first class mutability
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
Swaroop Sridhar, Jonathan S. Shapiro
CVPR
1998
IEEE
16 years 2 months ago
Performance Characterization and Comparison of Video Indexing Algorithms
Temporal segmentation of video is a necessary rst step to indexing digital video for browsing and retrieval. A number of di erent video temporal segmentation algorithms have been ...
Ullas Gargi, Rangachar Kasturi, Sameer Antani
89
Voted
ICIP
2006
IEEE
16 years 2 months ago
Estimation of Dynamic Background for Fluorescence Video-Microscopy
This paper describes a method for separating moving objects from temporally varying background in time-lapse confocal microscopy image sequences representing fluorescently tagged ...
Charles Kervrann, Jérôme Boulanger, P...
91
Voted
MICCAI
2004
Springer
16 years 1 months ago
Border Detection on Short Axis Echocardiographic Views Using a Region Based Ellipse-Driven Framework
In this paper, we propose a robust technique that integrates spatial and temporal information for consistent recovery of the endocardium. To account for the low image quality we in...
Maxime Taron, Nikos Paragios, Marie-Pierre Jolly