Sciweavers

11030 search results - page 327 / 2206
» Generative Sound Models
Sort
View
ER
2008
Springer
134views Database» more  ER 2008»
15 years 8 months ago
On Measuring Process Model Similarity Based on High-Level Change Operations
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...
Chen Li, Manfred Reichert, Andreas Wombacher
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
15 years 4 months ago
Heteroscedastic Gaussian processes for data fusion in large scale terrain modeling
This paper presents a novel approach to data fusion for stochastic processes that model spatial data. It addresses the problem of data fusion in the context of large scale terrain ...
Shrihari Vasudevan, Fabio T. Ramos, Eric Nettleton...
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
15 years 4 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...
EDBTW
2006
Springer
15 years 10 months ago
A Data and Query Model for Streaming Geospatial Image Data
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
Michael Gertz, Quinn Hart, Carlos Rueda, Shefali S...