Sciweavers

1071 search results - page 20 / 215
» An analysis framework for search sequences
Sort
View
IWCM
2004
Springer
14 years 1 months ago
Complex Motion in Environmental Physics and Live Sciences
Abstract Image sequence processing techniques are an essential tool for the experimental investigation of dynamical processes such as exchange, growth, and transport processes. The...
Bernd Jähne
WSC
1998
13 years 9 months ago
Using ACCESSIBILITY to Assess the Performance of Generalized Hill Climbing Algorithms
The search problem, ACCESSIBILITY, asks whether a finite sequence of events can be found such that, starting with a specific initial event, a particular state can be reached. This...
Sheldon H. Jacobson, Enver Yücesan
IANDC
1998
72views more  IANDC 1998»
13 years 7 months ago
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang
ICRA
2010
IEEE
173views Robotics» more  ICRA 2010»
13 years 6 months ago
A skill-based motion planning framework for humanoids
— This paper presents a multi-skill motion planner which is able to sequentially synchronize parameterized motion skills in order to achieve humanoid motions exhibiting complex w...
Marcelo Kallmann, Yazhou Huang, Robert Backman
WWW
2004
ACM
14 years 8 months ago
Understanding user goals in web search
Previous work on understanding user web search behavior has focused on how people search and what they are searching for, but not why they are searching. In this paper, we describ...
Daniel E. Rose, Danny Levinson