Sciweavers

1264 search results - page 49 / 253
» Towards Theory Translation
Sort
View
COMMA
2008
13 years 10 months ago
Argument Theory Change: Revision Upon Warrant
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
Nicolás D. Rotstein, Martín O. Mogui...
FOIS
2008
13 years 10 months ago
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
Boyan Brodaric, Femke Reitsma, Yi Qiang
MMS
2006
13 years 8 months ago
Forms and theories of communication: from multimedia to Kansei Mediation
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
Ryohei Nakatsu, Matthias Rauterberg, Ben Salem
ACL
2006
13 years 10 months ago
Re-Usable Tools for Precision Machine Translation
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
Jan Tore Lønning, Stephan Oepen
CORR
2010
Springer
176views Education» more  CORR 2010»
13 years 9 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder