2519 search results - page 281 / 504 » Reasoning with Textual Cases |
197
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
148
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
170
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...
189
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In the past, we have observed several large blackouts, i.e. loss of power to large areas. It has been noted by several researchers that these large blackouts are a result of a cas...