6939 search results - page 1065 / 1388 » Algorithm Engineering for Parallel Computation |
149
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The Web has established itself as the largest public data repository ever available. Even though the vast majority of information on the Web is formatted to be easily readable by ...
127
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
132
click to vote
SEMCO
2008
IEEE
15 years 11 months ago
2008
IEEE
One challenge for relevance ranking in Web search is underspecified queries. For such queries, top-ranked documents may contain information irrelevant to the search goal of the us...
136
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
156
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Electrical Impedance Tomography (EIT) applies and measures electrical energy on the boundary of a medium to produce an image of its internal impedance distribution. In many medica...