1984 search results - page 186 / 397 » Binary Component Adaptation |
140
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
119
click to vote
WSC
1998
15 years 5 months ago
1998
The United States Department of Defense's High Level Architecture for Modeling and Simulation (HLA) provides a standardized interface for distributed simulations. The recent ...
128
Voted
DAS
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a dynamic approach to document page segmentation based on inter-component relationships and their local features. State-of-the art page segmentation algorithms...
130
click to vote
MOC
2000
15 years 3 months ago
2000
A number of new local and parallel discretization and adaptive finite element algorithms are proposed and analyzed in this paper for elliptic boundary value problems. These algorit...
151
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
The expectation maximization (EM) algorithm is widely used in the Gaussian mixture model (GMM) as the state-of-art statistical modeling technique. Like the classical EM method, th...