1604 search results - page 77 / 321 » Development Separation in Lambda-Calculus |
PERCOM
2004
ACM
14 years 9 months 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...
BIRTHDAY
2009
Springer
14 years 4 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...
ICASSP
2009
IEEE
14 years 4 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...
ICASSP
2008
IEEE
14 years 4 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 ...
ICPR
2008
IEEE
14 years 4 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 ...