10891 search results - page 1889 / 2179 » Combining Model Reductions |
137
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
100
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces a data-driven process for designing and fabricating materials with desired deformation behavior. Our process starts with measuring deformation properties of ...
137
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
136
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...
113
click to vote
MDM
2001
Springer
15 years 7 months ago
2001
Springer
Sensor networks are being widely deployed for measurement, detection and surveillance applications. In these new applications, users issue long-running queries over a combination o...