9719 search results - page 597 / 1944 » Inference for Multiplicative Models |
209
click to vote
ARGMAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
196
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...
162
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
188
Voted
AAAI
2008
15 years 9 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
177
click to vote
ICMLA
2007
15 years 8 months ago
2007
In modern business, educational, and other settings, it is common to provide a digital network that interconnects hardware devices for shared access by the users (e.g., in an ofï¬...