712 search results - page 80 / 143 » Effective, Automatic Procedure Extraction |
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Structuring and mapping of a Boolean function is an important problem in the design of complex integrated circuits. Libraryaware constructive decomposition offers a solution to th...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a bottom-up approach for automatic cancer cell detection in multispectral microscopic thin Pap smear images. Around 4,000 multispectral texture features are explored fo...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we propose two effective methods to perform automatic template selection where the goal is to select prototype signature templates for a user from a given set of on...
GI
2007
Springer
15 years 4 months ago
2007
Springer
: A Bearing-Only TMA running on a submarine, which can exploit the crossbearing effect from sensors installed at different locations needs no own manouevre for convergence, if the ...