2393 search results - page 87 / 479 » Fuzzy-UCS: preliminary results |
164
click to vote
CAV
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
149
click to vote
ESWS
2007
Springer
16 years 10 days ago
2007
Springer
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
140
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
171
click to vote
SEMWEB
2007
Springer
16 years 9 days 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...
176
click to vote
SEMWEB
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...