Sciweavers

1529 search results - page 241 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
106
Voted
CORR
2006
Springer
143views Education» more  CORR 2006»
15 years 18 days ago
A Knowledge-Based Approach for Selecting Information Sources
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
Thomas Eiter, Michael Fink, Hans Tompits
107
Voted
ICFP
2010
ACM
15 years 1 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
90
Voted
EMNLP
2010
14 years 10 months ago
Towards Conversation Entailment: An Empirical Investigation
While a significant amount of research has been devoted to textual entailment, automated entailment from conversational scripts has received less attention. To address this limita...
Chen Zhang, Joyce Yue Chai
PLDI
2000
ACM
15 years 5 months ago
Functional reactive programming from first principles
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
Zhanyong Wan, Paul Hudak
DEXAW
1995
IEEE
101views Database» more  DEXAW 1995»
15 years 4 months ago
Principles and Tools for Authoring Knowledge-Rich Documents
Digital libraries can take advantage of documents that have their content (semantics) explicitly represented as knowledge structures. These knowledge-rich documents can be created ...
Robert P. Futrelle, Natalya Fridman Noy