3941 search results - page 473 / 789 » Computational Efficiency of Batching Methods |
127
click to vote
HUMO
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
81
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
103
Voted
DASFAA
2004
IEEE
15 years 4 months ago
2004
IEEE
Data and computations of a CAD system have been wrapped by a mediator system using CORBA's IIOP Protocol. This allows ad hoc declarative mediator queries to be translated into...
106
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
101
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...