2911 search results - page 342 / 583 » A Theory of Expressiveness in Mechanisms |
144
click to vote
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
120
click to vote
ICASSP
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper proposes an improved model for the transient of convex combinations of adaptive filters. A previous model, based on a firstorder Taylor series approximation of the nonl...
121
click to vote
NAACL
2010
14 years 11 months ago
2010
Two of the mechanisms for creating natural transitions between adjacent sentences in a text, resulting in local coherence, involve discourse relations and switches of focus of att...
121
click to vote
FMCO
2009
Springer
14 years 11 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
106
click to vote
IFIP12
2009
14 years 11 months ago
2009
This paper describes an argumentation-based approach for automating the decision making process of an autonomous agent for pricing products. Product pricing usually involves differ...