11066 search results - page 380 / 2214 » Linearity in Process Languages |
207
click to vote
IGARSS
2009
15 years 4 months ago
2009
Spectral mixture analysis is an important task for remotely sensed hyperspectral data interpretation. In spectral unmixing, both the determination of spectrally pure signatures (e...
210
click to vote
OL
2011
14 years 9 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
178
click to vote
ASWEC
2005
IEEE
16 years 12 days ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
146
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
166
click to vote
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntacti...