Sciweavers

11862 search results - page 240 / 2373
» Relative information completeness
Sort
View
ICALP
2004
Springer
15 years 9 months ago
Towards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
Yuxin Deng, Davide Sangiorgi
DM
2000
111views more  DM 2000»
15 years 4 months ago
Representations of graphs modulo n
A graph is said to be representable modulo n if its vertices can be labelled with distinct integers between 0 and n - 1 inclusive such that two vertices are adjacent if and only i...
Anthony B. Evans, Garth Isaak, Darren A. Narayan
SIAMCOMP
2010
96views more  SIAMCOMP 2010»
14 years 11 months ago
Quantified Equality Constraints
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
Manuel Bodirsky, Hubie Chen
ICDE
2008
IEEE
127views Database» more  ICDE 2008»
16 years 5 months ago
Optimizing SQL Queries over Text Databases
Text documents often embed data that is structured in nature, and we can expose this structured data using information extraction technology. By processing a text database with inf...
Alpa Jain, AnHai Doan, Luis Gravano
WISE
2002
Springer
15 years 9 months ago
Applying the Site Information to the Information Retrieval from the Web
In recent years, several information retrieval methods using information about the Web-links are developed, such as HITS and Trawling. In order to analyze the Web-links dividing i...
Yasuhito Asano, Hiroshi Imai, Masashi Toyoda, Masa...