Sciweavers

2197 search results - page 226 / 440
» Sampling community structure
Sort
View
153
Voted
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 7 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
114
Voted
CIMCA
2006
IEEE
15 years 7 months ago
An Improvement in Sugeno-Yasukawa Modeler
Structure identification is one of the most significant steps in Fuzzy modeling of a complex system. Efficient structure identification requires good approximation of the effectiv...
Amir Hossein Hadad, Saeed Shiry Ghidary, Saeed Bag...
130
Voted
AAAI
2008
15 years 6 months ago
Factored Models for Probabilistic Modal Logic
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
Afsaneh Shirazi, Eyal Amir
130
Voted
DAS
2006
Springer
15 years 5 months ago
Extraction and Analysis of Document Examiner Features from Vector Skeletons of Grapheme 'th'
Abstract. This paper presents a study of 25 structural features extracted from samples of grapheme `th' that correspond to features commonly used by forensic document examiner...
Vladimir Pervouchine, Graham Leedham
129
Voted
IJCAI
2007
15 years 5 months ago
Locality Sensitive Discriminant Analysis
Linear Discriminant Analysis (LDA) is a popular data-analytic tool for studying the class relationship between data points. A major disadvantage of LDA is that it fails to discove...
Deng Cai, Xiaofei He, Kun Zhou, Jiawei Han, Hujun ...