4353 search results - page 209 / 871 » Expressiveness of Process Algebras |
230
click to vote
ISSAC
2004
Springer
16 years 16 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
214
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
198
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Although AdaBoost has achieved great success, it still suffers from following problems: (1) the training process could be unmanageable when the number of features is extremely ...
214
click to vote
ACAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
204
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- High-throughput microarrays inform us on different outlooks of the molecular mechanisms underlying the function of cells and organisms. While computational analysis for ...