Sciweavers

403 search results - page 72 / 81
» Implementing Semantic Precision and Recall
Sort
View
WWW
2008
ACM
14 years 10 months ago
Structured objects in owl: representation and reasoning
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
POPL
2001
ACM
14 years 10 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
VLDB
2006
ACM
115views Database» more  VLDB 2006»
14 years 9 months ago
Integrating document and data retrieval based on XML
For querying structured and semistructured data, data retrieval and document retrieval are two valuable and complementary techniques that have not yet been fully integrated. In thi...
Jan-Marco Bremer, Michael Gertz
ICFP
2007
ACM
14 years 9 months ago
A generic usage analysis with subeffect qualifiers
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
FSTTCS
2007
Springer
14 years 3 months ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...