1567 search results - page 74 / 314 » A Mechanized Model of the Theory of Objects |
105
click to vote
ERCIMDL
2009
Springer
15 years 8 months ago
2009
Springer
This poster reports on current work with the NSF-funded Achievement Standards Network (ASN) to support discovery of educational resources in digital libraries using conceptual grap...
104
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...
112
click to vote
TACAS
1999
Springer
15 years 5 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
106
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
108
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a novel feature-matching based approach for rigid object tracking. The proposed method models the tracking problem as discovering the affine transforms of obje...