Sciweavers

295 search results - page 33 / 59
» Games and Definability for System F
Sort
View
SIAMCO
2000
75views more  SIAMCO 2000»
13 years 8 months ago
Feedback Stabilization and Lyapunov Functions
Given a locally defined, nondifferentiable but Lipschitz Lyapunov function, we construct a (discontinuous) feedback law which stabilizes the underlying system to any given toleran...
F. H. Clarke, Yu. S. Ledyaev, L. Rifford, R. J. St...
IPM
2011
91views more  IPM 2011»
13 years 6 days ago
Measuring the interestingness of articles in a limited user environment
Abstract-Search engines, such as Google, assign scores to news articles based on their relevancy to a query. However, not all relevant articles for the query may be interesting to ...
Raymond K. Pon, Alfonso F. Cardenas, David Buttler...
BSN
2009
IEEE
14 years 3 months ago
A Sensing Platform for Physiological and Contextual Feedback to Tennis Athletes
—In this paper we describe our work on creating a multi-modal sensing platform for providing feedback to tennis coaches and players. The platform includes a fixed installation a...
Damien Connaghan, Sarah Hughes, Gregory May, Phili...
ASSETS
2000
ACM
14 years 1 months ago
A virtual reality-based exercise program for stroke rehabilitation
A PC based desktop Virtual Reality system was developed for rehabilitating hand function in stroke patients. The system uses two hand input devices, a CyberGlove and a RMII force ...
David Jack, Rares F. Boian, Alma S. Merians, Serge...
FOCS
2006
IEEE
14 years 2 months ago
Strategic Network Formation through Peering and Service Agreements
We introduce a game theoretic model of network formation in an effort to understand the complex system of business relationships between various Internet entities (e.g., Autonomou...
Elliot Anshelevich, F. Bruce Shepherd, Gordon T. W...