Sciweavers

3025 search results - page 309 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
129
Voted
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 10 months ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
DIAGRAMS
2004
Springer
15 years 9 months ago
A Prototype Inference Engine for Rule-Based Geometric Reasoning
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
Joseph J. Pfeiffer Jr.
POPL
2009
ACM
16 years 4 months ago
Proving that non-blocking algorithms don't block
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
Alexey Gotsman, Byron Cook, Matthew J. Parkinson, ...
PEPM
2010
ACM
16 years 26 days ago
Optimizing generics is easy!
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
José Pedro Magalhães, Stefan Holderm...
HICSS
2008
IEEE
128views Biometrics» more  HICSS 2008»
15 years 10 months ago
Service Composition Language to Unify Simulation and Optimization of Supply Chains
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Alexander Brodsky, Malak Al-Nory, Hadon Nash