2335 search results - page 122 / 467 » Type Checking Type Classes |
USENIX
2003
13 years 10 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
JFP
2006
13 years 9 months ago
2006
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
ACTA
2005
13 years 9 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
ICARCV
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper proposes a set of methods for building informative and robust feature point representations, used for accurately labeling points in a 3D point cloud, based on the typ...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...