Sciweavers

2005 search results - page 343 / 401
» Tracking with general regression
Sort
View
LPAR
2010
Springer
13 years 7 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
MASS
2010
157views Communications» more  MASS 2010»
13 years 7 months ago
Spatial extension of the Reality Mining Dataset
Data captured from a live cellular network with the real users during their common daily routine help to understand how the users move within the network. Unlike the simulations wi...
Michal Ficek, Lukas Kencl
SIGSOFT
2010
ACM
13 years 7 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
SOCIALCOM
2010
13 years 7 months ago
Traffic in Social Media II: Modeling Bursty Popularity
Online popularity has enormous impact on opinions, culture, policy, and profits, especially with the advent of the social Web and Web advertising. Yet the processes that drive popu...
Jacob Ratkiewicz, Filippo Menczer, Santo Fortunato...
GI
2009
Springer
13 years 7 months ago
A Modular Framework to Detect and Analyze Faces for Audience Measurement Systems
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
Christian Küblbeck, Tobias Ruf, Andreas Ernst