884 search results - page 95 / 177 » Implementation of the MLP Kernel |
SAS
2009
Springer
14 years 10 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechani...
IWMM
2009
Springer
14 years 4 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
BMEI
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a comparison of texture based and color and position based methods for polyp detection in endoscopic video images. Two methods for texture feature extraction t...