2701 search results - page 101 / 541 » On the form of witness terms |
153
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
The Evolving Oblique is an interactive video and sound installation that explores the spatialization of cinematic projection and the mediative role of the human body. Centered upo...
155
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
156
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
142
click to vote
WABI
2004
Springer
15 years 11 months ago
2004
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two novel operations, called node fusion and edge fusion, besides the...
117
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The definition of a service is key to the ability to meter it, measure it, regulate it, price it, or otherwise take it into consideration. Reserves (a form of power supply insuran...