7991 search results - page 280 / 1599 » Using More Reasoning to Improve |
174
click to vote
JDCTA
2010
15 years 1 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
186
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
195
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
173
click to vote
FGR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we address the recognition of subtle facial expressions by reasoning on the classification confidence. Psychological evidences have determined that eyelids and eyeb...
159
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...