1564 search results - page 41 / 313 » Extensions to the Estimation Calculus |
199
click to vote
CEC
2010
IEEE
14 years 5 months ago
2010
IEEE
— This paper presents Evolutionary Optimization Tool (Evoptool), an optimization toolkit that implements a set of meta-heuristics based on the Evolutionary Computation paradigm. ...
MOC
2000
15 years 1 months ago
2000
The objective of this paper is to introduce a general scheme for deriving a posteriori error estimates by using duality theory of the calculus of variations. We consider variationa...
104
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
138
click to vote
CLEIEJ
2006
15 years 2 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
112
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
A design process is presented for the selection of a set of instruction set extensions for the PowerPC 405 processor that is embedded into the Xilinx Virtex Family of FPGAs. The i...