3053 search results - page 44 / 611 » Hybrid Systems Diagnosis |
PODS
2005
ACM
14 years 7 months ago
2005
ACM
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
GECCO
2010
Springer
14 years 15 days ago
2010
Springer
Cardiomyopathy refers to diseases of the heart muscle that becomes enlarged, thick, or rigid. These changes affect the electrical stability of the myocardial cells, which in turn ...
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
BCSHCI
2008
13 years 9 months ago
2008
In Europe we live in an increasingly ageing society and solutions that help that ageing society to self care in context are a major goal for the EU and UK governments. Given this ...
CBMS
1995
IEEE
13 years 11 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...