2016 search results - page 371 / 404 » Megamaps: Construction and Examples |
ICML
2008
IEEE
14 years 10 months ago
2008
IEEE
Inspired by co-training, many multi-view semi-supervised kernel methods implement the following idea: find a function in each of multiple Reproducing Kernel Hilbert Spaces (RKHSs)...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
In this paper we introduce the idea of organizing systems. Through a number of examples from an ongoing ethnographic study of family life, we suggest that organizing systems come ...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...