Sciweavers

187 search results - page 20 / 38
» On the characterizations of (S, N)-implications
Sort
View
CIE
2010
Springer
14 years 29 days 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
13 years 11 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»
13 years 9 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»
13 years 8 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»
13 years 4 months 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...