3116 search results - page 215 / 624 » Positively dependent types |
130
Voted
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—Geographic routing protocols like GOAFR or GPSR rely on exact location information at the nodes, because when the greedy routing phase gets stuck at a local minimum, they requir...
155
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
169
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— The effectiveness of cluster-based distributed sensor networks depends to a large extent on the coverage provided by the sensor deployment. We propose a virtual force algorithm...
127
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper compares two grammar based Evolutionary Automatic Programming methods, Grammatical Evolution (GE) and Chorus. Both systems evolve sequences of derivation rules...
144
click to vote
FCT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present an algorithm for asymptotically efficient multiway blockwise in-place merging. Given an array A containing sorted subsequences A1, . . . , Ak of respective le...