1134 search results - page 173 / 227 » Composing Tests from Examples |
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
The problem of transfer learning, where information gained in one learning task is used to improve performance in another related task, is an important new area of research. While...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...