291 search results - page 9 / 59 » The Bidimensionality Theory and Its Algorithmic Applications |
110
Voted
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
100
click to vote
ICEC
1994
15 years 29 days ago
1994
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...
99
Voted
ILP
2003
Springer
15 years 4 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
87
Voted
ICAIL
2003
ACM
15 years 4 months ago
2003
ACM
Defeasible Logic is a promising representation for legal knowledge that appears to overcome many of the deficiencies of previous approaches to representing legal knowledge. Unfor...
BMCBI
2010
14 years 11 months ago
2010
Background: Sustained research on the problem of determining which genes are differentially expressed on the basis of microarray data has yielded a plethora of statistical algorit...