963 search results - page 28 / 193 » Types for Mobile Ambients |
CGF
2007
13 years 8 months ago
2007
In this paper, we propose a robust and efficient Lagrangian approach for modeling dynamic interfaces between different materials undergoing large deformations and topology change...
APVIS
2006
13 years 10 months ago
2006
The number of mobile device users is increasing for its convenience of information searching and its guaranteed mobility. Unlike desktop environment with large display screens, th...
CSL
2000
Springer
14 years 1 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
JUCS
2010
13 years 7 months ago
2010
: A natural interface is one of three key technologies of Ambient Intelligence (AmI); one of its main objectives is to minimize the user’s interactive effort, which is the diffic...