Sciweavers

2335 search results - page 243 / 467
» Functional Differentiation of Computer Programs
Sort
View
108
Voted
LICS
1997
IEEE
15 years 4 months ago
Semantics of Exact Real Arithmetic
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
Peter John Potts, Abbas Edalat, Martín H&ou...
134
Voted
CEC
2011
IEEE
14 years 16 days ago
Cost-benefit analysis of using heuristics in ACGP
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
John W. Aleshunas, Cezary Z. Janikow
SAFECOMP
2007
Springer
15 years 6 months ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
NIME
2004
Springer
155views Music» more  NIME 2004»
15 years 6 months ago
A New Mix of Forgotten Technology: Sound Generation, Sequencing and Performance Using an Optical Turntable
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
Nikita Pashenkov
100
Voted
IWAN
2000
Springer
15 years 4 months ago
Two Rule-Based Building-Block Architectures for Policy-Based Network Control
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
Yasusi Kanada