3047 search results - page 24 / 610 » Aggregation functions: Means |
117
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
115
Voted
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
118
Voted
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
152
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Evolution Strategies (ES) for black-box optimization of a function f : Rn → R are investigated. Namely, we consider the cumulative step-size adaptation (CSA) for the variance of...
116
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Protein structural alignment provides a fundamental basis for deriving principles of functional and evolutionary relationships. It is routinely used for structural cla...