4117 search results - page 654 / 824 » On the Satisfiability of Complex Constraints |
175
click to vote
ETS
2009
IEEE
15 years 4 months ago
2009
IEEE
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
196
click to vote
ICOODB
2009
15 years 4 months ago
2009
This paper presents algorithms that make it possible to process XML data that conforms to XML Schema (XSD) in a mainstream object-oriented programming language. These algorithms a...
173
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Event-triggered control systems are systems in which the control signal is recomputed when the plant's output signal leaves a triggering-set. There has been recent interest in...
105
Voted
CORR
2011
Springer
15 years 1 months ago
2011
Springer
: Most academic control schemes for MIMO systems assume all the control variables are updated simultaneously. MPC outperforms other control strategies through its ability to deal w...
219
click to vote
KI
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we address the problem of lifelong map learning in static environments with mobile robots using the graph-based formulation of the simultaneous localization and mapp...