Sciweavers

1063 search results - page 140 / 213
» Order and Negation as Failure
Sort
View
103
Voted
JSAT
2006
126views more  JSAT 2006»
15 years 1 months ago
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
Sylvie Coste-Marquis, Daniel Le Berre, Florian Let...
107
Voted
FUIN
2007
121views more  FUIN 2007»
15 years 1 months ago
A Possibility-Theoretic View of Formal Concept Analysis
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
Didier Dubois, Florence Dupin de Saint-Cyr, Henri ...
90
Voted
TWC
2008
85views more  TWC 2008»
15 years 29 days ago
Bandwidth partitioning in decentralized wireless networks
This paper addresses the following question, which is of interest in the design of a multiuser decentralized network. Given a total system bandwidth of W Hz and a fixed data rate c...
Nihar Jindal, Jeffrey G. Andrews, Steven Weber
116
Voted
CORR
2002
Springer
132views Education» more  CORR 2002»
15 years 27 days ago
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
Sarit Kraus, Daniel J. Lehmann, Menachem Magidor
GIS
2002
ACM
15 years 26 days ago
Search algorithms for multiway spatial joins
This papers deals with multiway spatial joins when (i) there is limited time for query processing and the goal is to retrieve the best possible solutions within this limit (ii) the...
Dimitris Papadias, Dinos Arkoumanis