2911 search results - page 406 / 583 » A Theory of Expressiveness in Mechanisms |
JCC
2010
15 years 4 days ago
2010
The Poisson-Boltzmann equation is an important tool in modeling solvent in biomolecular systems. In this paper, we focus on numerical approximations to the electrostatic potential...
107
Voted
LICS
2010
IEEE
15 years 4 days ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
110
click to vote
MODELS
2010
Springer
15 years 4 days ago
2010
Springer
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
BMVC
2010
14 years 11 months ago
2010
We introduce a stability analysis model for multi-candidate regional and national voting schemes (aka Electoral College and Direct Popular Vote, respectively), which can be expres...
125
click to vote
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
POMDPs are the models of choice for reinforcement learning (RL) tasks where the environment cannot be observed directly. In many applications we need to learn the POMDP structure ...