Sciweavers

988 search results - page 101 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
ISMIR
2005
Springer
149views Music» more  ISMIR 2005»
15 years 3 months ago
Annotating Musical Scores in ENP
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...
Mika Kuuskankare, Mikael Laurson
TLCA
2005
Springer
15 years 3 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
ITC
2003
IEEE
125views Hardware» more  ITC 2003»
15 years 3 months ago
Progressive Bridge Identification
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
Thomas J. Vogels, Wojciech Maly, R. D. (Shawn) Bla...
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 3 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
ICRA
1999
IEEE
123views Robotics» more  ICRA 1999»
15 years 2 months ago
Planar Image Based Visual Servoing as a Navigation Problem
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
Noah J. Cowan, Daniel E. Koditschek