Sciweavers

618 search results - page 30 / 124
» Meaning and Partiality Revised
Sort
View
ISAAC
2005
Springer
111views Algorithms» more  ISAAC 2005»
14 years 3 months ago
Smoothed Analysis of Binary Search Trees
Binary search trees are one of the most fundamental data structures. While the height of such a tree may be linear in the worst case, the average height with respect to the uniform...
Bodo Manthey, Rüdiger Reischuk
JCT
2007
93views more  JCT 2007»
13 years 10 months ago
Generating bricks
A brick is a 3-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. The importance of bricks stems from the fact that...
Serguei Norine, Robin Thomas
AI
2011
Springer
13 years 5 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir
AUSAI
2007
Springer
14 years 4 months ago
Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback
In this paper, we propose a method where humanoid robot acquires meanings of grammatical connectives using direct physical feedback from human. Our system acquired 70% connectives ...
Dai Hasegawa, Rafal Rzepka, Kenji Araki
CEC
2007
IEEE
14 years 4 months ago
Target shape design optimization by evolving splines
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
Pan Zhang, Xin Yao, Lei Jia, Bernhard Sendhoff, Th...