Sciweavers

3702 search results - page 301 / 741
» Reducing Misclassification Costs
Sort
View
156
Voted
CDC
2009
IEEE
166views Control Systems» more  CDC 2009»
15 years 11 months ago
Idempotent method for dynamic games and complexity reduction in min-max expansions
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
William M. McEneaney
ICIAP
2009
ACM
15 years 11 months ago
Sudden Changes Detection in WCE Video
The direct visual inspection of WCE video by an expert is a tiring and cost activity and it is a true bottleneck to the widespread application of this diagnostic technique. In this...
Giovanni Gallo, Eliana Granata, Giuseppe Scarpulla
174
Voted
ICSOC
2009
Springer
15 years 11 months ago
Services Inside the Smart Home: A Simulation and Visualization Tool
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
Elena Lazovik, Piet den Dulk, Martijn de Groote, A...
192
Voted
IWDW
2009
Springer
15 years 11 months ago
Fast Embedding Technique for Dirty Paper Trellis Watermarking
This paper deals with the improvement of the Dirty Paper Trellis Code (DPTC) watermarking algorithm. This watermarking algorithm is known to be one of the best among the high rate ...
Marc Chaumont
FM
2001
Springer
96views Formal Methods» more  FM 2001»
15 years 11 months ago
Houdini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
Cormac Flanagan, K. Rustan M. Leino