2661 search results - page 129 / 533 » Model Checking Performability Properties |
164
Voted
BMVC
2010
15 years 1 months ago
2010
In this paper, we propose a framework for predicting the performance of a vision algorithm given the input image or video so as to maximize the algorithm's ability to provide...
108
Voted
ESANN
2008
15 years 5 months ago
2008
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
358
Voted
DAC
2012
ACM
13 years 6 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
122
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose a new scheduling algorithm for the overlapped message passing decoding, which can be applied to general low-density parity check (LDPC) codes. The partia...
105
Voted
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...