3742 search results - page 278 / 749 » On the Use of Formal Techniques for Validation |
195
click to vote
ICSEA
2007
IEEE
16 years 28 days ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
186
click to vote
PCM
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, attention is paid to the automatic generation of XML-based descriptions containing information about the high-level structure of binary multimedia resources. These s...
181
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
— In cognitive radio, spectrum sensing is a key component to detect spectrum holes (i.e., channels not used by any primary users). Collaborative spectrum sensing among the cognit...
175
click to vote
IJRR
2008
15 years 6 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
163
click to vote
TKDE
2008
15 years 6 months ago
2008
Schema matching is one of the key challenges in information integration. It is a labor-intensive and time-consuming process. To alleviate the problem, many automated solutions have...