This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
An important problem in search engine advertising is keyword1 generation. In the past, advertisers have preferred to bid for keywords that tend to have high search volumes and hen...
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
This paper presents a semantic associative browsing system called Semantic Association Various Viewpoint sYstem (SAVVY). Recently, the number of users who employ search engines fo...
Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, ...