Sciweavers

2239 search results - page 209 / 448
» Computing with abstract matrix structures
Sort
View
115
Voted
ESA
2007
Springer
99views Algorithms» more  ESA 2007»
15 years 10 months ago
Linear-Time Ranking of Permutations
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
Martin Mares, Milan Straka
104
Voted
ICCS
2007
Springer
15 years 10 months ago
Bilingual Word Association Networks
Abstract. Bilingual word association networks can be beneficial as a tool in foreign language education because they show relationships among cognate words of different languages ...
Uta Priss, L. John Old
111
Voted
BC
1999
100views more  BC 1999»
15 years 3 months ago
A mathematical model of the adaptive control of human arm motions
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...
Robert M. Sanner, Makiko Kosha
139
Voted
MSV
2007
15 years 5 months ago
FMC-QE: A New Approach in Quantitative Modeling
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
Werner Zorn
150
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 3 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke