2324 search results - page 308 / 465 » Benchmark Generation Using Domain Specific Modeling |
96
Voted
ECML
1991
Springer
15 years 1 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...
87
Voted
ICS
1999
Tsinghua U.
15 years 2 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
96
Voted
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
98
Voted
PRL
2008
14 years 10 months ago
2008
In this paper, the automatic medical annotation task of the 2007 CLEF cross-language image retrieval campaign (ImageCLEF) is described. The paper focusses on the images used, the ...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...