2375 search results - page 304 / 475 » Towards a Theory of Services |
173
click to vote
APIN
2004
15 years 6 months ago
2004
The price of electrical energy in Spain has not been regulated by the government since 1998, but determined by the supply from the generators in a competitive market, the so-called...
207
click to vote
TCS
1998
15 years 6 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
153
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Aerial robots are often required to remain within the communication range of a base station on the ground to exchange commands, sensor data or as a safety mechanism. For this...
175
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
181
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
We deepen the theoretical analysis of the genetic algorithm for the all-pairs shortest path problem proposed by Doerr, Happ and Klein (GECCO 2008). We show that the growth of the ...