33 search results - page 6 / 7 » Using Analogy Discovery to Create Abstractions |
PERVASIVE
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. PersonisAD, is a framework for building context-aware, ubiquitous applications: its defining foundation is a consistent mechanism for scrutable modelling of people, sens...
CRYPTO
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
IJCAI
2007
13 years 7 months ago
2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
MOBIQUITOUS
2007
IEEE
14 years 10 days ago
2007
IEEE
Abstract— By developing demonstrators and performing smallscale user trials, we found various opportunities and pitfalls for deploying Personal Networks (PNs) on a commercial bas...