Sciweavers

2139 search results - page 79 / 428
» Connecting language to the world
Sort
View
PODS
2005
ACM
104views Database» more  PODS 2005»
16 years 6 months ago
Views and queries: determinacy and rewriting
We investigate the question of whether a query can be answered using a set V of views. We first define the problem in information-theoretic terms: we say that V determines if V pr...
Luc Segoufin, Victor Vianu
WWW
2001
ACM
16 years 7 months ago
WebLQM : A Web Community Examiner
WebLQM is a system with capabilities to locate, query and mine web communities on the Internet. WebLQM has a special way to define the World Wide Web, its contents and relations. ...
Jesús Ubaldo Quevedo, Shou-Hsuan Stephen Hu...
POPL
2007
ACM
16 years 6 months ago
Context logic as modal logic: completeness and parametric inexpressivity
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
SCM
2003
15 years 7 months ago
Compatibility of XML Language Versions
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
Daniel Dui, Wolfgang Emmerich
ICIP
2009
IEEE
15 years 4 months ago
Light Speed Labeling for RISC architectures
This article introduces a fast algorithm for Connected Component Labeling of binary images called Light Speed Labeling. It is segment-based and a line-relative labeling that was e...
Lionel Lacassagne, Bertrand Zavidovique