Sciweavers

726 search results - page 86 / 146
» A Framework for Constraint Programming Based Column Generati...
Sort
View
ICCV
2007
IEEE
14 years 3 months ago
A Multi-Image Restoration Method for Image Reconstruction from Projections
in Proc. IEEE Int’l Conf. on Computer Vision (ICCV), October, 2007 Traditional Bayesian restoration methods depend heavily on the accuracy of underlying generative models. For t...
Yunqiang Chen, Lin Cheng, Tong Fang, Rainer Raupac...
INFORMS
2010
145views more  INFORMS 2010»
13 years 7 months ago
An Automated Intensity-Modulated Radiation Therapy Planning System
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
Shabbir Ahmed, Ozan Gozbasi, Martin W. P. Savelsbe...
BMCBI
2008
158views more  BMCBI 2008»
13 years 9 months ago
Real value prediction of protein solvent accessibility using enhanced PSSM features
Background: Prediction of protein solvent accessibility, also called accessible surface area (ASA) prediction, is an important step for tertiary structure prediction directly from...
Darby Tien-Hao Chang, Hsuan-Yu Huang, Yu-Tang Syu,...
ICLP
1997
Springer
14 years 1 months ago
Automatic Termination Analysis of Logic Programs
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
Naomi Lindenstrauss, Yehoshua Sagiv
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
14 years 3 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale