2742 search results - page 334 / 549 » Deriving Category Theory from Type Theory |
ECIS
2001
13 years 10 months ago
2001
The paper presents a critical inquiry into the relationship between Computer-Mediated Communication (CMC) and progressive rationalisation in modern organisations. By drawing on th...
JSAC
2006
13 years 9 months ago
2006
In mobile wireless networks, dynamic allocation of resources such as transmit powers, bit-rates, and antenna beams based on the channel state information of mobile users is known t...
ICCV
1998
IEEE
14 years 11 months ago
1998
IEEE
Diffuse interreflections cause effects that make current theories of shape from shading unsatisfactory. We show that distant radiating surfaces produce radiosity effects at low sp...
ICIP
2008
IEEE
14 years 11 months ago
2008
IEEE
A progressive image compression scheme is investigated using reversible integer discrete cosine transform (RDCT) which is derived from the matrix factorization theory. Previous te...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...