2477 search results - page 447 / 496 » First-Order Interactive Programming |
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
Providing good education is one of the major challenges for humanity. In many developing regions in the world improving educational standards is seen as a central building block f...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
Pulitzer Prize-winning journalist Nicholas Kristof argues that “in this century the paramount moral challenge will be the struggle for gender equality around the world.” In th...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
CVPR
2007
IEEE
15 years 5 hour ago
2007
IEEE
We propose a novel MRF-based model for deformable image matching (also known as registration). The deformation is described by a field of discrete variables, representing displace...