1712 search results - page 26 / 343 » Abstract Constraint Data Types |
82
Voted
TSP
2010
14 years 5 months ago
2010
Abstract--This correspondence revisits the joint transceiver optimization problem for multiple-input multiple-output (MIMO) channels. The linear transceiver as well as the transcei...
105
Voted
IMCSIT
2010
14 years 8 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
91
Voted
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
GD
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...