Sciweavers

6546 search results - page 151 / 1310
» Improving the Performance of the RISE Algorithm
Sort
View
FROCOS
2009
Springer
16 years 1 months 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 1 months 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 1 months 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»
16 years 5 days 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
16 years 2 days 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...