Sciweavers

2706 search results - page 332 / 542
» The case for a new business model
Sort
View
NIME
2004
Springer
79views Music» more  NIME 2004»
15 years 12 months ago
Toward a generalized friction controller: from the bowed string to unusual musical instruments
We present case studies of unusual instruments that share the same excitation mechanism as that of the bowed string. The musical saw, Tibetan singing bow, glass harmonica, and bow...
Stefania Serafin, Diana Young
STACS
2004
Springer
15 years 12 months ago
Desert Automata and the Finite Substitution Problem
d Abstract)⋆⋆ Daniel Kirsten LIAFA, Universit´e Denis Diderot – Case 7014, 2 place Jussieu, F-75251 Paris Cedex 05, France We give a positive solution to the so-called fini...
Daniel Kirsten
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 10 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
UAI
2008
15 years 8 months ago
AND/OR Importance Sampling
The paper introduces an AND/OR importance sampling scheme for probabilistic graphical models. In contrast to conventional importance sampling, AND/OR importance sampling caches sa...
Vibhav Gogate, Rina Dechter
EACL
2006
ACL Anthology
15 years 8 months ago
CDER: Efficient MT Evaluation Using Block Movements
Most state-of-the-art evaluation measures for machine translation assign high costs to movements of word blocks. In many cases though such movements still result in correct or alm...
Gregor Leusch, Nicola Ueffing, Hermann Ney