2181 search results - page 304 / 437 » Ontologies and Description Logics |
175
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...
175
click to vote
ESWS
2009
Springer
16 years 29 days ago
2009
Springer
CULTURESAMPO is an application demonstration of a national level publication system of cultural heritage contents on the Web, based on ideas and technologies of the Semantic (Web a...
187
click to vote
SEMCO
2007
IEEE
16 years 20 days ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
192
click to vote
PAAPP
2007
15 years 5 months ago
2007
\Web users are nowadays confronted with the huge variety of available information sources whose content is not targeted at any specific group or layer. Recommendation systems aim...
198
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...