3255 search results - page 409 / 651 » Combination of Abstractions in the ASTR |
149
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
179
click to vote
AICOM
2004
15 years 6 months ago
2004
The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis pre...
213
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Significant throughput improvements can be obtained in multiple-input multiple-output (MIMO) fading channels by merging beamforming at the transmitter and maximal ratio c...
204
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
213
click to vote
INFORMS
1998
15 years 6 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...