5630 search results - page 248 / 1126 » Computability in Specification |
134
Voted
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We describe a framework for quantifying color image distortion based on an adaptive signal decomposition. Specifically, local blocks of the image error are decomposed using a set ...
144
Voted
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
145
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Point processes are difficult to analyze because they provide only a sparse and noisy observation of the intensity function driving the process. Gaussian Processes offer an attrac...
155
Voted
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
159
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...