Sciweavers

6846 search results - page 405 / 1370
» Developing an Active Observer
Sort
View
POPL
1997
ACM
15 years 11 months ago
Behavioral Equivalence in the Polymorphic Pi-calculus
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
Benjamin C. Pierce, Davide Sangiorgi
CDC
2009
IEEE
184views Control Systems» more  CDC 2009»
15 years 11 months ago
A closed loop musculoskeletal model of postural coordination dynamics
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...
GLOBECOM
2007
IEEE
15 years 10 months ago
Bursty Traffic in Energy-Constrained Opportunistic Spectrum Access
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...
Yunxia Chen, Qing Zhao, Ananthram Swami
180
Voted
AAAI
2007
15 years 9 months ago
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm
This paper contains two important contributions for the development of possibilistic causal networks. The first one concerns the representation of interventions in possibilistic ...
Salem Benferhat, Salma Smaoui
CHI
2008
ACM
15 years 8 months ago
When the designer becomes the user: designing a system for therapists by becoming a therapist
In this paper, we present the design process for developing a technology to support therapists for children with autism. To learn about the domain for which we were designing, one...
Julie A. Kientz, Gregory D. Abowd