Sciweavers

7557 search results - page 587 / 1512
» Constraints as a design pattern
Sort
View
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
16 years 1 months ago
Local mode dependent decentralized control of uncertain Markovian jump large-scale systems
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
Junlin Xiong, Valery A. Ugrinovskii, Ian R. Peters...
157
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Algebraic visual cryptography scheme for color images
This paper introduces a novel, cost effective visual cryptography scheme suitable for color image transmission over bandwidth constraint channels. Unlike previously proposed schem...
Mohsen Heidarinejad, Amirhossein Alamdar Yazdi, Ko...
TPHOL
2002
IEEE
16 years 5 days ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
ASAP
1997
IEEE
139views Hardware» more  ASAP 1997»
15 years 11 months ago
Buffer size optimization for full-search block matching algorithms
This paper presents how to find optimized buffer size for VLSI architectures of full-search block matching algorithms. Starting from the DG (dependency graph) analysis, we focus i...
Yuan-Hau Yeh, Chen-Yi Lee
255
Voted
PODC
1996
ACM
15 years 11 months ago
Fundamental Challenges in Mobile Computing
This paper is an answer to the question: "What is unique and conceptually different about mobile computing?" The paper begins by describing a set of constraints intrinsi...
Mahadev Satyanarayanan