3937 search results - page 227 / 788 » Questioning Ubiquitous Computing |
105
click to vote
DSVIS
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
119
Voted
AAECC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The paper deals with the question of recognizing the mutual positions of the connected components of a non-singular real projective surface S in the real projective 3-spa...
133
click to vote
CASC
2010
Springer
15 years 3 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
148
Voted
PUC
2006
15 years 4 months ago
2006
We have developed a gesture input system that provides a common interaction technique across mobile, wearable and ubiquitous computing devices of diverse form factors. In this pap...
142
click to vote
NETWORK
2007
15 years 3 months ago
2007
Along with recent advances in mobile networking and portable computing technologies, there is a trend in the telecommunications industry toward the development of efficient ubiqui...