Sciweavers

3931 search results - page 58 / 787
» Separation logic and abstraction
Sort
View
CAISE
2006
Springer
15 years 9 months ago
Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...
RE
2005
Springer
15 years 11 months ago
Multi-Dimensional Separation of Concerns in Requirements Engineering
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
Ana Moreira, Awais Rashid, João Araú...
ICA
2004
Springer
15 years 11 months ago
Blind Separation of Nonstationary Sources by Spectral Decorrelation
Abstract. This paper demonstrates and exploits some interesting frequency-domain properties of nonstationary signals. Considering these properties, two new methods for blind separa...
Shahram Hosseini, Yannick Deville
TSP
2008
72views more  TSP 2008»
15 years 6 months ago
Seismic Velocity and Polarization Estimation for Wavefield Separation
Abstract--We address the problem of estimating the shape parameters of seismic wavefields using linear arrays of three-component (3C) vector sensors with uncertain acquisition geom...
Daniela Donno, Arye Nehorai, Umberto Spagnolini
TFCV
2000
15 years 7 months ago
Multi-valued Images and Their Separation
Abstract. Consider scenes deteriorated by reflections off a semireflecting medium (e.g., a glass window) that lies between the observer and an object. We present two approaches to ...
Yoav Y. Schechner, Nahum Kiryati, Joseph Shamir