549 search results - page 25 / 110 » Verification condition generation for conditional informatio... |
105
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we compare both discriminative and generative parameter learning on both discriminatively and generatively structured Bayesian network classifiers. We use either ma...
102
click to vote
ICDAR
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...
114
click to vote
HOTOS
1999
IEEE
15 years 4 months ago
1999
IEEE
Wide-area distributed applications are frequently limited by the performance of Internet data transfer. We argue that the principle cause of this effect is the poor interaction be...
123
Voted
IJCSA
2006
15 years 15 days ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
193
click to vote
POPL
2006
ACM
16 years 24 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...