Sciweavers

5624 search results - page 388 / 1125
» On Conditional Covering Problem
Sort
View
ICIP
2003
IEEE
16 years 8 months ago
LLRT based detection of LSB hiding
In this paper we consider a hypothesis testing approach for detection of hiding in the least significant bit (LSB). This steganalysis problem is a composite hypothesis testing pro...
Kenneth Sullivan, Onkar Dabeer, Upamanyu Madhow, B...
HYBRID
2009
Springer
16 years 1 months ago
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
Falk M. Hante, Günter Leugering
179
Voted
FORMATS
2009
Springer
16 years 1 months ago
Realizability of Real-Time Logics
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
Laurent Doyen, Gilles Geeraerts, Jean-Franç...
LPNMR
2009
Springer
16 years 1 months ago
Belief Revision with Bounded Treewidth
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...
IPPS
2008
IEEE
16 years 1 months ago
NETEMBED: A network resource mapping service for distributed applications
Emerging configurable infrastructures (large-scale overlays, grids, distributed testbeds, and sensor networks among others) comprise diverse sets of computing resources and netwo...
Jorge Londoño, Azer Bestavros