Sciweavers

3136 search results - page 503 / 628
» Genetic programming theory
Sort
View
VISSOFT
2005
IEEE
15 years 12 months ago
The Dominance Tree in Visualizing Software Dependencies
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
Raimar Falke, Raimund Klein, Rainer Koschke, Joche...
WMTE
2005
IEEE
15 years 12 months ago
Quilt Snaps: A Fabric Based Computational Construction Kit
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
Leah Buechley, Nwanua Elumeze, Camille Dodson, Mic...
HYBRID
2005
Springer
15 years 12 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
ICALP
2005
Springer
15 years 12 months ago
Up-to Techniques for Weak Bisimulation
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
Damien Pous
SEKE
2005
Springer
15 years 12 months ago
From Data to Knowledge: an Integrated Rule-Based Data Mining System
This paper presents an integrated rule-based data mining system that is capable of creating rulebased classifiers with web-based user interface from data sets provided by end user...
Chien-Chung Chan, Zhicheng Su