Sciweavers

5619 search results - page 704 / 1124
» A Region Inference Algorithm
Sort
View
AAAI
1996
15 years 9 months ago
Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
John O. Everett, Kenneth D. Forbus
DAGSTUHL
1996
15 years 9 months ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
Alexander Sakharov
AR
2010
91views more  AR 2010»
15 years 7 months ago
Sit-to-Stand and Stand-to-Sit Transfer Support for Complete Paraplegic Patients with Robot Suit HAL
Physical support of lower limbs during sit-to-stand and stand-to-sit transfers is important for an independent life of paraplegic patients. The purpose of this study is, therefore...
Atsushi Tsukahara, Ryota Kawanishi, Yasuhisa Haseg...
CORR
2004
Springer
119views Education» more  CORR 2004»
15 years 7 months ago
The Largest Compatible Subset Problem for Phylogenetic Data
Abstract. The phylogenetic tree construction is to infer the evolutionary relationship between species from the experimental data. However, the experimental data are often imperfec...
Andy Auyeung, Ajith Abraham
SAC
2008
ACM
15 years 7 months ago
Computational methods for complex stochastic systems: a review of some alternatives to MCMC
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
Paul Fearnhead