6167 search results - page 897 / 1234 » Can Refinement be Automated |
135
Voted
DLOG
2003
15 years 6 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
140
click to vote
BMVC
1998
15 years 6 months ago
1998
This paper presents an original method using colour histograms for flaw detection in automated industrial inspection. The colour histogram of an image is constructed by mapping th...
147
click to vote
WSC
1997
15 years 6 months ago
1997
AutoStat™ is an extension package for AutoMod™ and AutoSched™ models that provides complete support for simulation model experimentation and statistical analysis of outputs....
134
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We explore settings where a principal must make a decision about which action to take to achieve a desired outcome. The principal elicits the probability of achieving the outcome ...
146
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...