21319 search results - page 542 / 4264 » An Approach for Method Reengineering |
163
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We are studying the genetic influence on rates of age related muscle degeneration in C. elegans. For this, we built pattern recognition tools to calculate a morphological score gi...
205
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
In the automatic design of custom instruction set processors, there can be a very large set of potential custom instructions, from which a few instructions are required to be chos...
176
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Supply voltage fluctuations that result from inductive noise are increasingly troublesome in modern microprocessors. A voltage “emergency”, i.e., a swing beyond tol...
212
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
192
click to vote
ACMSE
2009
ACM
16 years 1 months ago
2009
ACM
The mining of frequent sequential patterns has been a hot and well studied area—under the broad umbrella of research known as KDD (Knowledge Discovery and Data Mining)— for we...