7055 search results - page 1047 / 1411 » Some New 4-Designs |
149
click to vote
FINTAL
2006
15 years 11 months ago
2006
We present Ord i Dag, a new service that displays today's most important keywords. These are extracted fully automatically from Norwegian online newspapers. Describing the com...
212
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
224
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
180
Voted
GD
2006
Springer
15 years 11 months ago
2006
Springer
Circular graph layout is a drawing scheme where all nodes are placed on the perimeter of a circle. An inherent issue with circular layouts is that the rigid restriction on node pla...
193
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Genetic Algorithm (GA) is known as a potent multiobjective optimization method, and the effectiveness of hybridizing it with local search (LS) has recently been reported in the li...