4075 search results - page 377 / 815 » Modeling Distributed Algorithm Using B |
274
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
175
click to vote
GLVLSI
2006
IEEE
16 years 26 days ago
2006
IEEE
Reliability has become a significant challenge for system design in new process technologies. Higher integration levels dramatically increase power densities, which leads to high...
183
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
—Existing research demonstrated that an effective Routing and Wavelength Assignment (RWA) scheme and a wavelength converter placement algorithm are the two primary vehicles for i...
187
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Tree-structured probabilistic models admit simple, fast inference. However, they are not well suited to phenomena such as occlusion, where multiple components of an object may dis...
158
click to vote
ASPLOS
2006
ACM
16 years 24 days ago
2006
ACM
Growing on-chip wire delays are motivating architectural features that expose on-chip communication to the compiler. EDGE architectures are one example of communication-exposed mi...