3719 search results - page 185 / 744 » order 2010 |
124
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
157
Voted
CIAC
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the relationship between two kinds of vertex colorings of graphs: uniquemaximum colorings and conflict-free colorings. In a unique-maximum coloring, the colors are ...
158
click to vote
PROPOR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
122
click to vote
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
Divide-and-Evolve (DaE) is an original "memeticization" of Evolutionary Computation and Artificial Intelligence Planning. DaE optimizes either the number of actions, or t...
121
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...