Sciweavers

5109 search results - page 383 / 1022
» On Learning Limiting Programs
Sort
View
SIGPLAN
2008
15 years 6 months ago
AspectC2C: a symmetric aspect extension to the C language
By separating crosscutting concerns into modules, aspectoriented programming (AOP) can greatly improve the maintainability, understandability and reusability of software. However,...
Danfeng Zhang, Yao Guo, Xiangqun Chen
CDC
2008
IEEE
111views Control Systems» more  CDC 2008»
16 years 1 months ago
Computing correlated equilibria of polynomial games via adaptive discretization
— We construct a family of iterative discretization algorithms for computing sequences of finitely-supported correlated equilibria of n-player games with polynomial utility func...
Noah D. Stein, Asuman E. Ozdaglar, Pablo A. Parril...
CDC
2009
IEEE
217views Control Systems» more  CDC 2009»
15 years 11 months ago
Anti-windup compensation for nonlinear systems via gradient projection: Application to adaptive control
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
Justin Teo, Jonathan P. How
GECCO
2009
Springer
241views Optimization» more  GECCO 2009»
15 years 11 months ago
A fast high quality pseudo random number generator for nVidia CUDA
Previously either due to hardware GPU limits or older versions of software, careful implementation of PRNGs was required to make good use of the limited numerical precision availa...
William B. Langdon
IJCAI
1993
15 years 8 months ago
Notes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
John McCarthy