Sciweavers

4235 search results - page 308 / 847
» Process Spaces
Sort
View
174
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Color correction for object tracking across multiple cameras
Color is a powerful attribute that is used to characterize objects for tracking and other surveillance tasks. Since color is dependent on ambient illumination and the imaging equi...
Satyam Srivastava, Ka Ki Ng, Edward J. Delp
ICGI
2010
Springer
15 years 2 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
USENIX
2008
15 years 6 months ago
Free Factories: Unified Infrastructure for Data Intensive Web Services
We introduce the Free Factory, a platform for deploying data-intensive web services using small clusters of commodity hardware and free software. Independently administered virtua...
Alexander Wait Zaranek, Tom Clegg, Ward Vandewege,...
ICRA
2002
IEEE
89views Robotics» more  ICRA 2002»
15 years 9 months ago
On the General Reconfiguration Problem for Expanding Cube Style Modular Robots
We discuss the theoretical limitations for reconfiguration of metamorphic robots made up of Telecubes, six degree of freedom cube shaped modules currently being developed at Xerox...
Sergei Vassilvitskii, Jeremy Kubica, Eleanor G. Ri...
ICASSP
2007
IEEE
15 years 10 months ago
A Real-Time SRP-PHAT Source Location Implementation using Stochastic Region Contraction(SRC) on a Large-Aperture Microphone Arra
In most microphone array applications, it is essential to localize sources in a noisy, reverberant environment. It has been shown that computing the steered response power(SRP) is...
Hoang Do, Harvey F. Silverman, Ying Yu