Sciweavers

4218 search results - page 275 / 844
» Complete sets of cooperations
Sort
View
122
Voted
FROCOS
2000
Springer
15 years 4 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 29 days 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
130
Voted
AAMAS
2012
Springer
13 years 8 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»
14 years 10 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 1 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