528 search results - page 11 / 106 » Computing Large and Small Stable Models |
137
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We examine the statistical distribution of the interference produced by a cluster of very many co-channel interferers, e.g., a sensor network, or a city full of active w...
134
Voted
EMMCVPR
2007
Springer
15 years 11 months ago
2007
Springer
Skeleton can be viewed as a compact shape representation in that the shape can be completely reconstructed form the skeleton. We present a novel method for skeleton pruning that is...
133
click to vote
PODC
2004
ACM
15 years 10 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
180
click to vote
ENTCS
2006
15 years 5 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
137
click to vote
ICCV
2001
IEEE
16 years 7 months ago
2001
IEEE
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...