Sciweavers

592 search results - page 65 / 119
» Analytical Tools for Natural Algorithms
Sort
View
106
Voted
SPIN
2010
Springer
14 years 11 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
DGO
2003
79views Education» more  DGO 2003»
15 years 2 months ago
Finding Outliers in Models of Spatial Data
Statistical models fit to data often require extensive and challenging re-estimation before achieving final form. For example, outliers can adversely affect fits. In other cas...
David W. Scott, J. Blair Christian
82
Voted
GECCO
2005
Springer
15 years 6 months ago
Theme preservation and the evolution of representation
The identification of mechanisms by which constraints on phenotypic variability are tuned in nature, and the implementation of these mechanisms in Evolutionary Algorithms (EAs) ca...
Keki M. Burjorjee, Jordan B. Pollack
98
Voted
MASS
2010
119views Communications» more  MASS 2010»
14 years 10 months ago
Energy-efficient data redistribution in sensor networks
We address the energy-efficient data redistribution problem in data intensive sensor networks (DISNs). The key question in sensor networks with large volumes of sensory data is how...
Bin Tang, Neeraj Jaggi, Haijie Wu, Rohini Kurkal
128
Voted
MOBICOM
2012
ACM
13 years 3 months ago
Temporal reachability graphs
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
John Whitbeck, Marcelo Dias de Amorim, Vania Conan...