1469 search results - page 251 / 294 » A New Migration Model For Distributed Genetic Algorithms |
SIGGRAPH
2000
ACM
14 years 3 days ago
2000
ACM
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...
CONCUR
2000
Springer
14 years 2 days ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
PDIS
1996
IEEE
13 years 12 months ago
1996
IEEE
The World Wide Web is a large, heterogeneous, distributedcollectionof documents connected by hypertext links. The most common technologycurrently used for searching the Web depend...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We have developed a new on-line error modeling and optimizationbased localization approach for sensor networks in the presence of distance measurement noise. The approach...