2565 search results - page 208 / 513 » Object type constructors |
ENTCS
2008
13 years 9 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
TKDE
2002
13 years 9 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
ISVC
2010
Springer
13 years 7 months ago
2010
Springer
We present an interactive visualization tool that provides users with the capability of cutting away the surfaces of enclosing objects to reveal interior or occluded objects. This ...
WWW
2009
ACM
14 years 4 months ago
2009
ACM
: This talk describes a research project exploring new ways for augmenting search using multiple types and sources of social information. Our goal is to allow searching for all obj...
DAPSYS
2004
Springer
14 years 2 months ago
2004
Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...