Sciweavers

813 search results - page 69 / 163
» desire 2010
Sort
View
HYBRID
2010
Springer
14 years 24 days ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
ICASSP
2010
IEEE
13 years 7 months ago
Preserving the character of perturbations in scaled pitch contours
The global and fine dynamic components of a pitch contour in voice production, as in the speaking and singing voice, are important for both the meaning and character of an utteran...
Thomas Baran, Nicolas Malyska, Thomas F. Quatieri
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
Improved Variational Guiding of Smoke Animations
Smoke animations are hard to art-direct because simple changes in parameters such as simulation resolution often lead to unpredictable changes in the final result. Previous work ...
Michael B. Nielsen and Brian B. Christensen
PODS
2010
ACM
181views Database» more  PODS 2010»
14 years 22 days ago
Schema design for XML repositories: complexity and tractability
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
Wim Martens, Matthias Niewerth, Thomas Schwentick
SIGIR
2010
ACM
13 years 11 months ago
Extending average precision to graded relevance judgments
Evaluation metrics play a critical role both in the context of comparative evaluation of the performance of retrieval systems and in the context of learning-to-rank (LTR) as objec...
Stephen E. Robertson, Evangelos Kanoulas, Emine Yi...