Sciweavers

4836 search results - page 679 / 968
» Exploring the Similarity Space
Sort
View
197
Voted
CONCUR
2009
Springer
16 years 2 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
222
Voted
COSIT
2009
Springer
133views GIS» more  COSIT 2009»
16 years 2 months ago
SeaTouch: A Haptic and Auditory Maritime Environment for Non Visual Cognitive Mapping of Blind Sailors
Abstract. Navigating consists of coordinating egocentric and allocentric spatial frames of reference. Virtual environments have afforded researchers in the spatial community with ...
Mathieu Simonnet, Dan Jacobson, Stephane Vieillede...
GECCO
2009
Springer
16 years 2 months ago
Evolution of team composition in multi-agent systems
Evolution of multi-agent teams has been shown to be an effective method of solving complex problems involving the exploration of an unknown problem space. These autonomous and het...
Joshua Rubini, Robert B. Heckendorn, Terence Soule
GECCO
2009
Springer
107views Optimization» more  GECCO 2009»
16 years 2 months ago
Swarming along the evolutionary branches sheds light on genome rearrangement scenarios
A genome rearrangement scenario describes a series of chromosome fusion, fission, and translocation operations that suffice to rewrite one genome into another. Exact algorithmic ...
Nikolay Vyahhi, Adrien Goëffon, Macha Nikolsk...
ICANNGA
2009
Springer
212views Algorithms» more  ICANNGA 2009»
16 years 2 months ago
Evolutionary Regression Modeling with Active Learning: An Application to Rainfall Runoff Modeling
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
Ivo Couckuyt, Dirk Gorissen, Hamed Rouhani, Eric L...