Sciweavers

2470 search results - page 190 / 494
» Liveness-Preserving Simulation Relations
Sort
View
142
Voted
AISC
2008
Springer
15 years 6 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
APPROX
2008
Springer
83views Algorithms» more  APPROX 2008»
15 years 6 months ago
Sampling Hypersurfaces through Diffusion
Abstract. We are interested in efficient algorithms for generating random samples from geometric objects such as Riemannian manifolds. As a step in this direction, we consider the ...
Hariharan Narayanan, Partha Niyogi
ATAL
2008
Springer
15 years 6 months ago
Physical parameter optimization in swarms of ultra-low complexity agents
Physical agents (such as wheeled vehicles, UAVs, hovercraft, etc.) with simple control systems are often sensitive to changes in their physical design and control parameters. As s...
Ryan Connaughton, Paul W. Schermerhorn, Matthias S...
ATAL
2008
Springer
15 years 6 months ago
Discovering tactical behavior patterns supported by topological structures in soccer agent domains
Behaviors in soccer-agent domains can involve individual plays, several players involved in tactical plays or the whole team trying to follow strategies supported by specific form...
Fernando Ramos, Huberto Ayanegui
ATAL
2008
Springer
15 years 6 months ago
Coordination in ambiguity: coordinated active localization for multiple robots
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
Shivudu Bhuvanagiri, K. Madhava Krishna, Supreeth ...