Sciweavers

2005 search results - page 247 / 401
» Tracking with general regression
Sort
View
121
Voted
FROCOS
2005
Springer
15 years 6 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
IBPRIA
2005
Springer
15 years 6 months ago
Extracting Motion Features for Visual Human Activity Representation
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
Filiberto Pla, Pedro Canotilho Ribeiro, José...
104
Voted
ERLANG
2004
ACM
15 years 6 months ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan
87
Voted
ISPD
2004
ACM
92views Hardware» more  ISPD 2004»
15 years 6 months ago
A predictive distributed congestion metric and its application to technology mapping
Due to increasing design complexity, routing congestion has become a critical problem in VLSI designs. This paper introduces a distributed metric to predict routing congestion for...
Rupesh S. Shelar, Sachin S. Sapatnekar, Prashant S...
96
Voted
IUI
2004
ACM
15 years 6 months ago
Virtual mouse vision based interface
A vision-based virtual mouse interface is described that utilizes a robotic head, visual tracking of the users head and hand positions and recognition of user hand signs to contro...
Paul Robertson, Robert Laddaga, Max Van Kleek