3353 search results - page 336 / 671 » Laver and set theory |
185
click to vote
SAGT
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
208
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a random finite set theoretic formulation for multi-object tracking as perceived by a 3D-LIDAR in a dynamic environment. It is mainly concerned with the joint...
176
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
179
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
162
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Procedures for collective inference make simultaneous statistical judgments about the same variables for a set of related data instances. For example, collective inference could b...