3922 search results - page 563 / 785 » Working Models for Uncertain Data |
STTT
2010
14 years 9 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
EMNLP
2009
14 years 8 months ago
2009
Recently system combination has been shown to be an effective way to improve translation quality over single machine translation systems. In this paper, we present a simple and ef...
100
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Visual attributes expose human-defined semantics to object recognition models, but existing work largely restricts their influence to mid-level cues during classifier training....
ADVSE
2010
14 years 6 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
116
click to vote
PPOPP
2011
ACM
14 years 1 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...