Sciweavers

5314 search results - page 681 / 1063
» Hybrid Dynamic Programming
Sort
View
225
Voted
IFIP
2000
Springer
15 years 10 months ago
Test Case Design for the Validation of Component-Based Embedded Systems
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
W. Fleisch
SSPR
2000
Springer
15 years 10 months ago
Studies of Radical Model for Retrieval of Cursive Chinese Handwritten Annotations
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...
Matthew Y. Ma, Chi Zhang, Patrick Shen-Pei Wang
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 10 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea
AAAI
2007
15 years 9 months ago
Anytime Optimal Coalition Structure Generation
A key problem when forming effective coalitions of autonomous agents is determining the best groupings, or the optimal coalition structure, to select to achieve some goal. To this...
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dan...
ASPLOS
2008
ACM
15 years 8 months ago
SoftSig: software-exposed hardware signatures for code analysis and optimization
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
James Tuck, Wonsun Ahn, Luis Ceze, Josep Torrellas