Sciweavers

2223 search results - page 320 / 445
» Events in Property Patterns
Sort
View
FORMATS
2008
Springer
15 years 5 months ago
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
K. Mani Chandy, Sayan Mitra, Concetta Pilotto
AAAI
2010
15 years 5 months ago
Adopting Inference Networks for Online Thread Retrieval
Online forums contain valuable human-generated information. End-users looking for information would like to find only those threads in forums where relevant information is present...
Sumit Bhatia, Prasenjit Mitra
ESANN
2007
15 years 5 months ago
Transition from initialization to working stage in biologically realistic networks
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
Andreas Herzog, Karsten Kube, Bernd Michaelis, Ana...
APVIS
2006
15 years 5 months ago
Coordinated perspectives and enhanced force-directed layout for the analysis of network motifs
The analysis of network motifs, patterns of local interconnections with potential functional properties, has applications in many fields of science. Network motif analysis is part...
Christian Klukas, Falk Schreiber, Henning Schw&oum...
138
Voted
DMIN
2006
138views Data Mining» more  DMIN 2006»
15 years 5 months ago
Quantification of a Privacy Preserving Data Mining Transformation
Data mining, with its promise to extract valuable, previously unknown and potentially useful patterns or knowledge from large data sets that contain private information is vulnerab...
Mohammed Ketel