Sciweavers

4524 search results - page 631 / 905
» The Complexity of Global Constraints
Sort
View
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
15 years 2 months ago
Event-triggered output feedback control of finite horizon discrete-time multi-dimensional linear processes
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...
Lichun Li, Michael Lemmon
132
Voted
CORR
2011
Springer
176views Education» more  CORR 2011»
15 years 2 months ago
Multiplexed Model Predictive Control
: 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...
Keck Voon Ling, Jan M. Maciejowski, A. G. Richards...
243
Voted
KI
2010
Springer
15 years 2 months ago
Lifelong Map Learning for Graph-based SLAM in Static Environments
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...
Henrik Kretzschmar, Giorgio Grisetti, Cyrill Stach...
MIA
2010
113views more  MIA 2010»
15 years 2 months ago
Musculoskeletal MRI segmentation using multi-resolution simplex meshes with medial representations
The automatic segmentation of the musculoskeletal system from medical images is a particularly challenging task, due to its morphological complexity, its large variability in the ...
Benjamin Gilles, Nadia Magnenat-Thalmann
236
Voted
ICDE
2011
IEEE
220views Database» more  ICDE 2011»
14 years 11 months ago
Generating test data for killing SQL mutants: A constraint-based approach
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep ...