Sciweavers

CORR
2011
Springer
241views Education» more  CORR 2011»
13 years 6 months ago
An Alternating Direction Algorithm for Matrix Completion with Nonnegative Factors
This paper introduces a novel algorithm for the nonnegative matrix factorization and completion problem, which aims to find nonnegative matrices X and Y from a subset of entries o...
Yangyang Xu, Wotao Yin, Zaiwen Wen, Yin Zhang
CORR
2011
Springer
208views Education» more  CORR 2011»
13 years 6 months ago
GRASP and path-relinking for Coalition Structure Generation
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
Nicola Di Mauro, Teresa Maria Altomare Basile, Ste...
CORR
2011
Springer
151views Education» more  CORR 2011»
13 years 6 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
CORR
2011
Springer
243views Education» more  CORR 2011»
13 years 6 months ago
Deterministic Network Model Revisited: An Algebraic Network Coding Approach
Abstract—The capacity of multiuser networks has been a longstanding problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to appr...
MinJi Kim, Elona Erez, Edmund M. Yeh, Muriel M&eac...
CORR
2011
Springer
166views Education» more  CORR 2011»
13 years 6 months ago
Reduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextu
Zoran Majkic
CORR
2011
Springer
187views Education» more  CORR 2011»
13 years 6 months ago
The Language Features and Architecture of B-Prolog
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
Neng-Fa Zhou
CORR
2011
Springer
139views Education» more  CORR 2011»
13 years 6 months ago
Synthesizing Switching Logic to Minimize Long-Run Cost
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari