1515 search results - page 251 / 303 » On the relation of aspects and monads |
ASPDAC
2012
ACM
12 years 4 months ago
2012
ACM
— In this paper, we present an obstacle-aware clock tree synthesis method for through-silicon-via (TSV)-based 3D ICs. A unique aspect of this problem lies in the fact that variou...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
Is the real problem in resolving correspondence using current stereo algorithms the lack of the "right" matching criterion? In studying the related task of reconstructin...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Within the CHI community there is growing interest in moving beyond cognition and expanding into the social, emotional, and bodily aspects of the human-computer experience. Sex li...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...