12052 search results - page 448 / 2411 » computing 2010 |
171
Voted
NDT
2010
15 years 1 months ago
2010
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
221
click to vote
STTT
2010
15 years 1 months ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
154
Voted
INTERSPEECH
2010
15 years 1 months ago
2010
The emergence of highly parallel computing platforms is enabling new trade-offs in algorithm design for automatic speech recognition. It naturally motivates the following investig...
196
click to vote
ENTCS
2008
15 years 6 months ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
140
click to vote
COMBINATORICA
2010
15 years 1 months ago
2010
Let s, t, m, n be positive integers such that sm = tn. Let M(m, s; n, t) be the number of m