12015 search results - page 563 / 2403 » Interactive Algorithms 2005 |
177
click to vote
AVSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Processing a video stream to segment foreground objects from the background is a critical first step in many computer vision applications. Background subtraction (BGS) is a common...
180
click to vote
SIAMSC
2011
14 years 9 months ago
2011
Abstract. An efficient parallel algorithm is presented and tested for computing selected components of H−1 where H has the structure of a Hamiltonian matrix of two-dimensional la...
147
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
186
click to vote
GRAPHICSINTERFACE
1996
15 years 7 months ago
1996
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...
176
Voted
ENTCS
2006
15 years 6 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...