1206 search results - page 194 / 242 » Concurrent Abstract Predicates |
111
click to vote
CORR
2002
Springer
15 years 10 days ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
204
click to vote
MICRO
2000
IEEE
15 years 9 days ago
2000
IEEE
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...
145
click to vote
SOSYM
2002
15 years 5 days ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
121
click to vote
SCN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. A hidden vector encryption scheme (HVE) is a derivation of identity-based encryption, where the public key is actually a vector over a certain alphabet. The decryption ke...
IEPOL
2010
14 years 9 months ago
2010
ABSTRACT Digital computer networks represent a disruptive technology, with the potential to create or destroy economic value in established industries. These opportunities and chal...