4555 search results - page 90 / 911 » Deductive Algorithmic Knowledge |
106
click to vote
LREC
2010
15 years 3 months ago
2010
Graph-based similarity over WordNet has been previously shown to perform very well on word similarity. This paper presents a study of the performance of such a graph-based algorit...
129
click to vote
AIPS
2006
15 years 3 months ago
2006
We present a new algorithm for conformant probabilistic planning, which for a given horizon produces a plan that maximizes the probability of success under quantified uncertainty ...
103
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
126
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
121
Voted
ISBI
2009
IEEE
15 years 9 months ago
2009
IEEE
In refractory epilepsy, the goal of neuroimaging is to localize the region of seizure onset. Tracers that accumulate and remain fixed proportional to regional cerebral blood flo...