9873 search results - page 1637 / 1975 » Emergent Semantics Systems |
219
click to vote
GG
2010
Springer
15 years 8 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
229
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
216
click to vote
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
209
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
193
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...