8025 search results - page 482 / 1605 » Combinators Introduction: An Algorithm |
188
click to vote
JEC
2006
15 years 7 months ago
2006
Many applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). In our previous work, we proposed a ...
188
click to vote
NN
2006
Springer
15 years 7 months ago
2006
Springer
Modular model is a particular type of committee machine and is comprised of a set of specialized (local) models each of which is responsible for a particular region of the input s...
199
click to vote
PRL
2006
15 years 7 months ago
2006
In this paper a heuristic segmentation algorithm is presented based on the oversegmentation of an image. The method uses a set of different segmentations of the image produced pre...
240
click to vote
PVLDB
2008
15 years 6 months ago
2008
Keyword search on graph structured data has attracted a lot of attention in recent years. Graphs are a natural "lowest common denominator" representation which can combi...
218
click to vote
ICCAD
2010
IEEE
15 years 5 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...