1306 search results - page 55 / 262 » A Diagrammatic Approach to Model Completion |
83
Voted
ACSD
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
210
Voted
ICCV
2011
IEEE
14 years 17 days ago
2011
IEEE
We present a hierarchical model that learns image decompositions via alternating layers of convolutional sparse coding and max pooling. When trained on natural images, the layers ...
165
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
We recast the Cosegmentation problem using Random Walker (RW) segmentation as the core segmentation algorithm, rather than the traditional MRF approach adopted in the literature s...
106
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
101
click to vote
BMCBI
2010
15 years 20 days ago
2010
Background: Complex diseases are multifactorial traits caused by both genetic and environmental factors. They represent the major part of human diseases and include those with lar...