Sciweavers

5754 search results - page 469 / 1151
» Multi-class Model M
Sort
View
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
15 years 1 months ago
A state-based framework for supervisory control synthesis and verification
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theu...
MMAS
2010
Springer
15 years 1 months ago
A Fast Multigrid Algorithm for Energy Minimization under Planar Density Constraints
The two-dimensional layout optimization problem reinforced by the efficient space utilization demand has a wide spectrum of practical applications. Formulating the problem as a non...
Dorit Ron, Ilya Safro, Achi Brandt
ICASSP
2011
IEEE
14 years 10 months ago
Robust parametrization for non-destructive evaluation of composites using ultrasonic signals
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
Nicolas Bochud, Angel M. Gomez, Guillermo Rus, Jos...
SIGMOD
2012
ACM
212views Database» more  SIGMOD 2012»
13 years 9 months ago
Local structure and determinism in probabilistic databases
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
Theodoros Rekatsinas, Amol Deshpande, Lise Getoor
KDD
2012
ACM
178views Data Mining» more  KDD 2012»
13 years 9 months ago
Differentially private transit data publication: a case study on the montreal transportation system
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
Rui Chen, Benjamin C. M. Fung, Bipin C. Desai, N&e...