Sciweavers

438 search results - page 53 / 88
» Temporized and Localized Rule Sets
Sort
View
CONCUR
2009
Springer
14 years 2 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
CVPR
1999
IEEE
14 years 9 months ago
A Multiple Hypothesis Approach to Figure Tracking
This paper describes a probabilistic multiple-hypothesis framework for tracking highly articulated objects. In this framework, the probability density of the tracker state is repr...
Tat-Jen Cham, James M. Rehg
ICCV
2003
IEEE
14 years 9 months ago
Video Google: A Text Retrieval Approach to Object Matching in Videos
We describe an approach to object and scene retrieval which searches for and localizes all the occurrences of a user outlined object in a video. The object is represented by a set...
Josef Sivic, Andrew Zisserman
ISBI
2007
IEEE
14 years 2 months ago
Space-Time Sparsity Regularization for the Magnetoencephalography Inverse Problem
The concept of “Space-Time Sparsity” (STS) penalization is introduced for solving the magnetoencephalography (MEG) inverse problem. The STS approach assumes that events of int...
Andrew K. Bolstad, Barry D. Van Veen, Robert D. No...
ISCA
1991
IEEE
110views Hardware» more  ISCA 1991»
13 years 11 months ago
Dynamic Base Register Caching: A Technique for Reducing Address Bus Width
When address reference streams exhibit high degrees of spatial and temporal locality, many of the higher order address lines carry redundant information. By caching the higher ord...
Matthew K. Farrens, Arvin Park