Sciweavers

204 search results - page 24 / 41
» Tag expression: tagging with feeling
Sort
View
ATVA
2004
Springer
76views Hardware» more  ATVA 2004»
14 years 2 months ago
A Temporal Assertion Extension to Verilog
Many circuit designs need to follow some temporal rules. However, it is hard to express and verify them in the past. Therefore, a temporal assertion extension to Verilog, called Te...
Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Ku...
DLOG
2007
13 years 11 months ago
A New Mapping from ALCI to ALC
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
Yu Ding, Volker Haarslev, Jiewen Wu
CICLING
2008
Springer
13 years 11 months ago
Sense Annotation in the Penn Discourse Treebank
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...
Eleni Miltsakaki, Livio Robaldo, Alan Lee, Aravind...
WS
2008
ACM
13 years 9 months ago
Mass argumentation and the semantic web
The World Wide Web (WWW) can be seen as an ideal platform for enhancing argumentative expression and communication, due to its ubiquity and openness. Much argumentation takes plac...
Iyad Rahwan
CORR
1999
Springer
50views Education» more  CORR 1999»
13 years 8 months ago
An Example-Based Approach to Japanese-to-English Translation of Tense Aspect, and Modality
We have developed a new method for Japanese-to-English translation of tense, aspect, and modality that uses an example-based method. In this method the similarity between input an...
Masaki Murata, Qing Ma, Kiyotaka Uchimoto, Hitoshi...