Sciweavers

949 search results - page 59 / 190
» Programmed Mutagenesis Is Universal
Sort
View
CP
2009
Springer
16 years 7 months ago
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency
The length-lex representation for set variables orders all subsets of a given universe of values according to cardinality and lexicography. To achieve length-lex bounds consistency...
Meinolf Sellmann
ICALP
2007
Springer
16 years 23 days ago
Holographic Algorithms: The Power of Dimensionality Resolved
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
Jin-yi Cai, Pinyan Lu
FECS
2010
146views Education» more  FECS 2010»
15 years 4 months ago
Teaching Robotics to Freshman Students
This paper describes the experience of teaching robotics at the freshman level, from the conception of the project through the offering of a computer science seminar in robotics, h...
Pedro Diaz-Gomez, Johnny Carroll
PPDP
2009
Springer
16 years 1 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
ITICSE
2005
ACM
16 years 5 days ago
Novice Java programmers' conceptions of "object" and "class", and variation theory
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a fi...
Anna Eckerdal, Michael Thuné