833 search results - page 84 / 167 » mc 2007 |
ISPDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Some auxiliary systems of next generation naval ships will utilize distributed automatic control. Such distributed control systems will use interconnected sensors, actuators, cont...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
In this paper we present an initial study of computer supported collaboration between visually impaired users based around the interactive browsing and manipulation of simple grap...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Imagery and picture sharing are an important and growing part of online communities. Many prior studies of online interaction and collaboration rely heavily on text. This study ta...