10633 search results - page 317 / 2127 » Relating Distributed Objects |
195
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
179
click to vote
DLOG
2007
15 years 9 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
178
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
The performance of supervised learners depends on the presence of a relatively large labeled sample. This paper proposes an automatic ongoing learning system, which is able to inco...
174
click to vote
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
Today's large and high-resolution displays coupled with powerful graphics hardware offer the potential for highly realistic 3D virtual environments, but also cause increased ...
158
click to vote
CASCON
2001
15 years 8 months ago
2001
This paper reports two virtual pointer alignment experiments carried out using a stereoscopic augmented reality interface. The purpose was to evaluate users' sensitivity to s...