Sciweavers

2706 search results - page 332 / 542
» The case for a new business model
Sort
View
122
Voted
NIME
2004
Springer
79views Music» more  NIME 2004»
16 years 19 days 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
16 years 18 days 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 11 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