2215 search results - page 396 / 443 » Rationality and Digital Technology |
SIGUCCS
2005
ACM
15 years 3 months ago
2005
ACM
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
SLIP
2005
ACM
15 years 3 months ago
2005
ACM
Routability optimization has become a major concern in the physical design cycle of VLSI circuits. Due to the recent advances in VLSI technology, interconnect has become a dominan...
102
click to vote
TLDI
2005
ACM
15 years 3 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
106
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
There has been much research investigating team cognition, naturalistic decision making, and collaborative technology as it relates to real world, complex domains of practice. How...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...