12459 search results - page 189 / 2492 » cans 2006 |
183
click to vote
ACOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
178
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
129
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Importance sampling (IS) is the most widely used efficiency improvement method for rare-event simulation. When estimating the probability of a rare event, the IS estimator is the ...
134
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Causal modeling, such as noisy-OR, reduces probability parameters to be acquired in constructing a Bayesian network. Multiple causes can reinforce each other in producing...
143
Voted
APCCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper considers z-domain transfer functions whose denominator polynomial possesses the property that the coefficient of zi is greater than the coefficient of zi-1 . Such trans...