1054 search results - page 135 / 211 » Guarded Expressions in Practice |
164
click to vote
CRYPTO
2007
Springer
16 years 4 days ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
138
click to vote
ESOP
2007
Springer
16 years 4 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
154
click to vote
FSR
2007
Springer
16 years 4 days ago
2007
Springer
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...
186
click to vote
KI
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
188
Voted
RR
2007
Springer
16 years 2 days ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...