1567 search results - page 67 / 314 » A Mechanized Model of the Theory of Objects |
135
Voted
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
119
click to vote
MFDBS
1991
15 years 5 months ago
1991
We study an approach to relational databases which treats relations not as subsets of a Cartesian product but as subsets of some domain { a partially ordered space of descriptions...
PAMI
2010
14 years 12 months ago
2010
Computer-vision attention processes allocate computational resources to different parts of visual input and can lead to faster object recognition and image analysis. This paper p...
115
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
118
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the problem of allocating items (private goods) among competing agents in a setting that is both prior-free and paymentfree. Specifically, we focus on allocating mu...