5227 search results - page 368 / 1046 » Enterprise modeling using class and instance models |
158
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
134
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
In multi-agent MDPs, it is generally necessary to consider the joint state space of all agents, making the size of the problem and the solution exponential in the number of agents...
167
click to vote
IBPRIA
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. We compare two successful discriminative classification algorithms on three databases from the UCI and STATLOG repositories. The two approaches are the log-linear model ...
138
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
181
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
A statistical variational framework is proposed for the fetus and uterus segmentation in ultrasound images. The Rayleigh and exponential distributions are used to model the pixel ...