11030 search results - page 85 / 2206 » Generative Sound Models |
105
click to vote
ICOODB
2010
15 years 14 days ago
2010
Object-relational mapping (ORM) technologies have been proposed as a solution for the impedance mismatch problem between object-oriented applications and relational databases. Exis...
108
click to vote
BSL
1999
15 years 1 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
108
click to vote
NIME
2004
Springer
15 years 7 months ago
2004
Springer
StickMusic is an instrument comprised of two haptic devices, a joystick and a mouse, which control a phase vocoder in real time. The purpose is to experiment with ideas of how to ...
105
click to vote
ENTCS
2010
15 years 2 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
145
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...