4224 search results - page 719 / 845 » Reasoning about Choice |
116
Voted
APSCC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
108
click to vote
CP
2010
Springer
14 years 10 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
DIS
2010
Springer
14 years 10 months ago
2010
Springer
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
105
Voted
EMNLP
2010
14 years 10 months ago
2010
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...
111
click to vote
ICCAD
2010
IEEE
14 years 10 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...