Sciweavers

988 search results - page 101 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
ISMIR
2005
Springer
149views Music» more  ISMIR 2005»
15 years 10 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 10 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 9 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 9 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 8 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