1722 search results - page 144 / 345 » Generating Tests from Counterexamples |
ASSETS
2005
ACM
14 years 12 days ago
2005
ACM
This paper presents a method to convert vector graphics into tactile representations for the blind. Generating tactile pictures from vector graphics is an important effort to bri...
DICTA
2008
13 years 12 months ago
2008
An iterative algorithm for the reconstruction of natural images given only their contrast map is presented. The solution is neuro-physiologically inspired, where the retinal cells...
HPDC
2010
IEEE
13 years 11 months ago
2010
IEEE
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...
BMCBI
2007
13 years 10 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
ICTAI
2007
IEEE
14 years 4 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...