Sciweavers

147 search results - page 21 / 30
» Semantic Analysis of Time and Tense in Natural Language: An ...
Sort
View
APN
2001
Springer
14 years 2 days ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
ACL
2007
13 years 9 months ago
Automatic Acquisition of Ranked Qualia Structures from the Web
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...
Philipp Cimiano, Johanna Wenderoth
ECAI
2008
Springer
13 years 9 months ago
WWW sits the SAT: Measuring Relational Similarity on the Web
Abstract. Measuring relational similarity between words is important in numerous natural language processing tasks such as solving analogy questions and classifying noun-modifier r...
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuk...
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 2 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
WWW
2005
ACM
14 years 8 months ago
Learning domain ontologies for Web service descriptions: an experiment in bioinformatics
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
Marta Sabou, Chris Wroe, Carole A. Goble, Gilad Mi...