1585 search results - page 271 / 317 » A framework for computer-aided validation |
107
click to vote
CGO
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
An essential step in the generation of expressive speech synthesis is the automatic detection and classification of emotions most likely to be present in textual input. At last I...
117
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...
115
click to vote
WIOPT
2011
IEEE
14 years 3 months ago
2011
IEEE
There has been considerable recent work developing a new stochastic network utility maximization framework using Backpressure algorithms, also known as MaxWeight. A key open probl...
169
click to vote
ICWE
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we investigate whether semantic relationships between entities can be learnt from analyzing microblog posts published on Twitter. We identify semantic links between ...