19130 search results - page 3621 / 3826 » Modelling multi-path problems |
121
Voted
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
We approach the problem of stylistic motion synthesis by learning motion patterns from a highly varied set of motion capture sequences. Each sequence may have a distinct choreogra...
152
click to vote
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...
111
click to vote
STOC
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic graph connectivity algorithms have been studied for many years, but typically in the most general possible setting, where the graph can evolve in completely arbitrary ways...
162
click to vote
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
144
click to vote
DEXAW
1999
IEEE
15 years 7 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...