11397 search results - page 255 / 2280 » A Relational Abstraction for Functions |
187
click to vote
CEC
2003
IEEE
16 years 17 days ago
2003
IEEE
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...
183
click to vote
ISMIS
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. A model of granular computing (GrC) is proposed by reformulating, re-interpreting, and combining results from rough sets, quotient space theory, and belief functions. Two...
173
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
372
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
215
click to vote
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper compares the parameters sizes and software performance of several recent constructions for universal hash functions: bucket hashing, polynomial hashing, Toepli...