Sciweavers

5284 search results - page 622 / 1057
» Ontologizing Semantic Relations
Sort
View
ESWS
2008
Springer
15 years 8 months ago
Exploring the Knowledge in Semi Structured Data Sets with Rich Queries
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...
Jürgen Umbrich, Sebastian Blohm
PROCOMET
1998
15 years 8 months ago
Bisimulations in the join-calculus
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
Michele Boreale, Cédric Fournet, Cosimo Lan...
COLING
1996
15 years 8 months ago
Generation of Paraphrases from Ambiguous Logical Forms
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
Hadar Shemtov
ICSE
2011
IEEE-ACM
14 years 10 months ago
MeCC: memory comparison-based clone detector
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun ...

Book
1569views
17 years 6 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki