1567 search results - page 75 / 314 » A Mechanized Model of the Theory of Objects |
126
click to vote
JAVA
2000
Springer
15 years 5 months ago
2000
Springer
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...
CP
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representati...
118
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
108
click to vote
CASCON
1996
15 years 2 months ago
1996
This paper proposes the idea of vision agents over Internet, outlines the performance models of Live WWW with agents, and describes an object search agent and its communications w...
ICALT
2008
IEEE
15 years 8 months ago
2008
IEEE
When using Learning Object Repositories, it is interesting to have mechanisms to select the more adequate objects for each student. For this kind of adaptation, it is important to...