1189 search results - page 194 / 238 » The Quotient of an Abstract Interpretation |
ITS
2000
Springer
14 years 7 days ago
2000
Springer
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
RSCTC
2000
Springer
14 years 7 days ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
EUROCOLT
1995
Springer
14 years 7 days ago
1995
Springer
k. The model we study can be interpreted as a broad, abstract extension of the well-studied on-line prediction model to a general decision-theoretic setting. We show that the multi...
PODC
1991
ACM
14 years 5 days ago
1991
ACM
Abstract. Self-stabilizing message driven protocols are deļ¬ned and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is deļ...
ADHOCNETS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...