Sciweavers

2143 search results - page 198 / 429
» corr 2010
Sort
View
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 6 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
CORR
2010
Springer
183views Education» more  CORR 2010»
15 years 6 months ago
A Game Theoretical Approach to Modeling Information Dissemination in Social Networks
One major function of social networks (e.g., massive online social networks) is the dissemination of information such as scientific knowledge, news, and rumors. Information can be...
Dmitry Zinoviev, Vy Duong, Honggang Zhang
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Don't 'have a clue'? Unsupervised co-learning of downward-entailing operators
Researchers in textual entailment have begun to consider inferences involving downward-entailing operators, an interesting and important class of lexical items that change the way...
Cristian Danescu-Niculescu-Mizil, Lillian Lee
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 6 months ago
A proposed "osi based" network troubles identification model
The OSI model, developed by ISO in 1984, attempts to summarize complicated network cases on layers. Moreover, network troubles are expressed by taking the model into account. Howe...
Murat Kayri, Ismail Kayri
CORR
2010
Springer
200views Education» more  CORR 2010»
15 years 6 months ago
A Multilevel Approach For Nonnegative Matrix Factorization
Nonnegative Matrix Factorization (NMF) is the problem of approximating a nonnegative matrix with the product of two low-rank nonnegative matrices and has been shown to be particul...
Nicolas Gillis, François Glineur