12194 search results - page 321 / 2439 » cans 2010 |
155
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
135
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
: The paper introduces particle swarm optimization as a viable strategy to find numerical solution of Diophantine equation, for which there exists no general method of finding solu...
133
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present a new low-complexity no-reference metric that assesses the visibility of blocking artifacts in DCT-coded images. The metric works in the spatial domain a...
157
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
114
click to vote
COLING
2010
15 years 1 months ago
2010
The precise identification of light verb constructions is crucial for the successful functioning of several NLP applications. In order to facilitate the development of an algorith...