11168 search results - page 64 / 2234 » Abstract State Processes |
144
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
85
Voted
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
117
Voted
NLDB
2010
Springer
15 years 8 months ago
2010
Springer
ICIP
2010
IEEE
2010
IEEE
An adaptive clustering and chrominance-based merging approach for image segmentation and abstraction
15 years 2 months ago
91
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
