Sciweavers

1353 search results - page 193 / 271
» Streamlined Constraint Reasoning
Sort
View
ESANN
2007
14 years 11 months ago
Kernel-based online machine learning and support vector reduction
We apply kernel-based machine learning methods to online learning situations, and look at the related requirement of reducing the complexity of the learnt classifier. Online meth...
Sumeet Agarwal, V. Vijaya Saradhi, Harish Karnick
IJCAI
2007
14 years 11 months ago
A Description Logic of Change
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
Alessandro Artale, Carsten Lutz, David Toman
NIPS
2008
14 years 11 months ago
An interior-point stochastic approximation method and an L1-regularized delta rule
The stochastic approximation method is behind the solution to many important, actively-studied problems in machine learning. Despite its farreaching application, there is almost n...
Peter Carbonetto, Mark Schmidt, Nando de Freitas
AAAI
2004
14 years 11 months ago
Automatic Generation of Artistic Chinese Calligraphy
We introduce a novel intelligent system which can generate new Chinese calligraphic artwork that meets certain aesthetic requirements automatically. In the machine learning phase,...
Songhua Xu, Francis C. M. Lau, Kwok-Wai Cheung, Yu...
AIIDE
2006
14 years 11 months ago
Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks
Flight simulators are becoming more sophisticated and realistic, and the requirements of those using them are becoming more demanding. Air traffic control simulation for such simu...
Russell Knight