2468 search results - page 86 / 494 » Aggregation operators 2003 |
IJCAI
2003
13 years 10 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
CHARME
2003
Springer
14 years 2 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
SOSP
2003
ACM
14 years 5 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
SIGGRAPH
2003
ACM
14 years 2 months ago
2003
ACM
A number of successful tone mapping operators for contrast compression have been proposed due to the need to visualize high dynamic range (HDR) images on low dynamic range devices...
DILS
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Workflows are gaining importance as a means for modelling and enacting in silico scientific experiments. A major issue which arises when aggregating a collection of analy...