Sciweavers

4451 search results - page 86 / 891
» Continuous model synthesis
Sort
View
FOSSACS
2005
Springer
15 years 11 months ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...
COLCOM
2008
IEEE
15 years 7 months ago
Towards Continuous Workflow Enactment Systems
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
Panayiotis Neophytou, Panos K. Chrysanthis, Alexan...
ICIP
2009
IEEE
16 years 6 months ago
Super-resolution With Continuous Scan Shift
Super-resolution methods aimed to restore the spectrum of an original image above the half sampling frequency. The restoration problem is generally viewed as an inverse problem an...
PKDD
2007
Springer
121views Data Mining» more  PKDD 2007»
15 years 11 months ago
Improved Algorithms for Univariate Discretization of Continuous Features
In discretization of a continuous variable its numerical value range is divided into a few intervals that are used in classification. For example, Na¨ıve Bayes can benefit from...
Jussi Kujala, Tapio Elomaa
CIKM
1998
Springer
15 years 9 months ago
Continual Computation Policies for Utility-Directed Prefetching
People accessing documents via the Internet typically experience latencies in retrieving content. We discuss continual-computation policies that dictate strategies for prefetching...
Eric Horvitz