4075 search results - page 709 / 815 » Modeling Distributed Algorithm Using B |
151
Voted
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—In this paper, we study node connectivity in multi-hop wireless networks. Nodal degree of connectivity as one of the fundamental graph properties is the basis for the study of n...
153
click to vote
IJCAI
2001
15 years 6 months ago
2001
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
136
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
140
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
The recent emergence of clouds is making the vision of utility computing realizable, i.e. computing resources and services can be delivered, utilized, and paid for as utilities su...
149
Voted
CGF
2008
15 years 4 months ago
2008
We propose a framework for 3D geometry processing that provides direct access to surface curvature to facilitate advanced shape editing, filtering, and synthesis algorithms. The c...