11808 search results - page 441 / 2362 » Isometries and Computability Structures |
202
Voted
ICDS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
169
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
192
click to vote
ECML
2007
Springer
16 years 29 days ago
2007
Springer
The problem of learning metrics between structured data (strings, trees or graphs) has been the subject of various recent papers. With regard to the specific case of trees, some a...
164
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
We explore the use of the developmental environment as a spatial constraint on a model of Artificial Embryogeny, applied to the growth of structural forms. A Deva model is used t...
198
click to vote
ICB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...