4397 search results - page 169 / 880 » Relational Algebra Operations |
103
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
Reflecting the rapid growth of information technology, the configuration of software applications, such as word processors and spreadsheets, is both sophisticated and complicate...
99
Voted
IJBC
2007
15 years 3 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
143
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
123
Voted
IANDC
2006
15 years 3 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
132
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
In this work we evaluate a Particle Swarm Optimizer hybridized with Differential Evolution and apply it to the BlackBox Optimization Benchmarking for noiseless functions (BBOB 20...