Sciweavers

3808 search results - page 178 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
CCIA
2007
Springer
15 years 10 months ago
An efficient estimation function for the crew scheduling problem
In this paper we explain an estimation function for the crew scheduling problem in the coach transportation domain. Thanks to this function we obtain an estimation that is very clo...
Javier Murillo, Beatriz López
EVOW
2007
Springer
15 years 10 months ago
Multiclass Object Recognition Based on Texture Linear Genetic Programming
This paper presents a linear genetic programming approach, that solves simultaneously the region selection and feature extraction tasks, that are applicable to common image recogni...
Gustavo Olague, Eva Romero, Leonardo Trujillo, Bir...
AIMSA
2006
Springer
15 years 10 months ago
Using Verbs to Characterize Noun-Noun Relations
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
Preslav Nakov, Marti A. Hearst
AISC
2006
Springer
15 years 10 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan
ECAI
2004
Springer
15 years 10 months ago
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
Floris Roelofsen, Luciano Serafini, Alessandro Cim...