3388 search results - page 456 / 678 » Type-theoretic design patterns |
163
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...
197
click to vote
CCS
2009
ACM
16 years 1 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 ...
155
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
203
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Through the algorthmic design patterns of data parallelism and task parallelism, the graphics processing unit (GPU) offers the potential to vastly accelerate discovery and innovat...
169
click to vote
AIED
2009
Springer
16 years 1 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...