Sciweavers

6438 search results - page 1138 / 1288
» A Parameterised Search System
Sort
View
ENGL
2008
122views more  ENGL 2008»
15 years 6 months ago
Real-Time Population Based Optimization for Adaptive Motion Control of Robot Manipulator
A population based real-time optimization method for tuning dynamic position control parameters of robot manipulators has been proposed. Conventionally, the positional control is a...
Mehmet Bodur
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 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
IDA
2008
Springer
15 years 6 months ago
Symbolic methodology for numeric data mining
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
Boris Kovalerchuk, Evgenii Vityaev
CORR
2006
Springer
93views Education» more  CORR 2006»
15 years 6 months ago
Constructing experimental indicators for Open Access documents
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...
Philipp Mayr
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 6 months ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...
« Prev « First page 1138 / 1288 Last » Next »