4211 search results - page 619 / 843 » Types as Abstract Interpretations |
142
click to vote
EMNLP
2009
15 years 2 months ago
2009
In the early days of email, widely-used conventions for indicating quoted reply content and email signatures made it easy to segment email messages into their functional parts. To...
210
click to vote
ESWS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
139
click to vote
IEEECGIV
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--A new adaptive rational image interpolation algorithm is proposed. For a natural image, according to the difference information of the local pixel gray value in the verti...
146
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--The problem of energy-efficient precoding is investigated when the terminals in the system are equipped with multiple antennas. Considering static and fast-fading multipl...
162
Voted
CDC
2010
IEEE
15 years 4 days ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...