Sciweavers

3913 search results - page 223 / 783
» complexity 2006
Sort
View
201
Voted
AIR
2006
107views more  AIR 2006»
15 years 5 months ago
Just enough learning (of association rules): the TAR2 "Treatment" learner
Abstract. An over-zealous machine learner can automatically generate large, intricate, theories which can be hard to understand. However, such intricate learning is not necessary i...
Tim Menzies, Ying Hu
127
Voted
ICGA
2006
128views Optimization» more  ICGA 2006»
15 years 5 months ago
Never-Ending Moves in Bao
Bao is a member of the large family of mancala games. It is generally considered to be the most complex mancala game with respect to the number of game rules (Townshend, 1986; De ...
Tom Kronenburg, H. H. L. M. Donkers, Alex J. de Vo...
ITSSA
2006
182views more  ITSSA 2006»
15 years 5 months ago
Application of Business Process Execution Language to Scientific Workflows
: This paper investigates the use of the Business Process Execution Language for Web services (BPEL4WS/ BPEL) for managing scientific workflows. The complexity, unpredictability an...
Asif Akram, David Meredith, Rob Allan
127
Voted
DAGSTUHL
2006
15 years 7 months ago
A note on the size of Craig Interpolants
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
Uwe Schöning, Jacobo Torán
DKE
2006
93views more  DKE 2006»
15 years 5 months ago
The ramification problem in temporal databases: Changing beliefs about the past
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
Nikos Papadakis, Grigoris Antoniou, Dimitris Plexo...