3775 search results - page 703 / 755 » The Expression Problem Revisited |
101
Voted
DCOSS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a failure diagnosis algorithm for summarizing and generalizing patterns that lead to instances of anomalous behavior in sensor networks. Often multipl...
106
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
121
click to vote
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
142
click to vote
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
118
click to vote
ICMI
2009
Springer
15 years 7 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...