11716 search results - page 229 / 2344 » Computable symbolic dynamics |
179
click to vote
PLDI
2004
ACM
16 years 7 hour ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
165
click to vote
Presentation
A presentation about Dynamic Mechanism Design: Revenue Equivalence, Pro
t Maximization, and Information Disclosure.
182
click to vote
SIAMCOMP
1998
15 years 6 months ago
1998
This paper describes new methods for maintaining a point-location data structure for a dynamically changing monotone subdivision S. The main approach is based on the maintenance of...
161
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
A method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to a...
139
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...