3820 search results - page 335 / 764 » Bounded Model Debugging |
123
click to vote
COMAD
2008
15 years 6 months ago
2008
Role-based access control (RBAC) has attracted considerable research interest. However, the computational issues of RBAC models are yet to be thoroughly studied. In this paper, we...
169
click to vote
UAI
2004
15 years 5 months ago
2004
Exponential models of distributions are widely used in machine learning for classification and modelling. It is well known that they can be interpreted as maximum entropy models u...
127
click to vote
NIPS
1998
15 years 5 months ago
1998
The kernel-parameter is one of the few tunable parameters in Support Vector machines, controlling the complexity of the resulting hypothesis. Its choice amounts to model selection...
150
click to vote
JAIR
2008
15 years 4 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
157
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...