3864 search results - page 626 / 773 » time 2005 |
165
click to vote
VMCAI
2005
Springer
16 years 14 days 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 ...
195
Voted
WABI
2005
Springer
16 years 14 days 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...
200
Voted
WAC
2005
Springer
16 years 14 days 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...
178
click to vote
WAC
2005
Springer
16 years 14 days 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...
174
Voted
WADS
2005
Springer
16 years 14 days 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....