1330 search results - page 110 / 266 » No Classic Boundary Conditions |
433
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
157
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
A new method for the blind separation of linear image mixtures is presented in this paper. Such mixtures often occur, when, for example, we photograph a scene through a semireflec...
149
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Knowing which edges in an image denote shadow edges and which are due to object boundaries or changes in surface reflectance has important applications in both computer vision and...
139
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Virtually all implementations of simulated annealing are simplified by assuming discrete unknowns, however continuous-parameter annealing has many potential applications to image ...
150
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a compact representation for human action recognition in videos using line and optical flow histograms. We introduce a new shape descriptor based on the distribution of...