3388 search results - page 495 / 678 » Type-theoretic design patterns |
181
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
194
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
185
click to vote
WABI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With Next Generation Sequencers, sequence based transcriptomic or epigenomic assays yield millions of short sequence reads that need to be mapped back on a reference geno...
171
click to vote
CIARP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
188
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...