1236 search results - page 181 / 248 » On the Hamkins approximation property |
CAV
2001
Springer
15 years 4 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
106
click to vote
COCO
2001
Springer
15 years 4 months ago
2001
Springer
Motivated by recent work on quantum black-box query complexity, we consider quantum versions of two wellstudied models of learning Boolean functions: Angluin’s model of exact le...
EMMCVPR
2001
Springer
15 years 4 months ago
2001
Springer
Most cost function based clustering or partitioning methods measure the compactness of groups of data. In contrast to this picture of a point source in feature space, some data sou...
APSEC
2000
IEEE
15 years 4 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
113
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
— In this paper we demonstrate how TCP congestion control can show chaotic behavior. We demonstrate the major features of chaotic systems in TCP/IP networks with examples. These ...