5550 search results - page 990 / 1110 » Different Approaches to Proof Systems |
141
click to vote
CN
2002
15 years 6 months ago
2002
End-to-end QoS requires mapping of QoS between heterogeneous subnetworks of the end-to-end path. For this mapping to be accurate, we argue, in this paper, that it should be based ...
179
click to vote
ENTCS
2002
15 years 6 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
173
click to vote
IVC
2000
15 years 6 months ago
2000
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
162
click to vote
NN
2000
Springer
15 years 6 months ago
2000
Springer
We address two issues in Evolutionary Robotics, namely the genetic encoding and the performance criterion, also known as fitness function. For the first aspect, we suggest to enco...
142
click to vote
CN
1999
15 years 6 months ago
1999
A Partial Order and partial reliable Connection (POC) is an end-to-end transport connection authorized to deliver objects in an order that can differ from the transmitted one. Such...