Sciweavers

1142 search results - page 181 / 229
» Set Variables and Local Search
Sort
View
SIGIR
2005
ACM
14 years 1 months ago
Combining eye movements and collaborative filtering for proactive information retrieval
We study a new task, proactive information retrieval by combining implicit relevance feedback and collaborative filtering. We have constructed a controlled experimental setting, ...
Kai Puolamäki, Jarkko Salojärvi, Eerika ...
ICRA
1998
IEEE
126views Robotics» more  ICRA 1998»
13 years 12 months ago
Matrix Normalization for Optimal Robot Design
Good robot performance often relies upon the selection of design parameters that lead to a well conditioned Jacobian or impedance "design" matrix. In this paper, a new d...
Leo J. Stocco, S. E. Salcudean, F. Sassani
FM
2009
Springer
169views Formal Methods» more  FM 2009»
13 years 11 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
GECCO
2006
Springer
116views Optimization» more  GECCO 2006»
13 years 11 months ago
A crossover for complex building blocks overlapping
We propose a crossover method to combine complexly overlapping building blocks (BBs). Although there have been several techniques to identify linkage sets of loci o form a BB [4, ...
Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
NC
2006
132views Neural Networks» more  NC 2006»
13 years 7 months ago
Learning short multivariate time series models through evolutionary and sparse matrix computation
Multivariate Time Series (MTS) data are widely available in different fields including medicine, finance, bioinformatics, science and engineering. Modelling MTS data accurately is...
Stephen Swift, Joost N. Kok, Xiaohui Liu