Sciweavers

2005 search results - page 247 / 401
» Tracking with general regression
Sort
View
FROCOS
2005
Springer
15 years 10 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
150
Voted
IBPRIA
2005
Springer
15 years 10 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é...
ERLANG
2004
ACM
15 years 10 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
ISPD
2004
ACM
92views Hardware» more  ISPD 2004»
15 years 10 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...
IUI
2004
ACM
15 years 10 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