Sciweavers

15754 search results - page 555 / 3151
» Programs are Knowledge Bases
Sort
View
CEC
2008
IEEE
16 years 1 months ago
Semantically driven crossover in genetic programming
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
Lawrence Beadle, Colin G. Johnson
ICS
2010
Tsinghua U.
15 years 11 months ago
Memory Consistency Conditions for Self-Assembly Programming
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
Aaron Sterling
OPODIS
2003
15 years 8 months ago
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
Alper Sen, Vijay K. Garg
INTERNET
2008
134views more  INTERNET 2008»
15 years 7 months ago
Multilanguage Programming
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
Steve Vinoski
ISSRE
2010
IEEE
15 years 5 months ago
The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study
—Coupling in software applications is often used as an indicator of external quality attributes such as fault-proneness. In fact, the correlation of coupling metrics and faults i...
Rachel Burrows, Fabiano Cutigi Ferrari, Otá...