10271 search results - page 1864 / 2055 » Self-plagiarism in computer science |
163
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
188
click to vote
DL
1998
Springer
15 years 10 months ago
1998
Springer
There are many technical challenges in designing the architecture of globally-distributed, federated digital libraries. This paper focuses on the problem of global resource discov...
159
click to vote
ERCIMDL
1998
Springer
15 years 10 months ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
173
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
138
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The value for decision making of high-quality postsolution analysis of decision-supporting models can hardly be overestimated. Candle-lighting analysis (CLA) takes this notion ver...