Sciweavers

3872 search results - page 581 / 775
» The Java memory model
Sort
View
FMOODS
2008
15 years 3 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
PDCN
2004
15 years 3 months ago
K-Means VQ algorithm using a low-cost parallel cluster computing
It is well-known that the time and memory necessary to create a codebook from large training databases have hindered the vector quantization based systems for real applications. T...
Paulo Sergio Lopes de Souza, Alceu de Souza Britto...
WSC
2001
15 years 3 months ago
Managing event traces for a web front-end to a parallel simulation
To enhance the widespread use of a parallel supply chain simulator, a web front-end that enables access at any time and from any location has been developed. The front-end provide...
Boon-Ping Gan, Li Liu, Zhengrong Ji, Stephen John ...
PICS
1998
15 years 3 months ago
The Image Fidelity Assessor
In this paper we describe the Image FidelityAssessor (IFA), a model of the human visual system designed to evaluate perceived fidelity. In particular, we describe the structure of...
Christopher C. Taylor, Jan P. Allebach, Zygmunt Pi...
PR
2006
88views more  PR 2006»
15 years 2 months ago
Directional features in online handwriting recognition
The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linea...
Claus Bahlmann