Sciweavers

1420 search results - page 238 / 284
» Representation of Graphs by OBDDs
Sort
View
127
Voted
DAGM
2009
Springer
15 years 8 months ago
Self-Organizing Maps for Pose Estimation with a Time-of-Flight Camera
We describe a technique for estimating human pose from an image sequence captured by a time-of-flight camera. The pose estimation is derived from a simple model of the human body ...
Martin Haker, Martin Böhme, Thomas Martinetz,...
FMCAD
2009
Springer
15 years 8 months ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...
HT
2009
ACM
15 years 8 months ago
Contextualising tags in collaborative tagging systems
Collaborative tagging systems are now popular tools for organising and sharing information on the Web. While collaborative tagging offers many advantages over the use of controll...
Ching-man Au Yeung, Nicholas Gibbins, Nigel Shadbo...
ICDM
2008
IEEE
136views Data Mining» more  ICDM 2008»
15 years 8 months ago
Document-Word Co-regularization for Semi-supervised Sentiment Analysis
The goal of sentiment prediction is to automatically identify whether a given piece of text expresses positive or negative opinion towards a topic of interest. One can pose sentim...
Vikas Sindhwani, Prem Melville
ICPP
2008
IEEE
15 years 8 months ago
Resource Allocation for Distributed Streaming Applications
—We consider resource allocation for distributed streaming applications running in a grid environment, where continuously streaming data needs to be aggregated and processed to p...
Qian Zhu, Gagan Agrawal