3342 search results - page 215 / 669 » Automating Abstract Interpretation |
130
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
125
click to vote
JCDL
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes a system to support humanities scholars in their interpretation of literary work. It presents a user interface and web architecture that integrates text minin...
105
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
134
click to vote
AIMSA
2004
Springer
15 years 8 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
108
click to vote
WISE
2003
Springer
15 years 8 months ago
2003
Springer
Semantic web services hold the promise of greatly increasing interoperability among software agents and web services by enabling content-based (as opposed to format-based) automat...