Sciweavers

2036 search results - page 361 / 408
» From Sampling to Model Counting
Sort
View
COLT
2004
Springer
14 years 4 months ago
A Statistical Mechanics Analysis of Gram Matrix Eigenvalue Spectra
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
David C. Hoyle, Magnus Rattray
GECCO
2004
Springer
14 years 4 months ago
Real-Coded Bayesian Optimization Algorithm: Bringing the Strength of BOA into the Continuous World
This paper describes a continuous estimation of distribution algorithm (EDA) to solve decomposable, real-valued optimization problems quickly, accurately, and reliably. This is the...
Chang Wook Ahn, Rudrapatna S. Ramakrishna, David E...
ICFEM
2004
Springer
14 years 4 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
ICT
2004
Springer
194views Communications» more  ICT 2004»
14 years 4 months ago
Competitive Neural Networks for Fault Detection and Diagnosis in 3G Cellular Systems
We propose a new approach to fault detection and diagnosis in third-generation (3G) cellular networks using competitive neural algorithms. For density estimation purposes, a given ...
Guilherme De A. Barreto, João Cesar M. Mota...
SEM
2004
Springer
14 years 4 months ago
Supporting Generalized Context Interactions
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
Gregory Hackmann, Christine Julien, Jamie Payton, ...