8917 search results - page 1307 / 1784 » Abstraction in Algorithm Animation |
174
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
182
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
181
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--This paper presents a novel particle allocation approach to particle filtering which minimizes the total tracking distortion for a fixed number of particles over a video ...
208
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
202
click to vote
JCM
2007
15 years 6 months ago
2007
Abstract— In this paper, we propose and evaluate the performance of new link layer frame transmission techniques for MIMO (multiple input multiple output) wireless systems from a...