1205 search results - page 189 / 241 » Program Extraction from Large Proof Developments |
119
click to vote
EVOW
2010
Springer
15 years 4 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...
103
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
110
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
112
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Data clustering analysis has been extensively applied to extract information from gene expression profiles obtained with DNA microarrays. To this aim, existing cluster...
104
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...