226 search results - page 1 / 46 » Counting Models using Extension Rules |
AAAI
2007
13 years 7 months ago
2007
ICDCSW
2000
IEEE
13 years 9 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
INFORMATICALT
2002
13 years 5 months ago
2002
Abstract. Five methods for count data clusterization based on Poisson mixture models are described. Two of them are parametric, the others are semi-parametric. The methods emlploy ...
SAT
2005
Springer
13 years 10 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
SEC
2008
13 years 6 months ago
2008
The Session Initiation Protocol (SIP) has been used widely for Voice over IP (VoIP) service because of its potential advantages, economical efficiency and call setup simplicity. Ho...