4722 search results - page 639 / 945 » Encoding Program Executions |
136
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Physical layer techniques have come a long way and can achieve close to Shannon capacity for single pointto-point transmissions. It is apparent that, to further improve network ...
134
Voted
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
116
click to vote
PVLDB
2010
15 years 2 months ago
2010
We describe an automatic database design tool that exploits correlations between attributes when recommending materialized views (MVs) and indexes. Although there is a substantial...
137
click to vote
UTP
2010
15 years 2 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
130
click to vote
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...