932 search results - page 143 / 187 » Verifying Progress in Timed Systems |
HPDC
2012
IEEE
11 years 11 months ago
2012
IEEE
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...
CP
2009
Springer
14 years 9 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
PET
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Face recognition is increasingly deployed as a means to unobtrusively verify the identity of people. The widespread use of biometrics raises important privacy concerns, i...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
—Terrain variations can greatly influence autonomous ground vehicle (AGV) performance. However, if the terrain is properly identified, the AGV control systems can be adjusted to ...
MIAR
2008
IEEE
14 years 3 months ago
2008
IEEE
The accurate segmentation of liver vessels is an important prerequisite for creating oncologic surgery planning tools as well as medical visualization applications. In this paper, ...