1021 search results - page 179 / 205 » Fast Approximate PCPs |
116
click to vote
ICGI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
196
click to vote
PDPTA
2010
14 years 11 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
141
Voted
HVEI
2009
14 years 11 months ago
2009
The data model for image representation in terms of projective Fourier transform (PFT) is well adapted to both image perspective transformations and the retinotopic mappings of th...
135
click to vote
ICDM
2009
IEEE
14 years 11 months ago
2009
IEEE
The recent proliferation of graph data in a wide spectrum of applications has led to an increasing demand for advanced data analysis techniques. In view of this, many graph mining ...
124
Voted
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
In 3D Video (3DV) applications, a reduced number of views plus depth maps are transmitted or stored. When there is a need to render virtual views in between the actual views, the ...