Sciweavers

1963 search results - page 390 / 393
» Function Materialization in Object Bases
Sort
View
IANDC
2007
152views more  IANDC 2007»
15 years 4 days ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
90
Voted
AUTOMATICA
2005
91views more  AUTOMATICA 2005»
15 years 3 days ago
Lyapunov-based continuous-time nonlinear controller redesign for sampled-data implementation
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
Dragan Nesic, Lars Grüne
119
Voted
TIP
2008
153views more  TIP 2008»
15 years 3 days ago
Hierarchical Color Correction for Camera Cell Phone Images
In this paper, we propose a hierarchical color correction algorithm for enhancing the color of digital images obtained from low quality digital image capture devices such as cell ...
Hasib Siddiqui, Charles A. Bouman
TON
2008
87views more  TON 2008»
15 years 2 days ago
Large-scale network parameter configuration using an on-line simulation framework
As the Internet infrastructure grows to support a variety of services, its legacy protocols are being overloaded with new functions such as traffic engineering. Today, operators en...
Tao Ye, Hema Tahilramani Kaur, Shivkumar Kalyanara...
110
Voted
BMCBI
2004
196views more  BMCBI 2004»
15 years 1 days ago
MUSCLE: a multiple sequence alignment method with reduced time and space complexity
Background: In a previous paper, we introduced MUSCLE, a new program for creating multiple alignments of protein sequences, giving a brief summary of the algorithm and showing MUS...
Robert C. Edgar