2989 search results - page 278 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
202
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
175
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
185
click to vote
TSMC
2010
15 years 1 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
189
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Image fusion is the process of extracting meaningful visual information from two or more images and combinining them to form one fused image. Image fusion is important within many...
175
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
Multiple-instance learning (MIL) is a generalization of the supervised learning problem where each training observation is a labeled bag of unlabeled instances. Several supervised ...