Sciweavers

6881 search results - page 169 / 1377
» Motivation
Sort
View
ICSE
1999
IEEE-ACM
15 years 10 months ago
An Architectural Style for Multiple Real-Time Data Feeds
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...
Neil Roodyn, Wolfgang Emmerich
MAAMAW
1999
Springer
15 years 10 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...
ICRA
1998
IEEE
143views Robotics» more  ICRA 1998»
15 years 10 months ago
Maximum Likelihood Rover Localization by Matching Range Maps
This paper describes maximum likelihood estimation techniques for performing rover localization in natural terrain by matching range maps. An occupancy map of the local terrain is...
Clark F. Olson, Larry Matthies
SACRYPT
1999
Springer
15 years 10 months ago
Yarrow-160: Notes on the Design and Analysis of the Yarrow Cryptographic Pseudorandom Number Generator
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
John Kelsey, Bruce Schneier, Niels Ferguson
POPL
1998
ACM
15 years 10 months ago
Local Type Inference
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
Benjamin C. Pierce, David N. Turner