455 search results - page 14 / 91 » Understanding Counterexamples with explain |
112
click to vote
NGITS
1995
Springer
15 years 6 months ago
1995
Springer
This paper investigates the problem ofautomatically learning declarative models of information sources available on the Internet. We report on ILA, a domain-independent program th...
110
click to vote
CANDC
2005
ACM
15 years 4 months ago
2005
ACM
The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
131
Voted
PVLDB
2010
15 years 26 days ago
2010
Though partially automated, developing schema mappings remains a complex and potentially error-prone task. In this paper, we present TRAMP (TRAnsformation Mapping Provenance), an ...
115
click to vote
KI
2008
Springer
15 years 2 months ago
2008
Springer
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...