1729 search results - page 42 / 346 » Generic Haskell: Applications |
125
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present a new approach to cope with unknown redundant systems. For this we present i) an online algorithm that learns general input-output restrictions and, ii) a method tha...
139
click to vote
ASIACRYPT
2010
Springer
15 years 2 months ago
2010
Springer
So far, all solutions proposed for authenticated key agreement combine key agreement and authentication into a single cryptographic protocol. However, in many important applicatio...
168
click to vote
ICISS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
136
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
136
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...