Sciweavers

1301 search results - page 45 / 261
» Specifications via Realizability
Sort
View
AAAI
2007
14 years 8 days ago
A Modular Action Description Language for Protocol Composition
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...
Nirmit Desai, Munindar P. Singh
MICCAI
2003
Springer
14 years 10 months ago
Quantification of Retinopathy of Prematurity via Vessel Segmentation
Retinopathy of prematurity is a disease that affects the eyes of many babies who are prematurely born. If the retinopathy is not detected in the days following birth, blindness may...
Julien Jomier, David K. Wallace, Stephen R. Aylwar...
ICML
2003
IEEE
14 years 10 months ago
Learning Metrics via Discriminant Kernels and Multidimensional Scaling: Toward Expected Euclidean Representation
Distance-based methods in machine learning and pattern recognition have to rely on a metric distance between points in the input space. Instead of specifying a metric a priori, we...
Zhihua Zhang
GAMEON
2008
13 years 11 months ago
Generating Emergent Team Strategies in Football Simulation Videogames via Genetic Algorithms
This paper defends the use of evolutionary algorithms to generate (and evolve) strategies that manage the behavior of a team in simulated football videogames. The chosen framework...
Antonio J. Fernández, Carlos Cotta, Rafael ...
UAIS
2008
121views more  UAIS 2008»
13 years 9 months ago
Evaluating a modified Google user interface via screen reader
: This paper describes the progress of a research project aimed at improving the usability of web search tools for blind users who interact via screen readers and voice synthesizer...
Barbara Leporini, Patrizia Andronico, Marina Buzzi...