11397 search results - page 279 / 2280 » A Relational Abstraction for Functions |
195
click to vote
DASFAA
2004
IEEE
15 years 11 months ago
2004
IEEE
Abstract. Certain types of database-backed web sites heavily utilize userdefined functions in SQL queries. Unfortunately, existing web proxy caching schemes can not handle these fu...
179
click to vote
FPLE
1995
15 years 11 months ago
1995
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
177
click to vote
SCP
1998
15 years 7 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
208
click to vote
ECSQARU
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. When merging belief functions, Dempster rule of combination is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual ...
326
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...