44 search results - page 7 / 9 » A First Step Towards Stream Reasoning |
POPL
2009
ACM
14 years 6 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
ICDM
2007
IEEE
13 years 11 months ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...
ICDE
2007
IEEE
13 years 9 months ago
2007
IEEE
Current social networks implement very simple protection mechanisms, according to which a user can state whether his/her personal data, relationships, and resources should be eith...
SOCIALCOM
2010
13 years 3 months ago
2010
-- Assessing the value of individual users' contributions in peer-production systems is paramount to the design of mechanisms that support collaboration and improve users'...
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...