8699 search results - page 260 / 1740 » Elements of the Theory of Computation |
156
click to vote
IMR
2004
Springer
16 years 1 days ago
2004
Springer
We compare inexact Newton and coordinate descent methods for optimizing the quality of a mesh by repositioning the vertices, where quality is measured by the harmonic mean of the ...
170
click to vote
BMVC
2002
15 years 9 months ago
2002
The wide-baseline stereo problem, i.e. the problem of establishing correspondences between a pair of images taken from different viewpoints is studied. A new set of image elements...
223
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
300
click to vote
Publication
Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results
178
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...