3172 search results - page 280 / 635 » Combining Specification Techniques for Processes, Data and T... |
179
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
208
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Pancreatic cancer is the fourth leading cause of cancer death in the United States. Consequently, identification of clinically relevant biomarkers for the early detect...
150
click to vote
BMVC
2000
15 years 8 months ago
2000
We tackle the problem of object recognition using a Bayesian approach. A marked point process [1] is used as a prior model for the (unknown number of) objects. A sample is generat...
171
click to vote
COLING
2002
15 years 6 months ago
2002
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...
166
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe solutions how pixel-based visualization techniques can support the decision making process for investors on the financial market. We especially focus o...