16404 search results - page 692 / 3281 » A set coverage problem |
180
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
220
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
In traditional text clustering methods, documents are represented as "bags of words" without considering the semantic information of each document. For instance, if two ...
211
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Capturing and analyzing the detailed eye movements of a user while reading a web page can reveal much about the ways in which web reading occurs. The WebGazeAnalyzer system descri...
195
click to vote
MOBIHOC
2003
ACM
16 years 6 months ago
2003
ACM
In wireless ad hoc networks, capacity can be traded for delay. This tradeoff has been the subject of a number of studies, mainly concentrating on the two extremes: either minimizi...
200
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...