9133 search results - page 1586 / 1827 » Modelling perception using image processing algorithms |
157
Voted
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
157
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
141
click to vote
EMNLP
2009
15 years 1 months ago
2009
In this paper we address the problem of identifying a broad range of term variations in Japanese web search queries, where these variations pose a particularly thorny problem due ...
124
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
Two new algorithms are given for randomized consensus in a shared-memory model with an oblivious adversary. Each is based on a new construction of a conciliator, an object that gu...
148
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
In recent years the Markov Random Field (MRF) has
become the de facto probabilistic model for low-level vision
applications. However, in a maximum a posteriori
(MAP) framework, ...