3706 search results - page 165 / 742 » OntoComP System Description |
203
Voted
WWW
2002
ACM
16 years 6 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
113
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...
196
click to vote
RTA
2011
Springer
14 years 8 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
161
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
130
click to vote
MM
2009
ACM
15 years 12 months ago
2009
ACM
Potential users of audio production software, such as audio equalizers, may be discouraged by the complexity of the interface. We describe a system that simplifies the interface b...