1604 search results - page 77 / 321 » Development Separation in Lambda-Calculus |
132
Voted
PERCOM
2004
ACM
16 years 9 days ago
2004
ACM
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
68
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
77
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We develop a novel extension to the Ratio Semi-definite Classifier, a discriminative model formulated as a ratio of semi-definite polynomials. By adding a hidden layer to the m...
82
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
We consider a pilot-assisted interleave-division multiple access (IDMA) system transmitting over block-fading channels. We describe this system in terms of a factor graph and use ...
89
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper develops a weakly supervised algorithm that learns to segment rigid multi-colored objects from a set of training images and key points. The approach uses congealing to ...