9931 search results - page 1554 / 1987 » Generative Modeling by PRISM |
237
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
219
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
226
click to vote
DAC
2006
ACM
15 years 9 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
208
click to vote
KDD
2010
ACM
15 years 9 months ago
2010
ACM
Linked or networked data are ubiquitous in many applications. Examples include web data or hypertext documents connected via hyperlinks, social networks or user profiles connected...
204
click to vote
DAGSTUHL
2010
15 years 9 months ago
2010
The segmentation of the myocardium based on the 17-segment model as recommended by the American Heart Association is widely used in medical practice. The patient-specific coronary...