Sciweavers

4930 search results - page 396 / 986
» Testing a Safety-Critical Application
Sort
View
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
16 years 11 days ago
G2DGA: an adaptive framework for internet-based distributed genetic algorithms
The Internet is different from traditional parallel computing environments, and Distributed Genetic Algorithms (DGAs) for the Internet need to be designed to address these diffe...
Johan Berntsson
145
Voted
ACRI
2004
Springer
16 years 7 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
CDVE
2004
Springer
104views Visualization» more  CDVE 2004»
16 years 7 days ago
Design of Cooperative Agents for Mobile Devices
The paper presents an agent-based engineering system developed for mobile devices. The proposed system has been used for constructing a wireless tourist guide application that inco...
Juan M. Corchado, Emilio Corchado, María A....
ICDAR
2003
IEEE
16 years 3 days ago
An Evolutionary Algorithm for General Symbol Segmentation
A new system is presented for general symbol segmentation, which is applicable for segmentation of any connected string of symbols, including characters and line diagrams. Using a...
Stephen Pearce, Maher Ahmed
ICDCSW
2003
IEEE
16 years 3 days ago
A Connector-Aware Middleware for Distributed Deployment and Mobility
To address the need for highly configurable and customizable distributed systems, researchers and practitioners are investigating various innovative approaches. One of the promisi...
Marija Mikic-Rakic, Nenad Medvidovic