4359 search results - page 701 / 872 » Automated Pipeline Design |
DLOG
1996
14 years 11 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
89
Voted
GIS
2008
ACM
14 years 11 months ago
2008
ACM
The road network is one of the most important types of information on raster maps. In particular, the set of road intersection templates, which consists of the road intersection p...
104
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
103
click to vote
CSL
2006
Springer
14 years 10 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...
71
Voted
CI
2007
14 years 10 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...