2487 search results - page 67 / 498 » cases 2009 |
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
: © Using hybrid search and query for e-discovery identification Dave Grosvenor, Andy Seaborne HP Laboratories HPL-2009-155 SPARQL, e-discovery, identification, hybrid search and ...
83
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
96
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Almost all tree kernels proposed in the literature match substructures without taking into account their relative positioning with respect to one another. In this paper, we propos...
97
Voted
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...