648 search results - page 122 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
101
click to vote
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...
NSDI
2010
14 years 12 months ago
2010
: Making cloud services responsive is critical to providing a compelling user experience. Many largescale sites, including LinkedIn, Digg and Facebook, address this need by deployi...
98
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
SAT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...