2525 search results - page 293 / 505 » A Framework for Semantic Gossiping |
157
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
— Cloud computing has gained significant traction in recent years. The Map-Reduce framework is currently the most dominant programming model in cloud computing settings. In this ...
207
click to vote
IDEAS
2009
IEEE
16 years 28 days ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
135
click to vote
ICPR
2008
IEEE
16 years 21 days ago
2008
IEEE
Many video surveillance applications require detecting human reappearances in a scene monitored by a camera or over a network of cameras. This is the human reappearance detection ...
140
click to vote
SAS
2007
Springer
16 years 11 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
148
click to vote
TACAS
2007
Springer
16 years 11 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...