165 search results - page 13 / 33 » Building Strong Semi-Autonomous Systems |
TAPSOFT
1997
Springer
14 years 1 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...
PERCOM
2008
ACM
14 years 9 months ago
2008
ACM
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
Our childhood eating patterns strongly affect our lifelong health. Recently, type II diabetes emerged as a national health crisis in America that can be prevented almost entirely ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...