3729 search results - page 684 / 746 » On Formal Modeling of Agent Computations |
174
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper we address the problem of aligning 3-D data with articulated shapes. This problem resides at the core of many motion tracking methods with applications in human motio...
201
click to vote
SAC
2010
ACM
16 years 28 days ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
186
click to vote
RTSS
2008
IEEE
16 years 14 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
189
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
155
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
Motivation: Genome maps are fundamental to the study of an organism and essential in the process of genome sequencing which in turn provides the ultimate map of the genome. The in...