289 search results - page 17 / 58 » Introducing Variability into Aspect-Oriented Modeling Approa... |
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
BMCBI
2010
14 years 9 months ago
2010
Background: Time-of-flight mass spectrometry (TOF-MS) has the potential to provide non-invasive, high-throughput screening for cancers and other serious diseases via detection of ...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
This paper focuses on modelling and visualisation of mineral shells of foraminifera (unicellular aquatic, mainly marine, organisms). Our recent model follows the moving reference a...
111
click to vote
SDM
2009
SIAM
15 years 6 months ago
2009
SIAM
We consider the task of performing anomaly detection in highly noisy multivariate data. In many applications involving real-valued time-series data, such as physical sensor data a...
JMLR
2010
14 years 4 months ago
2010
Supervised learning from multiple labeling sources is an increasingly important problem in machine learning and data mining. This paper develops a probabilistic approach to this p...