Sciweavers

12101 search results - page 374 / 2421
» Mutual Information Analysis
Sort
View
PLDI
2006
ACM
16 years 24 days ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
111
Voted
KES
2005
Springer
16 years 10 days ago
Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis
Jair Minoro Abe, Neli Regina Siqueira Ortega, Maur...
ELPUB
2003
ACM
16 years 2 days ago
Criteria For Analysis of the Structure of Electronic Scientific Journals
Maria Fernanda Sarmento e Souza, Miriam Celí...
CIKM
2009
Springer
15 years 10 months ago
Blog cascade affinity: analysis and prediction
Information propagation within the blogosphere is of much importance in implementing policies, marketing research, launching new products, and other applications. In this paper, w...
Hui Li, Sourav S. Bhowmick, Aixin Sun
CVHI
2007
15 years 8 months ago
Terrain Analysis for Blind Wheelchair Users: Computer Vision Algorithms for Finding Curbs and other Negative Obstacles
: We are developing computer vision algorithms for sensing important terrain features as an aid to wheelchair navigation, which interpret visual information obtained from images co...
James Coughlan, Huiying Shen