1422 search results - page 240 / 285 » Complementation in Abstract Interpretation |
107
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
113
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
104
click to vote
ITS
2000
Springer
15 years 5 months 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...
114
click to vote
RSCTC
2000
Springer
15 years 5 months 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...
118
click to vote
EUROCOLT
1995
Springer
15 years 5 months 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...