Sciweavers

1019 search results - page 173 / 204
» Petri Net Transformations in the
Sort
View
QEST
2010
IEEE
13 years 5 months ago
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
András Horváth, Lorenzo Ridi, Enrico...
CVPR
2007
IEEE
14 years 9 months ago
Free-Form Nonrigid Image Registration Using Generalized Elastic Nets
We introduce a novel probabilistic approach for nonparametric nonrigid image registration using generalized elastic nets, a model previously used for topographic maps. The idea of...
Andriy Myronenko, Miguel Á. Carreira-Perpi&...
WWW
2003
ACM
14 years 8 months ago
Content extraction signatures using XML digital signatures and custom transforms on-demand
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...
David Squire, Laurence Bull, Peter Stañski
CHI
2006
ACM
14 years 8 months ago
ButterflyNet: a mobile capture and access system for field biology research
Through a study of field biology practices, we observed that biology fieldwork generates a wealth of heterogeneous information, requiring substantial labor to coordinate and disti...
Ron B. Yeh, Chunyuan Liao, Scott R. Klemmer, Fran&...
SIGMOD
2003
ACM
152views Database» more  SIGMOD 2003»
14 years 7 months ago
Warping Indexes with Envelope Transforms for Query by Humming
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...
Yunyue Zhu, Dennis Shasha