Sciweavers

555 search results - page 78 / 111
» Using Lexical and Relational Similarity to Classify Semantic...
Sort
View
RIAO
2004
13 years 9 months ago
Chinese Character Expansion for Retrieving Japanese Paraphrases
This paper proposes two methods of query expansion for retrieving paraphrase candidates indexed by Kanzi (Chinese) characters. The idea is to calculate similarity between Kanzi ch...
Takenobu Tokunaga, Yoshiki Tezuka, Hozumi Tanaka
ICRA
2010
IEEE
137views Robotics» more  ICRA 2010»
13 years 6 months ago
Robot reinforcement learning using EEG-based reward signals
Abstract— Reinforcement learning algorithms have been successfully applied in robotics to learn how to solve tasks based on reward signals obtained during task execution. These r...
Iñaki Iturrate, Luis Montesano, Javier Ming...
COOPIS
2002
IEEE
14 years 22 days ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
ICFP
2012
ACM
11 years 10 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
JCDL
2011
ACM
272views Education» more  JCDL 2011»
12 years 10 months ago
CollabSeer: a search engine for collaboration discovery
Collaborative research has been increasingly popular and important in academic circles. However, there is no open platform available for scholars or scientists to effectively dis...
Hung-Hsuan Chen, Liang Gou, Xiaolong Zhang, Clyde ...