3670 search results - page 435 / 734 » Linear Recursive Functions |
196
click to vote
EUROCRYPT
2004
Springer
16 years 2 days ago
2004
Springer
We revisit the following open problem in information-theoretic cryptography: Does the communication complexity of unconditionally secure computation depend on the computational com...
168
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
160
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an e...
186
Voted
ISBI
2002
IEEE
15 years 11 months ago
2002
IEEE
Determining the relationship between structure (i.e. morphology) and function is a fundamental problem in brain research. In this paper we present a new framework based on Bayesia...
189
click to vote
PAAMS
2009
Springer
15 years 11 months ago
2009
Springer
The multi-agent resource allocation problem is the negotiation of a set of resources among a population of agents, in order to maximize a social welfare function. The purpose of th...