2757 search results - page 237 / 552 » On separating systems |
172
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
171
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
— In this paper, we consider the transmission of a Gaussian source in a multi-relay cooperative network, where limited channel state feedback is combined with separate source and...
155
click to vote
INTERACT
2007
15 years 7 months ago
2007
Display environments for presentations are becoming diverse, and it is common to have multiple displays in the same room. We present a system to edit and give presentations using m...
171
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Web services have been widely employed to allow interoperability among applications and/or technologies. However, the standard technologies and protocols which provide the foundat...
181
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we describe a physical activity classification system using a body sensor network (BSN) consisting of costsensitive tri-axial accelerometers. We focus on workspace...