904 search results - page 139 / 181 » The State Problem for Evolutionary Testing |
QSIC
2006
IEEE
15 years 3 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Microarrays allow simultaneous measurement of the expression levels of thousands of genes in cells under different physiological or disease states. Because the number of...
FGR
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents algorithms and a prototype system for hand tracking and hand posture recognition. Hand postures are represented in terms of hierarchies of multi-scale colour i...
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
IWSSD
2000
IEEE
15 years 2 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...