Sciweavers

3095 search results - page 227 / 619
» Ubiquitous presence systems
Sort
View
LCTRTS
1998
Springer
15 years 11 months ago
Automatic Accurate Time-Bound Analysis for High-Level Languages
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
Yanhong A. Liu, Gustavo Gomez
SP
1996
IEEE
101views Security Privacy» more  SP 1996»
15 years 11 months ago
An Immunological Approach to Change Detection: Algorithms, Analysis and Implications
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
Patrik D'haeseleer, Stephanie Forrest, Paul Helman
CDC
2009
IEEE
379views Control Systems» more  CDC 2009»
15 years 10 months ago
Receding horizon cost optimization for overly constrained nonlinear plants
— A receding horizon control algorithm, originally proposed for tracking best-possible steady-states in the presence of overly stringent state and/or input constraints, is analyz...
David Angeli, Rishi Amrit, James B. Rawlings
BIOCOMP
2006
15 years 8 months ago
Toward In Vivo Disease Diagnosis and Treatment Using DNA
We propose a technique to diagnose and treat individual cells in the human body. A virus-like system delivers a copy of a diagnosis and treatment DNA complex to each cell. The comp...
Yuriy Brun, Manoj Gopalkrishnan
EI
1998
51views more  EI 1998»
15 years 8 months ago
Spectral characterisation of electronic cameras
In order to properly calibrate an electronic camera for a variety of illuminantsit is necessary to estimate the spectral sensitivity of the camera. This spectral characterisation ...
Jon Yngve Hardeberg, Hans Brettel, Francis Schmitt