2661 search results - page 129 / 533 » Model Checking Performability Properties |
153
click to vote
BMVC
2010
15 years 20 days 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...
98
Voted
ESANN
2008
15 years 4 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...
347
Voted
DAC
2012
ACM
13 years 5 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 ...
112
click to vote
ICASSP
2008
IEEE
15 years 9 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...
98
Voted
SIGIR
2002
ACM
15 years 2 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...