447 search results - page 9 / 90 » Towards Computability of Higher Type Continuous Data |
FODO
1993
Springer
13 years 10 months ago
1993
Springer
Abstract. Data storage systems are being called on to manage continuous media data types, such as digital audio and video. There is a demand by applications for \constrained-latenc...
CANDT
2009
13 years 10 months ago
2009
Information and Communication Technologies (ICT) become particularly relevant in contexts where place-based communities get dispersed and migrants look for ways to keep strong con...
CORR
2008
Springer
2008
Springer
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
13 years 6 months ago
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
IFL
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
TSMC
2008
13 years 6 months ago
2008
Abstract--Network intrusion detection aims at distinguishing the attacks on the Internet from normal use of the Internet. It is an indispensable part of the information security sy...