4057 search results - page 424 / 812 » Linear combination of transformations |
204
click to vote
PPDP
2004
Springer
16 years 29 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...
214
click to vote
EUSAI
2003
Springer
16 years 25 days 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...
166
click to vote
GECCO
2003
Springer
16 years 24 days 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...
185
click to vote
ICPR
2002
IEEE
16 years 16 days 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...
194
click to vote
PCM
2009
Springer
16 years 4 days 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 ...