1511 search results - page 243 / 303 » Relational Parametricity for Computational Effects |
157
click to vote
ECBS
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
178
Voted
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—Cloud computing centers face the key challenge of provisioning diverse virtual machine instances in an elastic and scalable manner. To address this challenge, we have performed ...
147
Voted
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
An approach for incremental learning of a 3D scene from a single static video camera is presented in this paper. In particular, we exploit the presence of casual people walking in...
165
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In this paper we investigate a new method of learning partbased models for visual object recognition, from training data that only provides information about class member...
163
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
A hypergraph is a generalization of the traditional graph in which the edges are arbitrary non-empty subsets of the vertex set. It has been applied successfully to capture highord...