Sciweavers

187 search results - page 20 / 38
» On the characterizations of (S, N)-implications
Sort
View
CIE
2010
Springer
15 years 9 months ago
A Faster Algorithm for Finding Minimum Tucker Submatrices
A binary matrix has the Consecutive Ones Property (C1P) if its columns can be ordered in such a way that all 1s on each row are consecutive. Algorithmic issues of the C1P are centr...
Guillaume Blin, Romeo Rizzi, Stéphane Viale...
DAGSTUHL
2003
15 years 7 months ago
Embodied Artificial Intelligence: Trends and Challenges
Abstract. The field of Artificial Intelligence, which started roughly half a century ago, has a turbulent history. In the 1980s there has been a major paradigm shift towards embodi...
Rolf Pfeifer, Fumiya Iida
MLQ
2002
83views more  MLQ 2002»
15 years 5 months ago
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
Nick Bezhanishvili
OL
2010
87views more  OL 2010»
15 years 4 months ago
Uniqueness of integer solution of linear equations
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
O. L. Mangasarian, Michael C. Ferris
EJWCN
2010
97views more  EJWCN 2010»
15 years 28 days ago
Pricing in Noncooperative Interference Channels for Improved Energy Efficiency
Abstract--We consider noncooperative energy-efficient resource allocation in the interference channel. Energy-efficiency is achieved when each system pays a price proportional to i...
Zhijiat Chong, Rami Mochaourab, Eduard A. Jorswiec...