Sciweavers

9626 search results - page 1367 / 1926
» Invariant Based Programming
Sort
View
AVSS
2005
IEEE
16 years 22 days ago
VidMAP: video monitoring of activity with Prolog
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
Vinay D. Shet, David Harwood, Larry S. Davis
CIG
2005
IEEE
16 years 22 days ago
Nannon: A Nano Backgammon for Machine Learning Research
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...
Jordan B. Pollack
COLCOM
2005
IEEE
16 years 22 days ago
"Token" equilibria in sensor networks with multiple sponsors
When two sponsoring organizations, working towards separate goals, can employ wireless sensor networks for a finite period of time, it can be efficiency-enhancing for the sponso...
David A. Miller, Sameer Tilak, Tony Fountain
CRV
2005
IEEE
104views Robotics» more  CRV 2005»
16 years 22 days ago
A Hierarchical Non-Parametric Method for Capturing Non-Rigid Deformations
We present a novel approach for measuring image similarity based on the composition of parts. The measure identifies common subregions between the images at multiple sizes, and e...
Ady Ecker, Shimon Ullman
DATE
2005
IEEE
107views Hardware» more  DATE 2005»
16 years 22 days ago
On Statistical Timing Analysis with Inter- and Intra-Die Variations
In this paper, we highlight a fast, effective and practical statistical approach that deals with inter and intra-die variations in VLSI chips. Our methodology is applied to a numb...
Hratch Mangassarian, Mohab Anis
« Prev « First page 1367 / 1926 Last » Next »