Sciweavers

9581 search results - page 140 / 1917
» On Ubiquitous Integrated Computing
Sort
View
CHI
2002
ACM
16 years 4 months ago
Making sense of sensing systems: five questions for designers and researchers
This paper borrows ideas from social science to inform the design of novel "sensing" user-interfaces for computing technology. Specifically, we present five design chall...
Victoria Bellotti, Maribeth Back, W. Keith Edwards...
CCS
2010
ACM
15 years 7 months ago
RunTest: assuring integrity of dataflow processing in cloud computing infrastructures
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
Juan Du, Wei Wei, Xiaohui Gu, Ting Yu
IROS
2009
IEEE
148views Robotics» more  IROS 2009»
15 years 10 months ago
A computer vision integration model for a multi-modal cognitive system
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
Alen Vrecko, Danijel Skocaj, Nick Hawes, Ales Leon...
CORR
2008
Springer
93views Education» more  CORR 2008»
15 years 4 months ago
A computer verified, monadic, functional implementation of the integral
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
Russell O'Connor, Bas Spitters
IPPS
2007
IEEE
15 years 10 months ago
Integrated Risk Analysis for a Commercial Computing Service
Utility computing has been anticipated to be the next generation of computing usage. Users have the freedom to easily switch to any commercial computing service to complete jobs w...
Chee Shin Yeo, Rajkumar Buyya