Sciweavers

7426 search results - page 1175 / 1486
» The LHC Computing Challenge
Sort
View
TDSC
2008
152views more  TDSC 2008»
15 years 6 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
TITB
2008
152views more  TITB 2008»
15 years 6 months ago
Region of Interest and Multiresolution for Volume Rendering
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...
Sébastien Piccand, Rita Noumeir, Eric Paque...
JCB
2007
97views more  JCB 2007»
15 years 6 months ago
Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications
Accurate prediction of pseudoknotted nucleic acid secondary structure is an important computational challenge. Prediction algorithms based on dynamic programming aim to find a st...
Baharak Rastegari, Anne Condon
JCB
2007
92views more  JCB 2007»
15 years 6 months ago
Neighbor Joining Algorithms for Inferring Phylogenies via LCA Distances
Reconstructing phylogenetic trees efficiently and accurately from distance estimates is an ongoing challenge in computational biology from both practical and theoretical consider...
Ilan Gronau, Shlomo Moran
JEI
2007
199views more  JEI 2007»
15 years 6 months ago
New benchmark for image segmentation evaluation
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
Feng Ge, Song Wang, Tiecheng Liu
« Prev « First page 1175 / 1486 Last » Next »