2858 search results - page 431 / 572 » Logics with Aggregate Operators |
149
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
181
click to vote
ICISC
2008
15 years 7 months ago
2008
Ciphertext-Policy Attribute-Based Encryption (CP-ABE) allows to encrypt data under an access policy, specified as a logical combination of attributes. Such ciphertexts can be decry...
152
click to vote
IFIP12
2008
15 years 7 months ago
2008
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...
141
click to vote
CATA
2003
15 years 7 months ago
2003
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
170
click to vote
IJCAI
2001
15 years 7 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...