2419 search results - page 295 / 484 » A Formal Approach to Software Testing |
129
click to vote
TCIAIG
2010
14 years 10 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
131
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
155
click to vote
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...
123
click to vote
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
144
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...