Sciweavers

2632 search results - page 89 / 527
» Predictive Representations of State
Sort
View
CASES
2005
ACM
14 years 1 days ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
ATAL
2010
Springer
13 years 11 months ago
When do markets with simple agents fail?
We consider (prediction) markets where myopic agents sequentially interact with an automated market maker. We show a broad negative result: by varying the order of participation, ...
Abraham Othman, Tuomas Sandholm
SAC
2005
ACM
14 years 3 months ago
Graphical rule-based representation of signal-transduction networks
The process by which a cell senses and responds to its environment, as in signal transduction, is often mediated by a network of protein-protein interactions, in which proteins co...
James R. Faeder, Michael L. Blinov, William S. Hla...
ICFP
2010
ACM
13 years 11 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
13 years 8 months ago
Generalized Bilateral MIMO Control by States Convergence with time delay and application for the teleoperation of a 2-DOF helico
— Bilateral Control by States Convergence is a novel and little exploited control strategy that has been successfully applied to the teleoperation of robotic manipulators using S...
Claudia Pérez-D'Arpino, Wilfredis Medina Me...