Sciweavers

596 search results - page 82 / 120
» Providing Automatic Support for Heuristic Rules of Methods
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
GECCO
2006
Springer
140views Optimization» more  GECCO 2006»
15 years 1 months ago
A representational ecology for learning classifier systems
The representation used by a learning algorithm introduces a bias which is more or less well-suited to any given learning problem. It is well known that, across all possible probl...
James A. R. Marshall, Tim Kovacs
73
Voted
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
15 years 3 months ago
Tactical UGV navigation and logistics planning
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
Talib S. Hussain, Daniel Cerys, David J. Montana, ...
DCC
2009
IEEE
15 years 10 months ago
Optimization of Correlated Source Coding for Event-Based Monitoring in Sensor Networks
Motivated by the paradigm of event-based monitoring, which can potentially alleviate the inherent bandwidth and energy constraints associated with wireless sensor networks, we con...
Jaspreet Singh, Ankur Saxena, Kenneth Rose, Upaman...
CSE
2009
IEEE
15 years 4 months ago
The Importance of Data Collection for Modelling Contact Networks
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
Eiko Yoneki