Sciweavers

4098 search results - page 537 / 820
» Sound mobility models
Sort
View
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 12 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
FSE
2003
Springer
123views Cryptology» more  FSE 2003»
15 years 12 months ago
The Security of "One-Block-to-Many" Modes of Operation
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...
Henri Gilbert
IDA
2003
Springer
15 years 12 months ago
A Semi-supervised Method for Learning the Structure of Robot Environment Interactions
For a mobile robot to act autonomously, it must be able to construct a model of its interaction with the environment. Oates et al. developed an unsupervised learning method that pr...
Axel Großmann, Matthias Wendt, Jeremy Wyatt
HICSS
2002
IEEE
115views Biometrics» more  HICSS 2002»
15 years 11 months ago
Fuzzy Rules for HTML Transcoding
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
Robbie Schaefer, Andreas Dangberg, Wolfgang Mü...
197
Voted
ICRA
2002
IEEE
133views Robotics» more  ICRA 2002»
15 years 11 months ago
Stereo-Based Obstacle Avoidance in Indoor Environments with Active Sensor Re-Calibration
We present a stereo-based obstacle avoidance system for mobile vehicles. The system operates in three steps. First, it models the surface geometry of supporting surface and remove...
Darius Burschka, Stephen Lee, Gregory D. Hager