142 search results - page 26 / 29 » On-the-Fly Clause Improvement |
JUCS
2010
14 years 10 months ago
2010
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
116
click to vote
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. A new method is proposed for compiling causal independencies into Markov logic networks (MLNs). An MLN can be viewed as compactly representing a factorization of a joint ...
ESA
2009
Springer
15 years 6 months ago
2009
Springer
We study a special class of binary trees. Our results have implications on Maker/Breaker games and SAT: We disprove a conjecture of Beck on positional games and construct an unsati...
102
click to vote
STACS
2005
Springer
15 years 5 months ago
2005
Springer
Exponential algorithms, i.e. algorithms of complexity O(cn ) for some c > 1, seem to be unavoidable in the case of NP-complete problems (unless P=NP), especially if the problem ...
110
click to vote
CCR
2006
14 years 11 months ago
2006
The delay and throughput characteristics of a packet switch depend mainly on the queueing scheme and the scheduling algorithm deployed at the switch. Early research on scheduling ...