Sciweavers

4218 search results - page 275 / 844
» Complete sets of cooperations
Sort
View
FROCOS
2000
Springer
15 years 9 months ago
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
Paqui Lucio
IJSN
2006
65views more  IJSN 2006»
15 years 6 months ago
The loop fallacy and deterministic serialisation in tracing intrusion connections through stepping stones
: In order to conceal their identity and origin, network based intruders seldom attack directly from their own hosts, but rather stage their attacks through intermediate `stepping ...
Xinyuan Wang
182
Voted
AAMAS
2012
Springer
14 years 1 months ago
Winner determination in voting trees with incomplete preferences and weighted votes
In multiagent settings where agents have different preferences, preference aggregation can be an important issue. Voting is a general method to aggregate preferences. We consider ...
Jérôme Lang, Maria Silvia Pini, Franc...
EUSFLAT
2009
181views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
Fuzzy Concept Lattice is Made by Proto-Fuzzy Concepts
Abstract-- An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the ...
Ondrej Kridlo, Stanislav Krajci
ISBI
2002
IEEE
16 years 6 months ago
A new convergent MAP reconstruction algorithm for emission tomography using ordered subsets and separable surrogates
We investigate a new, fast and provably convergentMAP reconstruction algorithm for emission tomography. The new algorithm, termed C-OSEM has its origin in the alternating algorith...
Ing-Tsung Hsiao, Anand Rangarajan, Gene Gindi