149 search results - page 21 / 30 » Model Checking Sum and Product |
95
Voted
ICCV
2001
IEEE
16 years 2 months ago
2001
IEEE
We introduce `Joint Feature Distributions', a general statistical framework for feature based multi-image matching that explicitly models the joint probability distributions ...
94
Voted
CORR
2007
Springer
15 years 12 days ago
2007
Springer
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
148
Voted
POST
2012
13 years 8 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
106
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
ENTCS
2006
15 years 13 days ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...