Sciweavers

1925 search results - page 213 / 385
» Dynamic Typing
Sort
View
118
Voted
COOPIS
2003
IEEE
15 years 7 months ago
Analysing Mailboxes of Asynchronous Communicating Components
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
Jean-Claude Royer, Michael Xu
102
Voted
ICRA
2003
IEEE
116views Robotics» more  ICRA 2003»
15 years 7 months ago
The sway compensation trajectory for a biped robot
From 1970’s, legged robots have attracted much attention of many researchers. In spite of this, it has been regarded that dynamically stable walking is very difficult to be tac...
Ryo Kurazume, Tsutomu Hasegawa, Kan Yoneda
98
Voted
NIPS
2001
15 years 3 months ago
A theory of neural integration in the head-direction system
Integration in the head-direction system is a computation by which horizontal angular head velocity signals from the vestibular nuclei are integrated to yield a neural representat...
Richard H. R. Hahnloser, Xiaohui Xie, H. Sebastian...
105
Voted
TCS
2010
15 years 16 days ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic
CDC
2009
IEEE
110views Control Systems» more  CDC 2009»
14 years 12 months ago
Perturbation analysis and optimization of multiclass multiobjective Stochastic Flow Models
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
Chen Yao, Christos G. Cassandras