1722 search results - page 112 / 345 » Generating Tests from Counterexamples |
BIBE
2007
IEEE
14 years 18 days ago
2007
IEEE
— This research describes a non-interactive process that applies several forms of computational intelligence to the task of classifying biopsy lung tissue samples based on visual...
EMNLP
2008
14 years 7 days ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
CEC
2010
IEEE
13 years 12 months ago
2010
IEEE
For any embodied, mobile, autonomous agent it is essential to control its actuators appropriately for the faced task. This holds for natural organisms as well as for robots. If sev...
IV
2000
IEEE
14 years 2 months ago
2000
IEEE
We are generating music from a particular view of a multi-dimensional geographic information system (GIS) data set to alert a viewer to the existence of hidden clusters of data po...
ICPR
2006
IEEE
14 years 12 months ago
2006
IEEE
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...