27 search results - page 2 / 6 » Automatic Strategy Verification for Hex |
WWW
2005
ACM
14 years 6 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
INTERSPEECH
2010
13 years 4 days ago
2010
Being able to recognize people from their voice is a natural ability that we take for granted. Recent advances have shown significant improvement in automatic speaker recognition ...
ICPR
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we propose two effective methods to perform automatic template selection where the goal is to select prototype signature templates for a user from a given set of on...
CVPR
2001
IEEE
14 years 7 months ago
2001
IEEE
The Error Correcting Output Coding (ECOC) approach to classifier design decomposes a multi-class problem into a set of complementary two-class problems. We show how to apply the E...