Sciweavers

5090 search results - page 522 / 1018
» Constructing Strategies for Programming
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
15 years 2 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
TCIAIG
2010
15 years 1 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
ICASSP
2011
IEEE
14 years 10 months ago
Sensing-aware classification with high-dimensional data
In many applications decisions must be made about the state of an object based on indirect noisy observation of highdimensional data. An example is the determination of the presen...
Burkay Orten, Prakash Ishwar, W. Clem Karl, Venkat...
SBP
2012
Springer
14 years 2 months ago
Opinion Dynamics in Gendered Social Networks: An Examination of Female Engagement Teams in Afghanistan
International forces in Afghanistan have experienced difficulties in developing constructive engagements with the Afghan population, an experience familiar to a wide range of inter...
Thomas W. Moore, Patrick D. Finley, Ryan J. Hammer...

Book
411views
17 years 4 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight