12052 search results - page 447 / 2411 » computing 2010 |
202
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Finding similar images in a large database is an important, but often computationally expensive, task. In this paper, we present a two-tier similar-image retrieval system with the...
204
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
Traditional methods of assessing chemical toxicity of various compounds require tests on animals, which raises ethical concerns and is expensive. Current legislation may lead to a...
180
click to vote
JUCS
2010
15 years 1 months ago
2010
: Semantic wikis have been regarded as an important collaboration tool among a number of experts from multiple domains. This wiki platform can play a role of collaborative knowledg...
159
click to vote
ENTCS
2010
15 years 7 months ago
2010
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coprodu...
204
click to vote
ENTCS
2002
15 years 6 months ago
2002
Walukiewicz gave in 1996 a solution for parity games on pushdown graphs: he proved the existence of pushdown strategies and determined the winner with an EXPTIME procedure. We giv...