636 search results - page 5 / 128 » Smart Objects for Intelligent Applications - ADK |
AUSAI
1998
Springer
15 years 1 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
PERCOM
2010
ACM
14 years 7 months ago
2010
ACM
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
MIS
2008
Springer
14 years 9 months ago
2008
Springer
A new system named Home-Explorer that searches and finds physical artifacts in a smart indoor environment is proposed. The view on which it is based is artifact-centered and uses s...
HCI
2007
14 years 10 months ago
2007
Abstract. The evolution to ubiquitous information and communication networks is evident. Technology is emerging that connects everyday objects and embeds intelligence in our enviro...
AINA
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—Smart Home, this term comprises various approaches, engaged in living and working now and in the future. The objectives of the various approaches range from enhancing co...