3311 search results - page 180 / 663 » Deductive Object Programming |
115
click to vote
SIGMOD
1994
ACM
15 years 6 months ago
1994
ACM
This paper presents, QuickStore, a memory-mapped storage system for persistent C++ built on top of the EXODUS Storage Manager. QuickStore provides fast access to in-memory objects...
117
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
SIAMIS
2008
15 years 1 months ago
2008
This paper introduces a new approach to the problem of quantitative reconstruction of an object from few radiographic views. A mixed variable programming problem is formulated in ...
125
click to vote
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
103
click to vote
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...