11722 search results - page 2040 / 2345 » How Developers Develop Features |
170
click to vote
INFOCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...
191
click to vote
SMI
2006
IEEE
16 years 21 days ago
2006
IEEE
Databases of 3D shapes have become widespread for a variety of applications, and a key research problem is searching these databases for similar shapes. This paper introduces a me...
175
click to vote
APLAS
2006
ACM
16 years 20 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
224
click to vote
MM
2006
ACM
16 years 19 days ago
2006
ACM
While there have been great advances in quantification of the genotype of organisms, including full genomes for many species, the quantification of phenotype is at a comparatively...
187
click to vote
SI3D
2006
ACM
16 years 19 days ago
2006
ACM
Motion capture data from human subjects exhibits considerable redundancy. In this paper, we propose novel methods for exploiting this redundancy. In particular, we set out to find...