963 search results - page 28 / 193 » Types for Mobile Ambients |
127
Voted
CGF
2007
15 years 3 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...
136
Voted
APVIS
2006
15 years 5 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...
101
Voted
CSL
2000
Springer
15 years 8 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...
143
Voted
DIGRA
2005
Springer
15 years 9 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 ...
140
Voted
JUCS
2010
15 years 2 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...