Sciweavers

10055 search results - page 277 / 2011
» Structured programming using processes
Sort
View
HIPC
2004
Springer
15 years 5 months ago
Lock-Free Parallel Algorithms: An Experimental Study
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
Guojing Cong, David A. Bader
95
Voted
CPAIOR
2004
Springer
15 years 5 months ago
Stabilization Issues for Constraint Programming Based Column Generation
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
Louis-Martin Rousseau
ICDAR
2009
IEEE
15 years 7 months ago
The Understanding and Structure Analyzing for Online Handwritten Chemical Formulas
In this paper, we propose a novel approach for understanding and analyzing the online handwritten chemical formulas. With the structural characteristics, semantic rules, and more ...
Xin Wang, Guangshun Shi, Jufeng Yang
DAGM
2000
Springer
15 years 4 months ago
Structured Covariance Matrices for Statistical Image Object Recognition
Abstract. In this paper we present di erent approaches to structuring covariance matrices within statistical classi ers. This is motivated by the fact that the use of full covarian...
Jörg Dahmen, Daniel Keysers, Michael Pitz, He...
CSL
1995
Springer
15 years 4 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle