5671 search results - page 628 / 1135 » A Semantic Approach to Interpolation |
203
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
156
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
149
click to vote
PASTE
2004
ACM
16 years 18 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
180
click to vote
EWSA
2004
Springer
16 years 17 days ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
190
click to vote
ICALP
2004
Springer
16 years 17 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...