Sciweavers

16994 search results - page 300 / 3399
» Improving the Performance of maxRPC
Sort
View
CAISE
2009
Springer
16 years 1 months ago
Pattern Mining in System Logs: Opportunities for Process Improvement
Enterprise systems implementations are often accompanied by changes in the business processes of the organizations in which they take place. However, not all the changes are desira...
Dolev Mezebovsky, Pnina Soffer, Ilan Shimshoni
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
IROS
2008
IEEE
97views Robotics» more  IROS 2008»
16 years 1 months ago
Using reference objects to improve vision-based bearing measurements
— Robots perceiving its environment using cameras usually need a good representation of how the camera is aligned to the body and how the camera is rotated relative to the ground...
Heinrich Mellmann, Matthias Jüngel, Michael S...
168
Voted
ISDA
2008
IEEE
16 years 1 months ago
Inertia-Adaptive Particle Swarm Optimizer for Improved Global Search
This paper describes a method for improving the final accuracy and the convergence speed of Particle Swarm Optimization (PSO) by adapting its inertia factor in the velocity updati...
Kaushik Suresh, Sayan Ghosh, Debarati Kundu, Abhir...