2766 search results - page 503 / 554 » Hybridizing a Logical Framework |
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
COLT
1999
Springer
14 years 2 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
IDMS
1999
Springer
14 years 2 months ago
1999
Springer
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
CP
1998
Springer
14 years 2 months ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...