Sciweavers

2337 search results - page 401 / 468
» Extracting Sequences from the Web
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 4 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CC
2007
Springer
14 years 4 months ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...
HUMO
2007
Springer
14 years 4 months ago
Human Action Recognition Using Distribution of Oriented Rectangular Patches
We describe a “bag-of-rectangles” method for representing and recognizing human actions in videos. In this method, each human pose in an action sequence is represented by orien...
Nazli Ikizler, Pinar Duygulu
HRI
2006
ACM
14 years 4 months ago
Working with robots and objects: revisiting deictic reference for achieving spatial common ground
Robust joint visual attention is necessary for achieving a common frame of reference between humans and robots interacting multimodally in order to work together on realworld spat...
Andrew G. Brooks, Cynthia Breazeal
AVSS
2005
IEEE
14 years 3 months ago
Detecting and quantifying unusual interactions by correlating salient motion
A significant problem in scene interpretation is efficient bottom-up extraction and representation of salient features. In this paper, we address the problem of correlating sali...
Hayley S. Hung, Shaogang Gong