9359 search results - page 226 / 1872 » Generalization Algorithms for Second-Order Terms |
136
click to vote
HRI
2006
ACM
15 years 11 months ago
2006
ACM
We present a model of human-like reaching movements. This model is then used to give a humanoid robot the ability to imitate human reaching motions. It illustrates that having a r...
154
click to vote
ISSAC
1993
Springer
15 years 9 months ago
1993
Springer
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
135
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
160
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper introduces a metric that measures symmetry in tree graphs, which allows for a statistical characterization of GP solutions by their architectural "shapes." A ...
141
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We present an approach to document clustering based on winnowing fingerprints that achieved good values of effectiveness with considerable save in memory space and computation tim...