2525 search results - page 353 / 505 » A Framework for Semantic Gossiping |
180
Voted
CADE
2009
Springer
16 years 6 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
164
click to vote
STACS
2010
Springer
16 years 29 days ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
189
click to vote
FLOPS
2010
Springer
16 years 24 days ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
156
click to vote
AINA
2009
IEEE
16 years 24 days ago
2009
IEEE
We consider the problem of content extraction from online news webpages. To explore to what extent the syntactic markup and the visual structure of a webpage facilitate the extrac...
154
click to vote
ECBS
2009
IEEE
16 years 24 days ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...