Sciweavers

1295 search results - page 117 / 259
» informs 1998
Sort
View
ISORC
1998
IEEE
15 years 8 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
IH
1998
Springer
15 years 8 months ago
The Steganographic File System
Abstract. Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported...
Ross J. Anderson, Roger M. Needham, Adi Shamir
ECIR
1998
Springer
15 years 5 months ago
The Relationship between IR and Multimedia Databases
Modern extensible database systems support multimedia data through ADTs. However, because of the problems with multimedia query formulation, this support is not sufficient. Multim...
Arjen P. de Vries, Henk M. Blanken
CSCW
1998
ACM
15 years 8 months ago
Using Filtering Agents to Improve Prediction Quality in the GroupLens Research Collaborative Filtering System
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
Badrul M. Sarwar, Joseph A. Konstan, Al Borchers, ...
ROBOCUP
1998
Springer
132views Robotics» more  ROBOCUP 1998»
15 years 8 months ago
BabyTigers-98: Osaka Legged Robot Team
The Osaka Legged Robot Team, BabyTigers-98, attended the First Sony Legged Robot Competition and Demonstration which was held at La Cite La Villeta, a science and technology museum...
Noriaki Mitsunaga, Minoru Asada, Chizuko Mishima