1253 search results - page 128 / 251 » order 2000 |
46
Voted
CSUR
2000
15 years 19 days ago
2000
Frameworks are the key to successful object-oriented application development. The goal of this paper is to show that successful framework development must match the business domai...
86
Voted
CORR
2002
Springer
15 years 19 days ago
2002
Springer
We report on a language resource consisting of 2000 annotated bibliography entries, which is being analyzed as part of our research on indicative document summarization. We show h...
120
click to vote
FAC
2000
15 years 19 days ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
JAIR
2000
15 years 18 days ago
2000
This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search technique...
105
Voted
JC
2000
15 years 18 days ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...