3007 search results - page 305 / 602 » Linear Functional Fixed-points |
135
click to vote
CAV
2003
Springer
15 years 9 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 ...
119
click to vote
ICRA
2002
IEEE
15 years 9 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...
137
Voted
ISBI
2002
IEEE
15 years 8 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...
151
Voted
PAAMS
2009
Springer
15 years 8 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...
147
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
In the Support Vector Machines (SVM) framework, the positive-definite kernel can be seen as representing a fixed similarity measure between two patterns, and a discriminant func...