11168 search results - page 64 / 2234 » Abstract State Processes |
131
Voted
VMCAI
2010
Springer
15 years 11 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...
IJCNLP
2005
Springer
15 years 8 months ago
2005
Springer
106
Voted
NLDB
2010
Springer
15 years 7 months ago
2010
Springer
ICIP
2010
IEEE
2010
IEEE
An adaptive clustering and chrominance-based merging approach for image segmentation and abstraction
15 years 15 days ago
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
