1134 search results - page 196 / 227 » Distributed Proving in Access-Control Systems |
139
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
121
click to vote
ICCV
2005
IEEE
16 years 3 months ago
2005
IEEE
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and p...
217
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Self-managing solutions have recently attracted a lot of interest from the database community. The need for self-* properties is more evident in distributed applications comprising...
108
click to vote
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
We consider the exploration/exploitation problem in reinforcement learning (RL). The Bayesian approach to model-based RL offers an elegant solution to this problem, by considering...
214
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...