932 search results - page 88 / 187 » Verifying Progress in Timed Systems |
162
click to vote
DEXAW
2000
IEEE
15 years 11 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...
165
click to vote
AMT
2006
Springer
15 years 10 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...
169
Voted
AUTOMATICA
2006
15 years 6 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...
213
click to vote
IPPS
2008
IEEE
16 years 1 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...
153
click to vote
IROS
2006
IEEE
16 years 22 days 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...