13383 search results - page 2296 / 2677 » Abstractions from proofs |
164
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...
141
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
138
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- This work focuses on decentralized decision making in a population of individuals each implementing the sequential probability ratio test. The individual decisions are c...
164
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
161
click to vote
COGSR
2011
14 years 11 months ago
2011
We simulate the evolution of a domain vocabulary in small communities. Empirical data show that human communicators can evolve graphical languages quickly in a constrained task (P...