1581 search results - page 112 / 317 » Domain semantics of possibility computations |
105
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
128
Voted
IFL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
118
Voted
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
123
Voted
AAAI
1994
15 years 2 months ago
1994
We have implemented an incremental lexical acquisition mechanism that learns the meanings of previously unknown words from the context in which they appear, as a part of the proce...
108
Voted
AI
2011
Springer
14 years 8 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...