Sciweavers

2429 search results - page 372 / 486
» Toposemantic Network Clustering
Sort
View
CAP
2010
14 years 11 months ago
Parallel disk-based computation for large, monolithic binary decision diagrams
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
Daniel Kunkle, Vlad Slavici, Gene Cooperman
JOCN
2010
66views more  JOCN 2010»
14 years 11 months ago
fMRI Activation during Observation of Others' Reach Errors
When exposed to novel dynamical conditions (e.g., externally imposed forces), neurologically intact subjects easily adjust motor commands on the basis of their own reaching errors...
Nicole Malfait, Kenneth F. Valyear, Jody C. Culham...
ICASSP
2011
IEEE
14 years 8 months ago
Improved models for Mandarin speech-to-text transcription
This paper describes recent advances at LIMSI in Mandarin Chinese speech-to-text transcription. A number of novel approaches were introduced in the different system components. Th...
Lori Lamel, Jean-Luc Gauvain, Viet-Bac Le, Ilya Op...
PAKDD
2011
ACM
209views Data Mining» more  PAKDD 2011»
14 years 7 months ago
Spectral Analysis for Billion-Scale Graphs: Discoveries and Implementation
Abstract. Given a graph with billions of nodes and edges, how can we find patterns and anomalies? Are there nodes that participate in too many or too few triangles? Are there clos...
U. Kang, Brendan Meeder, Christos Faloutsos
AMAI
2011
Springer
14 years 4 months ago
Similarity measures in formal concept analysis
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
Faris Alqadah, Raj Bhatnagar