6693 search results - page 890 / 1339 » Methods of Automatic Algorithm Generation |
135
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
116
click to vote
SIBGRAPI
2000
IEEE
15 years 9 months ago
2000
IEEE
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of s...
161
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
154
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
Flux coupling analysis is a method to identify blocked and coupled reactions in a metabolic network at steady state. We present a new approach to flux coupling analysis, which uses...
140
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...