645 search results - page 63 / 129 » Pure patterns type systems |
CIKM
2004
Springer
15 years 5 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
127
click to vote
ASWSD
2006
Springer
15 years 3 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
80
Voted
FLAIRS
2004
15 years 1 months ago
2004
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
141
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...