1187 search results - page 161 / 238 » Computation in Extended Argumentation Frameworks |
148
Voted
HUMO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
116
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
The effect of the operating system on application performance is an increasingly important consideration in high performance computing. OS kernel measurement is key to understandi...
100
click to vote
ICCV
2005
IEEE
15 years 7 months ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
100
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
The paradigm of automated e-service composition through the integration of existing services promises a fast and efficient development of new services in cooperative business env...
117
click to vote
TCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...