Sciweavers

8555 search results - page 360 / 1711
» Property Based Coordination
Sort
View
ICDAR
2009
IEEE
15 years 5 months ago
Lexicon-Based Word Recognition Using Support Vector Machine and Hidden Markov Model
Hybrid of Neural Network (NN) and Hidden Markov Model (HMM) has been popular in word recognition, taking advantage of NN discriminative property and HMM representational capabilit...
Abdul Rahim Ahmad, Christian Viard-Gaudin, Marzuki...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
14 years 3 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
AAAI
2006
15 years 9 months ago
Merging Stratified Knowledge Bases under Constraints
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
Guilin Qi, Weiru Liu, David A. Bell
149
Voted
JSC
2006
83views more  JSC 2006»
15 years 7 months ago
Phylogenetic invariants for stationary base composition
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
Elizabeth S. Allman, John A. Rhodes
GLOBECOM
2006
IEEE
16 years 1 months ago
Blind Carrier Frequency Offset Estimation for OFDM/OQAM Systems Based on Subchannel Signals
Abstract— New blind carrier frequency offset (CFO) estimation methods based on the correlation function of the subchannel signals are presented for OFDM/OQAM systems. The propose...
Gang Lin, Lars Lundheim, Nils Holte