5754 search results - page 91 / 1151 » Multi-class Model M |
114
Voted
ECBS
2000
IEEE
15 years 8 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
117
Voted
ANLP
1997
15 years 5 months ago
1997
This paper presents a statistical, learned approach to finding names and other nonrecursive entities in text (as per the MUC-6 definition of the NE task), using a variant of the s...
147
Voted
EVOW
2004
Springer
15 years 9 months ago
2004
Springer
A Digital Waveguide Mesh is introduced as a method for acoustic modelling. Genetic Algorithms are applied to evolve the structure of a mesh to simulate the human throat and mouth, ...
139
click to vote
PKC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we provide the first committed signature provably secure in the standard complexity model based on the strong RSA assumption. The idea behind the construc...
MICCAI
2002
Springer
16 years 5 months ago
2002
Springer
Visualization of medical data requires the extraction of surfaces that represent the boundaries of objects of interest. This paper describes a method that combines finding these bo...