9832 search results - page 26 / 1967 » An Object Model for Multiprogramming |
148
click to vote
DICTA
2003
15 years 3 months ago
2003
Abstract. A novel approach for model set based object segmentation is described. The proposed method enables the using of a model set to guide the object segmentation. The object s...
127
click to vote
DAGM
2005
Springer
15 years 8 months ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
127
click to vote
FMOODS
2007
15 years 3 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
138
click to vote
SSD
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temp...
109
click to vote
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...