611 search results - page 104 / 123 » Index Sets of Computable Structures with Decidable Theories |
97
Voted
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
120
click to vote
RECOMB
2009
Springer
16 years 2 months ago
2009
Springer
A repetitive sequence collection is one where portions of a base sequence of length n are repeated many times with small variations, forming a collection of total length N. Example...
144
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
The availability of indoor positioning renders it possible to deploy location-based services in indoor spaces. Many such services will benefit from the efficient support for k n...
105
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
154
Voted
SIAMSC
2011
14 years 8 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...