4328 search results - page 132 / 866 » A New Kind of Science |
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a semantic portal, SEMPort, which provides better user support with personalized views, semantic navigation, ontology-based search and three different kinds of...
142
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. When automatic plagiarism detection is carried out considering a reference corpus, a suspicious text is compared to a set of original documents in order to relate the pla...
166
click to vote
ICMT
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
154
click to vote
LICS
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
178
click to vote
LICS
2008
IEEE
16 years 19 days ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...