3481 search results - page 546 / 697 » A New Approach to Component Testing |
146
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Research in the rule induction algorithm field produced many algorithms in the last 30 years. However, these algorithms are usually obtained from a few basic rule induction algorit...
173
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
179
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Wireless mesh networks (WMNs) have recently emerged to be a cost-effective solution to support large-scale wireless Internet access. One important component of realizing large-s...
203
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
Background modeling and subtraction to detect new or moving objects in a scene is an important component of many intelligent video applications. Compared to a single camera, the u...
169
click to vote
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...