Sciweavers

1236 search results - page 46 / 248
» The Problems of Data Modeling in Software Practice
Sort
View
135
Voted
IPMU
2010
Springer
15 years 1 months ago
Approximation of Data by Decomposable Belief Models
It is well known that among all probabilistic graphical Markov models the class of decomposable models is the most advantageous in the sense that the respective distributions can b...
Radim Jirousek
129
Voted
KBSE
2009
IEEE
15 years 10 months ago
Loopfrog: A Static Analyzer for ANSI-C Programs
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
Daniel Kroening, Natasha Sharygina, Stefano Tonett...
ECOOP
1994
Springer
15 years 7 months ago
Product Configurations - An Application for Prototype Object Approach
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
Hannu Peltonen, Tomi Männistö, Kari Alho...
147
Voted
BMCBI
2011
14 years 7 months ago
PI: An open-source software package for validation of the SEQUEST result and visualization of mass spectrum
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...
Yantao Qiao, Hong Zhang, Dongbo Bu, Shiwei Sun
125
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
Utilising Located Functions to Model and Optimise Distributed Computations
With developments in Grid computing and Web based data storage the task of orchestrating computations is becoming ever more difficult. Identifying which of the available computati...
Stephen Crouch, Peter Henderson, Robert John Walte...