265 search results - page 10 / 53 » A Force of Nature |
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
We analyze estimation methods for DataOriented Parsing, as well as the theoretical criteria used to evaluate them. We show that all current estimation methods are inconsistent in ...
CSFW
1995
IEEE
14 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
ACIVS
2006
Springer
14 years 3 months ago
2006
Springer
A new general framework for shape extraction is presented, based on the paradigm of water flow. The mechanism embodies the fluidity of water and hence can detect complex shapes. A ...
CA
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
PG
2003
IEEE
14 years 3 months ago
2003
IEEE
Motion capture is widely used for character animation. One of the major challenges of this technique is how to modify the captured motion in plausible ways. Previous work has focu...