886 search results - page 112 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
267
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Recent work has shown the importance of considering the adversary’s background knowledge when reasoning about privacy in data publishing. However, it is very difficult
for the d...
ATAL
2008
Springer
15 years 1 days ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
129
click to vote
TLDI
2010
ACM
15 years 7 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
ICARCV
2006
IEEE
15 years 4 months ago
2006
IEEE
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
103
click to vote
SECON
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Wireless interference is the major cause of degradation of capacity in 802.11 wireless networks. We present an approach to estimate the interference between nodes and lin...