10997 search results - page 1943 / 2200 » On the Structure of Complete Sets |
114
Voted
TCAD
2008
15 years 23 days ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
109
click to vote
INFORMATICALT
2007
15 years 23 days ago
2007
The objective of this research is to construct parallel models that simulate the behavior of artificial neural networks. The type of network that is simulated in this project is t...
123
Voted
TCS
2008
15 years 23 days ago
2008
Multicast and broadcast are efficient ways to deliver messages to a group of recipients in a network. Due to the growing security concerns in various applications, messages are oft...
117
click to vote
TEC
2008
15 years 23 days ago
2008
We propose the use of a new algorithm to solve multiobjective optimization problems. Our proposal adapts the well-known scatter search template for single objective optimization to...
95
Voted
TIP
2008
15 years 23 days ago
2008
Abstract--In this paper, we derive bounds on the structural similarity (SSIM) index as a function of quantization rate for fixed-rate uniform quantization of image discrete cosine ...