Sciweavers

12052 search results - page 448 / 2411
» computing 2010
Sort
View
171
Voted
NDT
2010
15 years 1 months ago
Ontology Based Tracking and Propagation of Provenance Metadata
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 ...
Miroslav Vacura, Vojtech Svátek
STTT
2010
194views more  STTT 2010»
15 years 1 months ago
Data-abstraction refinement: a game semantic approach
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, ...
154
Voted
INTERSPEECH
2010
15 years 1 months ago
Exploring recognition network representations for efficient speech inference on highly parallel platforms
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...
Jike Chong, Ekaterina Gonina, Kisun You, Kurt Keut...
ENTCS
2008
124views more  ENTCS 2008»
15 years 6 months ago
Stability for Effective Algebras
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...
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tuc...
COMBINATORICA
2010
15 years 1 months ago
Asymptotic enumeration of integer matrices with large equal row and column sums
Let s, t, m, n be positive integers such that sm = tn. Let M(m, s; n, t) be the number of m
E. Rodney Canfield, Brendan D. McKay