Sciweavers

618 search results - page 30 / 124
» Meaning and Partiality Revised
Sort
View
ISAAC
2005
Springer
111views Algorithms» more  ISAAC 2005»
16 years 5 days 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»
15 years 6 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
15 years 1 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
16 years 26 days 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
16 years 1 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...