Sciweavers

4839 search results - page 827 / 968
» A survey of computational complexity results in systems and ...
Sort
View
ECCV
2004
Springer
16 years 3 months ago
Real-Time Tracking of Multiple Skin-Colored Objects with a Possibly Moving Camera
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
Antonis A. Argyros, Manolis I. A. Lourakis
DAC
2000
ACM
16 years 2 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
99
Voted
CHI
2008
ACM
16 years 2 months ago
Increasing the utility of quantitative empirical studies for meta-analysis
Despite the long history and consistent use of quantitative empirical methods to evaluate information visualization techniques and systems, our understanding of interface use rema...
Heidi Lam, Tamara Munzner
96
Voted
CHI
2006
ACM
16 years 2 months ago
Participatory design in emergency medical service: designing for future practice
We describe our research--its approach, results and products--on Danish emergency medical service (EMS) field or "pre-hospital" work in minor and major incidents. We dis...
Margit Kristensen, Morten Kyng, Leysia Palen
134
Voted
RECOMB
2002
Springer
16 years 2 months ago
Deconvolving sequence variation in mixed DNA populations
We present an original approach to identifying sequence variants in a mixed DNA population from sequence trace data. The heart of the method is based on parsimony: given a wildtyp...
Andy Wildenberg, Steven Skiena, Pavel Sumazin