4112 search results - page 345 / 823 » Efficient Algorithms for the Spoonerism Problem |
232
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
168
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
A recent trend in exemplar based unsupervised learning is to formulate the learning problem as a convex optimization problem. Convexity is achieved by restricting the set of possi...
187
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
162
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Estimating planar projective transform (homography) from a pair of images is a classical problem in computer vision. In this paper, we propose a novel algorithm for direct register...
223
click to vote
IHI
2010
15 years 1 months ago
2010
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...