2441 search results - page 99 / 489 » Integrated Medical Analysis System |
127
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
131
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
121
click to vote
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— The accurate average BER calculation of an asynchronous DS-CDMA system using random spreading sequences is studied in Rayleigh fading channels. An accurate closedform e...
118
click to vote
DRR
2003
15 years 3 months ago
2003
A prototype system has been designed to automate the extraction of bibliographic data (e.g., article title, authors, , affiliation and others) from online biomedical journals to p...
152
click to vote
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Portable, embedded systems place ever-increasing demands on high-performance, low-power microprocessor design. Dynamic voltage and frequency scaling (DVFS) is a well-known techniq...