Sciweavers

1860 search results - page 169 / 372
» A Temporal Logic of Robustness
Sort
View
CCECE
2006
IEEE
16 years 1 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
16 years 1 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
164
Voted
CVPR
1998
IEEE
16 years 9 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
ICIP
2006
IEEE
16 years 8 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...
MICCAI
2004
Springer
16 years 8 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