1641 search results - page 238 / 329 » Termination Analysis with Algorithmic Learning |
118
Voted
SAT
2005
Springer
15 years 5 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
92
Voted
BIBE
2003
IEEE
15 years 5 months ago
2003
IEEE
Contact map prediction is of great interest for its application in fold recognition and protein 3D structure determination. In this paper we present a contact-map prediction algor...
91
Voted
ICANN
2001
Springer
15 years 4 months ago
2001
Springer
In manipulating data such as in supervised learning, we often extract new features from original features for the purpose of reducing the dimensions of feature space and achieving ...
103
click to vote
PEWASUN
2008
ACM
15 years 1 months ago
2008
ACM
In the design of many proactive routing protocols for MANETs, it is often assumed that topology information is disseminated instantly and error free. Exceptions include hazysighte...
82
Voted
IJON
2002
15 years 2 days ago
2002
The `Bussgang' algorithm is one among the most known blind deconvolution techniques in the adaptive signal processing literature. It relies on a Bayesian estimator of the sou...