Sciweavers

12825 search results - page 116 / 2565
» Improved PLSOM algorithm
Sort
View
CAISE
2009
Springer
15 years 11 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
135
Voted
FROCOS
2009
Springer
15 years 11 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
15 years 11 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
ICDCSW
2007
IEEE
15 years 11 months ago
Using a Context Quality Measure for Improving Smart Appliances
Many Ubicomp appliances require the recognition of context. Existing context systems do not provide information about the quality of the context recognizied to the appliance at ru...
Martin Berchtold, Christian Decker, Till Riedel, T...
ICNSC
2007
IEEE
15 years 11 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