14331 search results - page 51 / 2867 » On the modeling and analysis of obligations |
125
click to vote
ICA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A nonparametric Bayesian extension of Independent Components Analysis (ICA) is proposed where observed data Y is modelled as a linear superposition, G, of a potentially i...
105
click to vote
WSC
2007
15 years 4 months ago
2007
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Edge detection depends not only upon the assumed model of what an edge is, but also on how this model is represented. The problem of how to represent the edge model is typically ne...
PADS
2006
ACM
15 years 7 months ago
2006
ACM
105
click to vote
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...