Sciweavers

1993 search results - page 195 / 399
» On Action Theory Change
Sort
View
CHI
2009
ACM
15 years 11 months ago
Origami simulator: a multi-touch experience
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...
Samuel Hsiao-Heng Chang, Lachlan Stuart, Beryl Pli...
EPIA
2001
Springer
15 years 11 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
IPPS
2000
IEEE
15 years 11 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
CHI
1996
ACM
15 years 10 months ago
Sketching Storyboards to Illustrate Interface Behaviors
Current user interface construction tools make it difficult for a user interface designer to illustrate the behavior of an interface. These tools focus on specifying widgets and m...
James A. Landay, Brad A. Myers
CHI
1994
ACM
15 years 10 months ago
Towards the interactive office
We describe a prototype system, the Interactive Office, which supports the occupant's daily activities in an office. Discrete sensors embedded in an office detect the occupan...
Steve Hodges, Gifford Louie