10213 search results - page 1700 / 2043 » An Experimental Analysis of Parallel |
181
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
208
Voted
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
OLAP users heavily rely on visualization of query answers for their interactive analysis of massive amounts of data. Very often, these answers cannot be visualized entirely and th...
173
click to vote
NOSSDAV
2010
Springer
15 years 8 months ago
2010
Springer
Placeshifting systems stream videos from the home to a single remote user using the limited upstream capacity of the home broadband link. We analyze the behavior of two placeshift...
154
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
213
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
ImageCLEFphoto 2008 is an ad-hoc photo retrieval task and part of the ImageCLEF evaluation campaign. This task provides both the resources and the framework necessary to perform c...