81 search results - page 5 / 17 » Extending Symmetry Reduction Techniques to a Realistic Model... |
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, b...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
CPAIOR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
A linear, discriminative, supervised technique for reducing feature vectors extracted from image data to a lower-dimensional representation is proposed. It is derived from classica...