Sciweavers

2940 search results - page 457 / 588
» Adaptive control of PDEs
Sort
View
TSE
1998
176views more  TSE 1998»
15 years 6 months ago
Constructive Protocol Specification Using Cicero
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
Yen-Min Huang, Chinya V. Ravishankar
RE
2010
Springer
15 years 1 months ago
Risk-based Confidentiality Requirements Specification for Outsourced IT Systems
Today, companies are required to be in control of their IT assets, and to provide proof of this in the form of independent IT audit reports. However, many companies have outsourced...
Ayse Morali, Roel Wieringa
TSMC
2010
15 years 1 months ago
Pervasive Diagnosis
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...
Lukas Kuhn, Bob Price, Minh Binh Do, Juan Liu, Ron...
CVPR
2005
IEEE
16 years 8 months ago
Multi-Image Matching Using Multi-Scale Oriented Patches
This paper describes a novel multi-view matching framework based on a new type of invariant feature. Our features are located at Harris corners in discrete scale-space and oriente...
Matthew Brown, Richard Szeliski, Simon A. J. Winde...
CVPR
2006
IEEE
16 years 8 months ago
Local Steerable Phase (LSP) Feature for Face Representation and Recognition
In this paper, we propose a novel local steerable phase (LSP) feature extracted from the face image using steerable filter for face representation and recognition. Steerable filte...
Xiaoxun Zhang, Yunde Jia