1769 search results - page 88 / 354 » An implementation of argument based discussion |
143
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
139
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
134
click to vote
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
Latent Semantic Indexing (LSI) is a well established and effective framework for conceptual information retrieval. In traditional implementations of LSI the semantic structure of...
169
click to vote
OWLED
2008
15 years 6 months ago
2008
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
111
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Several efficient and very powerful algorithms exist for detecting changes in tree-based textual documents, such as those encoded in XML. An important aspect is still underestimat...