1496 search results - page 171 / 300 » Definability of Initial Segments |
152
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
152
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
A key challenge for mixed-initiative systems is to create a shared understanding of the task between human and agent. To address this challenge, we created a mixed-initiative inte...
201
click to vote
VL
2008
IEEE
16 years 8 days ago
2008
IEEE
As software grows more complex, software developers’ productivity is increasingly defined by their ability to effectively reuse code. Even APIs (application programming interfac...
144
click to vote
PARELEC
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, techniques for optimization of net algorithms describing parallel asynchronous computations and derived from cycling and branching behavioral descriptions are prese...
178
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...