2940 search results - page 351 / 588 » Relational Parametricity and Control |
140
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
The global search properties of heuristic search algorithms are not well understood. In this paper, we introduce a new metric, mobility, that quantifies the dispersion of local o...
161
click to vote
MKM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
199
click to vote
SPC
2005
Springer
16 years 1 days ago
2005
Springer
As Global Positioning System (GPS) receivers become a common feature in cell phones, personal digital assistants, and automobiles, there is a growing interest in tracking larger us...
147
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...
133
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...