Sciweavers

4895 search results - page 217 / 979
» Functional Quantum Programming
Sort
View
ICRA
2010
IEEE
100views Robotics» more  ICRA 2010»
15 years 4 months ago
Weighted barrier functions for computation of force distributions with friction cone constraints
— We present a novel Weighted Barrier Function (WBF) method of efficiently computing optimal grasping force distributions for multifingered hands. Second-order conic friction c...
Per Henrik Borgstrom, Maxim A. Batalin, Gaurav S. ...
150
Voted
CEC
2009
IEEE
16 years 1 months ago
Self modifying Cartesian Genetic Programming: Parity
— Self Modifying CGP (SMCGP) is a developmental form of Cartesian Genetic Programming(CGP). It differs from CGP by including primitive functions which modify the program. Beginni...
Simon Harding, Julian Francis Miller, Wolfgang Ban...
274
Voted
WFLP
2009
Springer
297views Algorithms» more  WFLP 2009»
16 years 29 days ago
Programming with Multiple Paradigms in Lua
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...
Roberto Ierusalimschy
PPDP
2004
Springer
15 years 11 months ago
A lazy narrowing calculus for declarative constraint programming
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
Francisco Javier López-Fraguas, Mario Rodr&...
166
Voted
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 11 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet