1297 search results - page 57 / 260 » Control of systems integrating logic, dynamics, and constrai... |
AAAI
2010
15 years 2 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
111
click to vote
SOSP
1993
ACM
15 years 2 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
131
click to vote
DKE
2010
15 years 1 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
167
click to vote
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
100
click to vote
CDC
2010
IEEE
2010
IEEE
Robust controller design by convex optimization based on finite frequency samples of spectral models
14 years 8 months ago
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...