1664 search results - page 148 / 333 » Towards Partial Reasoning |
142
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we propose an attribute retrieval approach which extracts and ranks attributes from HTML tables. We distinguish between class attribute retrieval and instance attri...
186
click to vote
AAAI
2012
13 years 7 months ago
2012
In many real applications, especially those involving data objects with complicated semantics, it is generally desirable to discover the relation between patterns in the input spa...
162
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
156
click to vote
JAIR
2008
15 years 4 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
110
Voted
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...