Sciweavers

1359 search results - page 144 / 272
» Probabilistic Points-to Analysis
Sort
View
ECML
2006
Springer
15 years 1 months ago
Batch Classification with Applications in Computer Aided Diagnosis
Abstract. Most classification methods assume that the samples are drawn independently and identically from an unknown data generating distribution, yet this assumption is violated ...
Volkan Vural, Glenn Fung, Balaji Krishnapuram, Jen...
IMA
1995
Springer
97views Cryptology» more  IMA 1995»
15 years 1 months ago
A New Algorithm for Finding Minimum-Weight Words in Large Linear Codes
An algorithm for finding small-weight words in large linear codes is developed and a precise analysis of its complexity is given. It is in particular able to decode random [512,256...
Anne Canteaut
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 1 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
BMVC
2002
15 years 10 days ago
Improving architectural 3D reconstruction by plane and edge constraining
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...
H. Cantzler, Robert B. Fisher, Michel Devy
IIR
2010
14 years 11 months ago
An Empirical Comparison of Collaborative Filtering Approaches on Netflix Data
Recommender systems are widely used in E-Commerce for making automatic suggestions of new items that could meet the interest of a given user. Collaborative Filtering approaches co...
Nicola Barbieri, Massimo Guarascio, Ettore Ritacco