5550 search results - page 315 / 1110 » Different Approaches to Proof Systems |
164
Voted
WORDS
2005
IEEE
16 years 8 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
181
click to vote
IDEAL
2003
Springer
15 years 12 months ago
2003
Springer
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
155
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The market for health care systems supporting physicians and improving their daily routine is dynamically growing. The development of these systems makes great demands on the hand...
142
click to vote
ICWL
2009
Springer
15 years 11 months ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
154
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a system of absolute localization based on the stereoscopic omnidirectional vision. To do it we use an original perception system which allows our omnidirectio...