1585 search results - page 255 / 317 » A framework for computer-aided validation |
114
click to vote
NIPS
1992
15 years 4 months ago
1992
In visual processing the ability to deal with missing and noisy information is crucial. Occlusions and unreliable feature detectors often lead to situations where little or no dir...
134
click to vote
TREC
2007
15 years 4 months ago
2007
We describe recent extensions to the Ephyra question answering (QA) system and their evaluation in the TREC 2007 QA track. Existing syntactic answer extraction approaches for fact...
124
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
122
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
138
click to vote
DAIS
2009
15 years 4 months ago
2009
Overlay networks have emerged as a powerful paradigm to realise a large range of distributed services. However, as the number of overlays grows and the systems that use them become...