Sciweavers

5995 search results - page 118 / 1199
» Algorithmic Game Theory
Sort
View
126
Voted
ADC
2003
Springer
128views Database» more  ADC 2003»
15 years 8 months ago
An algorithm for the induction of defeasible logic theories from databases
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...
Benjamin Johnston, Guido Governatori
133
Voted
FSTTCS
2004
Springer
15 years 9 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
GCC
2006
Springer
15 years 7 months ago
BSM: A scheduling algorithm for dynamic jobs based on economics theory
In this paper, we propose a new scheduling algorithm with economic theory, called Black Scholes Market (BSM) algorithm for a class of Dynamic Jobs (DJ). BSM is based on the classi...
Bo Cao, Yongwei Wu, Guangwen Yang, Jia Liu, Jianji...
116
Voted
IMSCCS
2006
IEEE
15 years 9 months ago
A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory
The paper mainly deals with a vertical handover decision algorithm based on the fuzzy control theory. The algorithm takes into consider the factors of Power Level, Cost and Bandwi...
Hongwei Liao, Ling Tie, Zhao Du

Book
250views
17 years 1 months ago
Algorithmic Information Theory
"The aim of this book is to present the strongest possible version of G¨odel's incompleteness theorem, using an information-theoretic approach based on the size of com...
G J Chaitin