4057 search results - page 424 / 812 » Linear combination of transformations |
176
click to vote
PPDP
2004
Springer
16 years 3 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
190
click to vote
EUSAI
2003
Springer
15 years 12 months ago
2003
Springer
This invited talk starts out with a review of the previously developed Roomware® concept and sample prototypes as an approach for designing new forms of interaction and collaborat...
146
Voted
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited represe...
172
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
A medial surface representation of a grey-level volume image is computed. The foreground is reduced to a subset topologically equivalent to the initial foreground and mainly consi...
164
click to vote
PCM
2009
Springer
15 years 11 months ago
2009
Springer
Many presentations consisting of video, audio and slides are being recorded for wider dissemination purposes. Video slide alignment is necessary for efficient review and hence has ...