2343 search results - page 46 / 469 » Visual-Concept Search Solved |
116
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
121
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Classical Evolutionary Programming (CEP) and Fast Evolutionary Programming (FEP) have been applied to realvalued function optimisation. Both of these techniques directly evolve th...
168
Voted
BICOB
2010
Springer
15 years 5 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
129
click to vote
AIPS
2010
15 years 2 months ago
2010
Efficient management and propagation of temporal constraints is important for temporal planning as well as for scheduling. During plan development, new events and temporal constra...
99
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...