3864 search results - page 626 / 773 » time 2005 |
123
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
146
click to vote
WABI
2005
Springer
15 years 9 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
145
click to vote
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
125
click to vote
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
133
click to vote
WADS
2005
Springer
15 years 9 months ago
2005
Springer
We analyze the performance of simple algorithms for matching two planar point sets under rigid transformations so as to minimize the directed Hausdorff distance between the sets....