1631 search results - page 172 / 327 » Uniform Distributed Synthesis |
117
click to vote
CSCWD
2009
Springer
15 years 10 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
121
click to vote
CLUSTER
2008
IEEE
15 years 9 months ago
2008
IEEE
—Divisible load model allows scheduling algorithms that give nearly optimal makespan with practical computational complexity. Beaumont et al. have shown that their algorithm prod...
130
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—Consider a wireless multi-hop network formed by distributing a total of n nodes randomly and uniformly in the unit cube [0, 1]d (d = 1, 2, 3) and connecting any two distinct nod...
113
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we introduce an approach to active camera control for visual SLAM. Features, detected by a biologically motivated attention system, are tracked over several fram...
154
click to vote
ADMA
2008
Springer
15 years 9 months ago
2008
Springer
To avoid the loss of semantic information due to the partition of quantitative values, this paper proposes a novel algorithm, called MPSQAR, to handle the quantitative association ...