Sciweavers

13866 search results - page 2317 / 2774
» Dynamical Systems Game
Sort
View
165
Voted
CCR
2004
151views more  CCR 2004»
15 years 6 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
174
Voted
CGF
2004
82views more  CGF 2004»
15 years 6 months ago
Scalable Behaviors for Crowd Simulation
Crowd simulation for virtual environments offers many challenges centered on the trade-offs between rich behavior, control and computational cost. In this paper we present a new a...
Mankyu Sung, Michael Gleicher, Stephen Chenney
181
Voted
COMCOM
2004
98views more  COMCOM 2004»
15 years 6 months ago
Proactive resource provisioning
Allocating resources in networks to QoS flows may require undesirable delays or costs. We consider a dynamic Service Level Agreement (SLA) negotiation scheme between peer autonomo...
Eric Chi, Michael Fu, Jean C. Walrand
191
Voted
AI
2000
Springer
15 years 6 months ago
On agent-based software engineering
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
Nicholas R. Jennings
177
Voted
BC
2000
95views more  BC 2000»
15 years 6 months ago
Cerebellar learning of accurate predictive control for fast-reaching movements
Long conduction delays in the nervous system prevent the accurate control of movements by feedback control alone. We present a new, biologically plausible cerebellar model to study...
Jacob Spoelstra, Nicolas Schweighofer, Michael A. ...
« Prev « First page 2317 / 2774 Last » Next »