Sciweavers

4235 search results - page 162 / 847
» Processes in Space
Sort
View
QEST
2009
IEEE
14 years 6 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
IPPS
2009
IEEE
14 years 5 months ago
Elastic scaling of data parallel operators in stream processing
We describe an approach to elastically scale the performance of a data analytics operator that is part of a streaming application. Our techniques focus on dynamically adjusting th...
Scott Schneider, Henrique Andrade, Bugra Gedik, Al...
ICWE
2009
Springer
14 years 3 months ago
Conceptual Modeling of Multimedia Search Applications Using Rich Process Models
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
Alessandro Bozzon, Marco Brambilla, Piero Fraterna...
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
14 years 3 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys
ICML
1994
IEEE
14 years 2 months ago
Learning Without State-Estimation in Partially Observable Markovian Decision Processes
Reinforcement learning (RL) algorithms provide a sound theoretical basis for building learning control architectures for embedded agents. Unfortunately all of the theory and much ...
Satinder P. Singh, Tommi Jaakkola, Michael I. Jord...