3745 search results - page 8 / 749 » Sonic: System Description |
101
click to vote
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
SEACAST is a peer-to-peer live streaming protocol developed at Politecnico di Torino, which aims at improving current systems in two key areas. The first is the use of fullfledged...
DLOG
2009
14 years 9 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
102
click to vote
SMC
2010
IEEE
14 years 9 months ago
2010
IEEE
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...
101
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
We consider the problem of entity tagging: given one or more named entities from a specific domain, the goal is to automatically associate descriptive phrases, referred to as eta...
197
click to vote
FCSC
2011
14 years 3 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...