3690 search results - page 422 / 738 » Computation with classical sequents |
151
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This study provides some empirical insight into managerial roles of chief information officer (CIO) based on Mintzberg's classic managerial role model and CSC's informat...
202
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— A distributed online learning framework for support vector machines (SVMs) is presented and analyzed. First, the generic binary classification problem is decomposed in...
175
Voted
HUC
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a sensing garment to support posture coaching in children. The system measures back bending postures using acceleration sensors embedded in the garment. We p...
162
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Future homes will be populated with large numbers of robots with diverse functionalities, ranging from chore robots to elder care robots to entertainment robots. While household r...
173
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
This paper attempts to re-imagine ubiquitous computing for populations in low-income and information-challenged environments. We examine information infrastructures in midsized ur...