1149 search results - page 92 / 230 » What Are Iteration Theories |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
ACMACE
2009
ACM
14 years 1 months ago
2009
ACM
How do games effect the way we problem solve, socialize, or even view the world? When we shoot do we learn to destroy obstacles instead of work around them? Does the binary world ...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Optical flow estimation requires spatial integration, which essentially poses a grouping question: what points belong to the same motion and what do not. Classical local approache...
GECCO
2011
Springer
13 years 12 days ago
2011
Springer
We introduce the Spacing Memetic Algorithm (SMA), a formal evolutionary model devoted to a systematic control of spacing (distances) among individuals. SMA uses search space dista...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
Most mobile navigation systems focus on answering the question, “I know where I want to go, now can you show me exactly how to get there?” While this approach works well for m...