2026 search results - page 246 / 406 » Tools for Test Case Generation |
147
click to vote
AAAI
1994
15 years 6 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
151
click to vote
ICPR
2006
IEEE
16 years 6 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 ...
139
click to vote
EMO
2001
Springer
15 years 10 months ago
2001
Springer
The conventional weighted aggregation method is extended to realize multi-objective optimization. The basic idea is that systematically changing the weights during evolution will l...
157
click to vote
JAR
2008
15 years 5 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
161
click to vote
WWW
2011
ACM
15 years 13 days ago
2011
ACM
We describe a new method for query completion for Bollywood song search without using query logs. Since song titles in nonEnglish languages (Hindi in our case) are mostly present ...