4397 search results - page 591 / 880 » Relational Algebra Operations |
142
click to vote
FMOODS
2007
15 years 5 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...
156
Voted
SPLC
2010
15 years 5 months ago
2010
Abstract. Large product lines have complex build systems, which obscure mapping of features to code. We extract this mapping out of the build systems of two operating systems kerne...
138
click to vote
GRAPHICSINTERFACE
2008
15 years 5 months ago
2008
Today's large and high-resolution displays coupled with powerful graphics hardware offer the potential for highly realistic 3D virtual environments, but also cause increased ...
137
Voted
HCI
2007
15 years 5 months ago
2007
We present our current research on the implementation of gaze as an efficient and usable pointing modality supplementary to speech, for interacting with augmented objects in our da...
143
click to vote
PDPTA
2007
15 years 5 months ago
2007
- Multi-core chips present a new computing environment that can benefit from software support for non-numerical applications. Heterogeneous cores will allow efficient sophisticated...