1177 search results - page 164 / 236 » A Theory of Role Composition |
191
click to vote
HT
2009
ACM
16 years 17 days ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
167
Voted
COMPSAC
2008
IEEE
16 years 15 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
179
click to vote
TPHOL
2008
IEEE
16 years 13 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
167
click to vote
CISS
2007
IEEE
16 years 12 days ago
2007
IEEE
— Assuming full channel state information (CSI) at both transmitter (CSIT) and receiver (CSIR), we consider optimizing a nonlinear MIMO transceiver with (nonlinear) decision feed...
143
click to vote
HICSS
2007
IEEE
16 years 11 days ago
2007
IEEE
In this paper we describe an interactive community bulletin board we installed within a neighborhood café and art gallery, and the interactions that take place around and through...