314 search results - page 52 / 63 » An Imperative Object Calculus |
117
Voted
ADBIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
134
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
130
Voted
ITS
2000
Springer
15 years 7 months ago
2000
Springer
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...
143
Voted
LREC
2010
15 years 5 months ago
2010
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
133
Voted
EOR
2007
15 years 3 months ago
2007
A simultaneous perturbation stochastic approximation (SPSA) method has been developed in this paper, using the operators of perturbation with the Lipschitz density function. This ...