3663 search results - page 385 / 733 » Problems in the ontology of computer programs |
149
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
185
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
We describe dynamic data structures for half-space range reporting and for maintaining the minima of a decomposable function. Using these data structures, we obtain efficient dyna...
178
click to vote
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
Gradiance On-Line Accelerated Learning GOAL is a system for creating and automatically grading homeworks, programming laboratories, and tests. Through the concept of root questi...
156
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
147
click to vote
IPL
2008
15 years 6 months ago
2008
In this paper, we show how we can derive lower bounds and also compute the exact distortion for the line embeddings of some special metrics, especially trees and graphs with certai...