Sciweavers

4485 search results - page 99 / 897
» Equivalences on Observable Processes
Sort
View
AAAI
1997
13 years 11 months ago
Structured Solution Methods for Non-Markovian Decision Processes
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
Fahiem Bacchus, Craig Boutilier, Adam J. Grove
ICC
2007
IEEE
108views Communications» more  ICC 2007»
14 years 4 months ago
Subspace Methods for Network Resource Reservation Coding Processes
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
Alexandru Murgu
ISLPED
2000
ACM
107views Hardware» more  ISLPED 2000»
14 years 2 months ago
Low power mixed analog-digital signal processing
The power consumption of mixed-signal systems featured by an analog front-end, a digital back-end, and with signal processing tasks that can be computed with multiplications and a...
Mattias Duppils, Christer Svensson
VLDB
1989
ACM
155views Database» more  VLDB 1989»
14 years 2 months ago
Parallel Processing of Recursive Queries in Distributed Architectures
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...
Guy Hulin
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 10 months ago
Use of UML and Model Transformations for Workflow Process Definitions
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
Audris Kalnins, Valdis Vitolins