3931 search results - page 58 / 787 » Separation logic and abstraction |
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
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 ...
RE
2005
Springer
15 years 3 months ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
105
click to vote
ICA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper demonstrates and exploits some interesting frequency-domain properties of nonstationary signals. Considering these properties, two new methods for blind separa...
TSP
2008
14 years 9 months ago
2008
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...
TFCV
2000
14 years 11 months ago
2000
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 ...