The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
This paper presents an overview of different approaches to melody segmentation aimed at extracting music lexical units, which can be used as content descriptors of music documents...
In a blog network, there are many relations such as comment, trackback, and so on. We consider that if the relations are related to user’s reading activity, we can extract useful...
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki...
Abstract. This paper presents selected methods used by the vision system of the GermanTeam, the World Champion in the Sony Four-Legged League in 2004. Color table generalization is...