1722 search results - page 267 / 345 » Generating Tests from Counterexamples |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as Maximum parsimony (MP) and Maximum likelihood (ML). Conventional MP heuristics for produc...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Recommendation systems are widely used on the Internet to assist customers in finding the products or services that best fit with their individual preferences. While current imple...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The fundamental assumption of 3D videos using depth-imagebased rendering is the full availability of range images at video rate. In this work we alleviate this hard demand and ass...