490 search results - page 35 / 98 » Automated Generalization of Translation Examples |
102
Voted
ER
2005
Springer
15 years 6 months ago
2005
Springer
We discuss the main features of a multilevel dictionary based on a metamodel approach. The application is an implementation of ModelGen, the model management operator that translat...
99
Voted
ER
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
84
Voted
IWFM
1998
15 years 1 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
92
Voted
MOR
2006
15 years 14 days ago
2006
: We study general state-space Markov chains that depend on a parameter, say, . Sufficient conditions are established for the stationary performance of such a Markov chain to be di...
116
click to vote
ILP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper introduces Deft, a new multitask learning approach for rule learning algorithms. Like other multitask learning systems, the one proposed here is able to improv...