3233 search results - page 296 / 647 » Validation Method for Intelligent Systems |
145
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
124
click to vote
SIBGRAPI
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...
156
click to vote
FIW
2007
15 years 6 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
245
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: In the post-genomic era, systems-level studies are being performed that seek to explain complex biological systems by integrating diverse resources from fields such as...
138
click to vote
JOT
2008
15 years 4 months ago
2008
Class cohesion is considered as one of most important object-oriented software attributes. Cohesion refers to the degree of relatedness between members in a class. High cohesion i...