10891 search results - page 2162 / 2179 » Combining Model Reductions |
130
Voted
INFOCOM
2010
IEEE
15 years 26 days ago
2010
IEEE
—Cloud computing is an emerging computing paradigm in which resources of the computing infrastructure are provided as services over the Internet. As promising as it is, this para...
125
Voted
INFOCOM
2010
IEEE
15 years 26 days ago
2010
IEEE
Abstract—In this paper, we investigate the fundamental properties of broadcasting in mobile wireless networks. In particular, we characterize broadcast capacity and latency of a ...
116
click to vote
VR
2008
IEEE
15 years 25 days ago
2008
IEEE
We describe M4, the multi-modal mesh manipulation system, which aims to provide a more intuitive desktop interface for freeform manipulation of 3D meshes. The system combines inte...
136
Voted
PVLDB
2010
15 years 24 days ago
2010
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
130
click to vote
SAT
2010
Springer
15 years 24 days ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...