5818 search results - page 874 / 1164 » A reasonable Semantic Web |
161
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
283
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
247
click to vote
ACL
2010
15 years 4 months ago
2010
Information-extraction (IE) systems seek to distill semantic relations from naturallanguage text, but most systems use supervised learning of relation-specific examples and are th...
160
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Web logs collected by proxy servers, referred to as proxy logs or proxy traces, contain information about Web document accesses by many users against many Web sites. This "man...
171
click to vote
TITB
2002
15 years 6 months ago
2002
The complex questions and analyses posed by biologists, as well as the diverse data resources they develop, require the fusion of evidence from different, independently developed ...