110 search results - page 16 / 22 » Complexity Classes as Mathematical Axioms |
109
click to vote
IJCAI
2003
15 years 1 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
100
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
100
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
We address the alignment of a group of images with simultaneous
registration. Therefore, we provide further insights
into a recently introduced class of multivariate similarity
...
92
Voted
COMPGEOM
2009
ACM
15 years 6 months ago
2009
ACM
We describe the first algorithms to compute minimum cuts in surface-embedded graphs in near-linear time. Given an undirected graph embedded on an orientable surface of genus g, w...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...