Sciweavers

614 search results - page 56 / 123
» aime 2003
Sort
View
IEAAIE
2003
Springer
15 years 9 months ago
Dialogue Management in an Automatic Meteorological Information System
Abstract. In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to realtime data coming from automatic sensors, ...
Luis Villarejo, Núria Castell, Javier Herna...
IFIP
2003
Springer
15 years 9 months ago
A Novel Approach for Distributed Simulation of Wireless Mobile Systems
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
Luciano Bononi, Gabriele D'Angelo
123
Voted
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 9 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
IS4TH
2003
Springer
15 years 9 months ago
Tracking the Movement of Surgical Tools in a Virtual Temporal Bone Dissection Simulator
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
ISMIS
2003
Springer
15 years 9 months ago
Traffic Sign Recognition in Disturbing Environments
Traffic sign recognition is a difficult task if we aim at detecting and recognizing signs in images captured from unfavorable environments. Complex background, weather, shadow, and...
Hsiu-Ming Yang, Chao-Lin Liu, Kun-Hao Liu, Shang-M...