Sciweavers

857 search results - page 62 / 172
» Compositional Semantics in Verbmobil
Sort
View
ARGMAS
2009
Springer
16 years 21 days ago
Comparing Argumentation Frameworks for Composite Ontology Matching
Resolving the semantic heterogeneity problem is crucial to allow interoperability between ontology-based systems. Ontology matching based on argumentation is an innovative research...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
JSS
2006
128views more  JSS 2006»
15 years 6 months ago
Automatic generation of document semantics for the e-science Knowledge Grid
This paper proposes an approach to automatically generate semantics for scientific e-documents, and presents its applications in e-document understanding, question answering and q...
Hai Zhuge, Xiangfeng Luo
AH
2006
Springer
16 years 2 days ago
Combining Coherence and Adaptation in Discourse-Oriented Hypermedia Generation
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...
Kateryna Falkovych, Federica Cena, Frank Nack
EMSOFT
2004
Springer
15 years 11 months ago
An event detection algebra for reactive systems
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
Jan Carlson, Björn Lisper
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 9 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes