1149 search results - page 165 / 230 » What Are Iteration Theories |
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
CANDC
2009
ACM
14 years 3 months ago
2009
ACM
Analogy is a fundamental process of creativity. Biologically inspired design by definition entails crossdomain analogies, and in practice has led to many innovative designs. Thus,...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Many peer-to-peer (P2P) networks have been widely used for file sharing. A peer acts both as a content provider and a consumer, and is granted autonomy to decide what content, wit...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Prior research suggests people have trouble juggling effort across multiple projects with multiple partners. We investigated this problem, with an experiment where groups of four ...
ICCV
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper shows that structure from motion is NP-hard for most sensible cost functions when missing data is allowed. The result provides a fundamental limitation of what is possi...