6343 search results - page 1137 / 1269 » Development of a Cartographic Language |
100
click to vote
SMI
2010
IEEE
14 years 8 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
101
click to vote
TAP
2010
Springer
14 years 8 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
129
click to vote
WISE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
ACL
2009
14 years 7 months ago
2009
Minimum Error Rate Training (MERT) and Minimum Bayes-Risk (MBR) decoding are used in most current state-of-theart Statistical Machine Translation (SMT) systems. The algorithms wer...
114
click to vote
BPM
2009
Springer
14 years 7 months ago
2009
Springer
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...