13383 search results - page 2547 / 2677 » Abstractions from proofs |
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
PODS
2010
ACM
14 years 3 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract. The following paper describes recent work on NED-2, an intelligent information system for ecosystem management currently in development by the USDA Forest Service. Using ...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...