86 search results - page 11 / 18 » Automating ad hoc data representation transformations |
169
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
74
Voted
ISMB
1996
15 years 5 days ago
1996
Virtually all large-scale sequencing projects use automatic sequence-assembly programs to aid in the determination of DNA sequences. The computer-generated assemblies require subs...
ILP
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
124
Voted
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
62
Voted
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...