5344 search results - page 95 / 1069 » Privacy-Preserving Set Operations |
IICAI
2003
14 years 17 days ago
2003
We propose a frame structure that is augmented with belief functions to model knowledge in a spoken dialog system. In addition we propose methods to combine belief functions in the...
CSL
2010
Springer
14 years 9 days ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
The use of genotypic populations is necessary for adaptation in Evolutionary Algorithms. We use a technique called form-invariant commutation to study the immediate effect of evol...
PLPV
2011
ACM
13 years 2 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
CHARME
2003
Springer
14 years 4 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...