5550 search results - page 695 / 1110 » Different Approaches to Proof Systems |
205
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
166
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with the consensus problem under communication network inducing delays. It is well-known that introducing a delay leads in general to a reduction of the perfor...
235
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
223
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
177
click to vote
ACSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Signature-based collaborative spam detection (SCSD) systems provide a promising solution addressing many problems facing statistical spam filters, the most widely adopted technol...