3068 search results - page 80 / 614 » Separation Results on the |
165
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We show how the regularizer of Transductive Support Vector Machines (TSVM) can be trained by stochastic gradient descent for linear models and multi-layer architectures. The resul...
170
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents an optimization framework for the 3D reconstruction of the surfaces from stereo image pairs. The method is based on employing popular graph cut methods under th...
132
click to vote
COMPLEX
2009
Springer
15 years 7 months ago
2009
Springer
We consider collisions of moving breathers (MBs) in the Peyrard-Bishop DNA model. Two identical stationary breathers, separated by a fixed number of pair-bases, are perturbed and b...
197
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...
183
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...