4738 search results - page 681 / 948 » Correlated Data Inference |
202
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of a user querying semistructured data such as RDF without knowing its structure. In these circumstances, it is helpful if the querying system can perform a...
190
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
In a peer-to-peer overlay network, hosts cooperate to forward messages. When a message does not reach its final destination, there are two possible explanations. An intermediate ...
167
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
Deficiencies in the ability to map letters to sounds are currently considered to be the most likely early signs of dyslexia [4]. This has motivated the use of Literate, a compute...
221
click to vote
ICMB
2007
IEEE
16 years 1 months ago
2007
IEEE
Delivering “relevant” advertisements to consumers carrying mobile devices is regarded by many as one of the most promising mobile business opportunities. The relevance of a mo...
188
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...