1199 search results - page 143 / 240 » Automated Extraction of Problem Structure |
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
BMCBI
2004
13 years 9 months ago
2004
Background: Profile-based analysis of multiple sequence alignments (MSA) allows for accurate comparison of protein families. Here, we address the problems of detecting statistical...
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
Both example-based and model-based approaches for classifying contour shapes can encounter difficulties when dealing with classes that have large nonlinear variability, especially...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...