620 search results - page 24 / 124 » Likelihood Computations Using Value Abstraction |
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Using a neural network-fuzzy logic-genetic algorithm approach we generate an optimal predictor for biological activities of HIV-1 protease potential inhibitory compound...
CVBIA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Digital subtraction angiography (DSA) reconstructions and 3D Magnetic Resonance Angiography (MRA) are the modalities of choice for diagnosis of vascular diseases. However...
SETN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper elaborates on an efficient approach for clustering discrete data by incrementally building multinomial mixture models through likelihood maximization using the...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
A computationally efficient algorithm is proposed to remove noise impulses from speech and audio signals while retaining its features and tonal quality. The proposed method is bas...