Sciweavers

3384 search results - page 278 / 677
» More Testable Properties
Sort
View
TKDE
2008
121views more  TKDE 2008»
15 years 6 months ago
On Modularity Clustering
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
Ulrik Brandes, Daniel Delling, Marco Gaertler, Rob...
TWC
2008
113views more  TWC 2008»
15 years 6 months ago
OFDM Carrier Synchronization Based on Time-Domain Channel Estimates
Carrier frequency synchronization is critical to the quality of signal reception in OFDM systems. This paper presents an approximate maximum-likelihood (ML) carrier frequency offse...
Hao Zhou, Amaresh V. Malipatil, Yih-Fang Huang
AI
2002
Springer
15 years 6 months ago
Conditional independence in propositional logic
Independence--the study of what is relevant to a given problem of reasoning--is an important AI topic. In this paper, we investigate several notions of conditional independence in...
Jérôme Lang, Paolo Liberatore, Pierre...
AMAI
2002
Springer
15 years 6 months ago
Generalizations of Watched Literals for Backtracking Search
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
Allen Van Gelder
BIOINFORMATICS
2004
90views more  BIOINFORMATICS 2004»
15 years 6 months ago
GDPC: connecting researchers with multiple integrated data sources
Summary: The goal of this project is to simplify access to genomic diversity and phenotype data, thereby encouraging reuse of this data. The Genomic Diversity and Phenotype Connec...
Terry M. Casstevens, Edward S. Buckler