4944 search results - page 710 / 989 » A Framework for Adaptive Visualization |
198
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
168
click to vote
WIMOB
2008
IEEE
16 years 29 days ago
2008
IEEE
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation systems creates a real heterogen...
181
click to vote
ACIVS
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. Extrema of curvature are useful key points for different image analysis tasks. Indeed, polygonal approximation or arc decomposition methods used often these points to ini...
177
click to vote
CVPR
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a particle filter-based target tracking algorithm for FLIR imagery. A dual foreground and background model is proposed for target representation which supports robust ...
172
click to vote
ECRTS
2007
IEEE
16 years 28 days ago
2007
IEEE
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory manageme...