Sciweavers

6546 search results - page 151 / 1310
» Improving the Performance of the RISE Algorithm
Sort
View
FROCOS
2009
Springer
16 years 28 days ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
Stéphane Lescuyer, Sylvain Conchon
ICASSP
2008
IEEE
16 years 25 days ago
Symbol graph based discriminative training and rescoring for improved math symbol recognition
In the symbol recognition stage of online handwritten math expression recognition, the one-pass dynamic programming algorithm can produce high-quality symbol graphs in addition of...
Zhen Xuan Luo, Yu Shi, Frank K. Soong
ICNSC
2007
IEEE
16 years 21 days ago
Improved estimation for object localization via sensor networks
The paper addresses object localization via a distributed sensor network. A centralized estimation approach is undertaken along with a selective node activation strategy to ensure...
Alessio Benavoli, Luigi Chisci
PCM
2004
Springer
120views Multimedia» more  PCM 2004»
15 years 11 months ago
MULTFRC-LERD: An Improved Rate Control Scheme for Video Streaming over Wireless
Abstract. We propose the Loss Event Rate Discounting scheme to improve the performance of MULTFRC over wireless networks. In our MULTFRC-LERD scheme, each TFRC connection includes ...
Xiaolin Tong, Qingming Huang
DOCENG
2003
ACM
15 years 11 months ago
Accuracy improvement of automatic text classification based on feature transformation
In this paper, we describe a comparative study on techniques of feature transformation and classification to improve the accuracy of automatic text classification. The normalizati...
Guowei Zu, Wataru Ohyama, Tetsushi Wakabayashi, Fu...