1284 search results - page 135 / 257 » On Helping and Interactive Proof Systems |
SOCIALCOM
2010
13 years 8 months ago
2010
This paper describes an interactive social agent platform which examines anthropomorphic robot features in the mobile phone usage context. Our system is smart phone based robot age...
ICCHP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. While there are many barcode readers available for identifying products in a supermarket or at home on mobile phones (e.g., Red Laser iPhone app), such readers are inacce...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
JOLLI
2008
13 years 10 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
POPL
2001
ACM
14 years 10 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...