4287 search results - page 250 / 858 » Minimal Mental Models |
250
click to vote
CAD
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a robust and efficient surface flattening approach based on fitting a woven-like mesh model on a 3D freeform surface. The fitting algorithm is based on tendon ...
199
click to vote
TCS
2002
15 years 7 months ago
2002
In a heap model, solid blocks, or pieces, pile up according to the Tetris game mechanism. An optimal schedule is an in nite sequence of pieces minimizing the asymptotic growth rat...
283
click to vote
WRLA
2010
15 years 5 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
174
click to vote
AAAI
2010
15 years 5 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
237
click to vote
ICIG
2009
IEEE
15 years 5 months ago
2009
IEEE
Optical flow estimation is one of the main subjects in computer vision. Many methods developed to compute the motion fields are built using standard heuristic formulation. In this...