3446 search results - page 570 / 690 » A Reasoning Algorithm for pD* |
106
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
In pattern recognition, data integration is a processing method to combine multiple sources so that the combined result can be more accurate than a single source. Evidence theory ...
114
click to vote
ACTA
2010
15 years 1 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
139
click to vote
AUTOMATICA
2008
15 years 1 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
BIB
2008
15 years 1 months ago
2008
The accuracy and scalability of multiple sequence alignment (MSA) of DNAs and proteins have long been and are still important issues in bioinformatics. To rapidly construct a reas...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Cyclic coordinate descent is a classic optimization method that has witnessed a resurgence of interest in machine learning. Reasons for this include its simplicity, speed and stab...