3922 search results - page 563 / 785 » Working Models for Uncertain Data |
120
Voted
STTT
2010
15 years 1 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 ...
140
click to vote
EMNLP
2009
15 years 1 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...
141
Voted
CVPR
2011
IEEE
14 years 11 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....
139
Voted
ADVSE
2010
14 years 10 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...
170
Voted
PPOPP
2011
ACM
14 years 6 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 ...