27119 search results - page 5016 / 5424 » Languages |
185
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
185
click to vote
INFSOF
2002
15 years 6 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
193
click to vote
DKE
1998
15 years 6 months ago
1998
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...
141
click to vote
IEEEMM
1998
15 years 6 months ago
1998
ract syntax notation ATM asynchronous transfer mode CCETT Centre Commun d’Etudes de Télédiffusion et Télécommunications Davic Digital Audio Visual Council DSMCC Digital Stora...
132
click to vote
JAR
2002
15 years 6 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...