Sciweavers

845 search results - page 72 / 169
» Connecting Many-Sorted Theories
Sort
View
TNN
2010
147views Management» more  TNN 2010»
15 years 25 days ago
Theoretical Model for Mesoscopic-Level Scale-Free Self-Organization of Functional Brain Networks
In this paper we provide theoretical and numerical analysis of a geometric activity flow network model which is aimed at explaining mathematically the scale-free functional graph s...
J. Piersa, Filip Piekniewski, Tomasz Schreiber
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
14 years 9 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
WSDM
2012
ACM
304views Data Mining» more  WSDM 2012»
14 years 1 months ago
Beyond co-occurrence: discovering and visualizing tag relationships from geo-spatial and temporal similarities
Studying relationships between keyword tags on social sharing websites has become a popular topic of research, both to improve tag suggestion systems and to discover connections b...
Haipeng Zhang, Mohammed Korayem, Erkang You, David...
DIS
2003
Springer
15 years 11 months ago
Abduction and the Dualization Problem
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. While computing some abductiv...
Thomas Eiter, Kazuhisa Makino
INFOCOM
2007
IEEE
16 years 13 days ago
Optimizing File Availability in Peer-to-Peer Content Distribution
Abstract— A fundamental paradigm in peer-to-peer (P2P) content distribution is that of a large community of intermittentlyconnected nodes that cooperate to share files. Because ...
Jussi Kangasharju, Keith W. Ross, David A. Turner