4350 search results - page 204 / 870 » Case studies for contract-based systems |
121
click to vote
ITNG
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
148
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...
146
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
135
Voted
IJON
2000
15 years 4 months ago
2000
Time delays are ubiquitous in the nervous system. Empirical "ndings suggest that time delays are adapted when considering the synchronous activity of neurons. We introduce a ...
119
click to vote
TIT
2002
15 years 4 months ago
2002
Previous studies have shown that single-user systems employing -element antenna arrays at both the transmitter and the receiver can achieve a capacity proportional to , assuming in...