2891 search results - page 17 / 579 » More or Less Elaborate |
ICFP
2002
ACM
15 years 10 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
Network security is gravitating towards more centralized control. Strong centralization places a heavy burden on the administrator who has to manage complex security policies and ...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
HIPC
2007
Springer
15 years 4 months ago
2007
Springer
Many real-world applications like Video-On-Demand (VOD) and Web servers require prompt responses to access requests. However, with an explosive increase of data volume and the emer...