1722 search results - page 97 / 345 » Generating Tests from Counterexamples |
153
click to vote
ICPR
2008
IEEE
16 years 7 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...
164
click to vote
IWDC
2001
Springer
15 years 10 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...
150
click to vote
DAC
1997
ACM
15 years 10 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...
152
click to vote
HICSS
1995
IEEE
15 years 9 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...
175
click to vote
AGI
2011
14 years 10 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...