Sciweavers

2914 search results - page 581 / 583
» Knowledge, management, and knowledge management in business ...
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
13 years 8 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
INFSOF
2010
107views more  INFSOF 2010»
13 years 8 months ago
A systematic review on strategic release planning models
Context. Strategic release planning (sometimes referred to as road-mapping) is an important phase of the requirements engineering process performed at product level. It is concern...
Mikael Svahnberg, Tony Gorschek, Robert Feldt, Ric...
TMI
2010
217views more  TMI 2010»
13 years 5 months ago
A Generative Model for Image Segmentation Based on Label Fusion
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
Mert R. Sabuncu, B. T. Thomas Yeo, Koenraad Van Le...
CORR
2011
Springer
136views Education» more  CORR 2011»
13 years 2 months ago
Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers
Scoring rules for eliciting expert predictions of random variables are usually developed assuming that experts derive utility only from the quality of their predictions (e.g., sco...
Craig Boutilier
BMCBI
2011
13 years 2 months ago
Computable visually observed phenotype ontological framework for plants
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
Jaturon Harnsomburana, Jason M. Green, Adrian S. B...