2052 search results - page 20 / 411 » Direct Combination |
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
EWCBR
2006
Springer
15 years 3 months ago
2006
Springer
Product recommender systems are a popular application and research field of CBR for several years now. However, almost all CBRbased recommender systems are not case-based in the or...
CADE
2006
Springer
16 years 10 hour ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Directional antennas are a promising option for use in ad-hoc networks for a variety of reasons, such as increased spatial reuse, reduced interference and enabling more effici...
108
click to vote
EDBT
2004
ACM
15 years 5 months ago
2004
ACM
Qualitative spatial reasoning forms an important part of the commonsense reasoning required for building intelligent Geographical Information Systems (GIS). Previous research has c...