1076 search results - page 149 / 216 » Supporting Design Patterns with Annotations |
134
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several ...
131
Voted
SIGOPS
2010
15 years 1 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
135
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
143
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Anomaly detection for network intrusion detection is usually considered an unsupervised task. Prominent techniques, such as one-class support vector machines, learn a hypersphere ...
118
Voted
AIED
2009
Springer
15 years 9 months ago
2009
Springer
While many computer tutoring systems have long been delivered as desktop applications, these systems have only recently begun to appear on mobile devices. In this work we apply pri...