Sciweavers

1363 search results - page 154 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
IROS
2006
IEEE
144views Robotics» more  IROS 2006»
15 years 4 months ago
Finding Resonance: Adaptive Frequency Oscillators for Dynamic Legged Locomotion
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
Jonas Buchli, Fumiya Iida, Auke Jan Ijspeert
CHI
2002
ACM
15 years 10 months ago
Hubbub: a sound-enhanced mobile instant messenger that supports awareness and opportunistic interactions
There have been many attempts to support awareness and lightweight interactions using video and audio, but few have been built on widely available infrastructure. Text-based syste...
Ellen Isaacs, Alan Walendowski, Dipti Ranganthan
SIGGRAPH
1996
ACM
15 years 2 months ago
The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
Li-wei He, Michael F. Cohen, David Salesin
DIGRA
2005
Springer
15 years 3 months ago
Dialog as a Game
We describe a technique to manage pre-written lines of dialog by treating a conversation as a game. Thinking of conversation as a game means structuring it as a series of moves, m...
Peter Border