Sciweavers

4716 search results - page 435 / 944
» Iterative-free program analysis
Sort
View
LR
2011
107views more  LR 2011»
14 years 9 months ago
Modeling and stability analysis of autonomously controlled production networks
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
Sergey Dashkovskiy, Michael Görges, Michael K...
BMCBI
2008
109views more  BMCBI 2008»
15 years 7 months ago
Merging microsatellite data: enhanced methodology and software to combine genotype data for linkage and association analysis
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...
Angela P. Presson, Eric M. Sobel, Paivi Pajukanta,...
MICCAI
2005
Springer
16 years 7 months ago
A Prediction Framework for Cardiac Resynchronization Therapy Via 4D Cardiac Motion Analysis
Abstract. We propose a novel framework to predict pacing sites in the left ventricle (LV) of a heart and its result can be used to assist pacemaker implantation and programming in ...
Heng Huang, Li Shen, Rong Zhang, Fillia Makedon, B...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Safe-commit analysis to facilitate team software development
Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy, such as "Program e...
Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Re...
ICLP
2009
Springer
16 years 7 months ago
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
Henning Christiansen, Ole Torp Lassen