1722 search results - page 97 / 345 » Generating Tests from Counterexamples |
115
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
122
Voted
IWDC
2001
Springer
15 years 7 months ago
2001
Springer
Considering that current end to end communication services are not adapted for supporting efficiently distributed multimedia application, this paper introduces a new family of gene...
113
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a new scan-based BIST scheme which achieves very high fault coverage without the deficiencies of previously proposed schemes. This approach utilizes scan order...
117
Voted
HICSS
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
138
Voted
AGI
2011
14 years 6 months ago
2011
General Game Playing (GGP) contest provides a research framework suitable for developing and testing AGI approaches in game domain. In this paper, we propose a new modification of...