32032 search results - page 6068 / 6407 » Verified programming in Guru |
192
click to vote
RAID
2007
Springer
16 years 28 days ago
2007
Springer
Spyware infections are becoming extremely pervasive, posing a grave threat to Internet users’ privacy. Control of such an epidemic is increasingly difficult for the existing def...
170
click to vote
RTA
2007
Springer
16 years 28 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
193
click to vote
SAMOS
2007
Springer
16 years 28 days ago
2007
Springer
— General purpose architectures are designed to offer average high performance regardless of the particular application that is being run. Performance and power inefficiencies a...
193
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
186
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....