2905 search results - page 314 / 581 » Formal Memetic Algorithms |
109
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
130
Voted
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
128
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
139
Voted
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
148
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...