15754 search results - page 823 / 3151 » Programs are Knowledge Bases |
194
click to vote
PERCOM
2009
ACM
16 years 2 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
221
click to vote
CSMR
2000
IEEE
16 years 1 days ago
2000
IEEE
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...
219
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
295
click to vote
FPCA
1995
15 years 11 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
167
click to vote
LFP
1990
15 years 8 months ago
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...