293 search results - page 55 / 59 » Advances in Probabilistic Model Checking |
118
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
126
click to vote
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
DAM
2008
14 years 11 months ago
2008
We report on ideas, problems and results, which occupied us during the past decade and which seem to extend the frontiers of information theory in several directions. The main con...
123
click to vote
EC
2006
14 years 11 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
110
click to vote
FIMH
2009
Springer
14 years 9 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...