932 search results - page 88 / 187 » Verifying Progress in Timed Systems |
122
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
In a mobile computing system, caching data items at the mobile clients is important to reduce the data access delay in a unreliable and low bandwidth mobile network. However, effi...
124
click to vote
AMT
2006
Springer
15 years 7 months ago
2006
Springer
In high-tech industries, most manufacturing processes are complexly intertwined, in that manufacturers or engineers can hardly control a whole set of processes. They are only capa...
138
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...
161
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
124
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...