1861 search results - page 264 / 373 » Performance modeling of component assemblies |
101
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
ISM
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents an efficient blind watermark detection scheme for additive embedding (AE) based on underdetermined independent component analysis (ICA) framework. The propose...
117
Voted
CRV
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an approach to recognizing faces with varying appearances which also considers the relative probability of occurrence for each appearance. We propose and demonstrate ex...
EVOW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents an application of a hierarchical social (HS) metaheuristic to region-based segmentation. The original image is modelled as a simplified image graph, w...