1788 search results - page 305 / 358 » Model Theory for Process Algebra |
171
click to vote
MOBIHOC
2001
ACM
16 years 5 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
143
click to vote
CCS
2009
ACM
16 years 25 days ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
148
click to vote
CIKM
2009
Springer
16 years 18 days ago
2009
Springer
Score normalization is indispensable in distributed retrieval and fusion or meta-search where merging of result-lists is required. Distributional approaches to score normalization...
168
click to vote
ICMI
2009
Springer
16 years 17 days ago
2009
Springer
One of many skills required to engage properly in a conversation is to know the appropiate use of the rules of engagement. In order to engage properly in a conversation, a virtual...
168
click to vote
CEC
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...