Sciweavers

3174 search results - page 204 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
AMFG
2003
IEEE
121views Biometrics» more  AMFG 2003»
15 years 12 months ago
Human Body Tracking with Auxiliary Measurements
This paper presents two techniques for improving human body tracking within the particle filtering scheme. Both techniques explore the use of auxiliary measurements. The first tec...
Mun Wai Lee, Isaac Cohen
ISCAS
2003
IEEE
112views Hardware» more  ISCAS 2003»
15 years 12 months ago
Architectures for function evaluation on FPGAs
This paper presents a new family of architectures for multi-cycle area-efficient evaluation of elementary and composite functions, and an exploration of the design tradeoffs for i...
Nalin Sidahao, George A. Constantinides, Peter Y. ...
APN
2003
Springer
15 years 12 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä
ICSOC
2003
Springer
15 years 11 months ago
E-healthcare via Customized Information Services: Addressing the Need for Factually Consistent Information
Abstract. Web portals provide an efficient gateway to a broad range of Eservices, resources and information. Web portals need to evolve towards being adaptive in nature, so that th...
Syed Sibte Raza Abidi, Yong Han Chong
ICRA
2002
IEEE
146views Robotics» more  ICRA 2002»
15 years 11 months ago
Topological Mobile Robot Localization using Fast Vision Techniques
In this paper we present a system for topologically localizing a mobile robot using color histogram matching of omnidirectional images. The system is intended for use as a navigat...
Paul Blaer, Peter K. Allen