Sciweavers

1642 search results - page 64 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
142
Voted
JAIR
2000
152views more  JAIR 2000»
15 years 4 months ago
Value-Function Approximations for Partially Observable Markov Decision Processes
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
Milos Hauskrecht
NCA
2008
IEEE
15 years 11 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
ECWEB
2007
Springer
144views ECommerce» more  ECWEB 2007»
15 years 10 months ago
Structural and Semantic Similarity Metrics for Web Service Matchmaking
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
Akin Günay, Pinar Yolum
142
Voted
JMLR
2010
118views more  JMLR 2010»
14 years 11 months ago
Dirichlet Process Mixtures of Generalized Linear Models
We propose Dirichlet Process mixtures of Generalized Linear Models (DP-GLMs), a new method of nonparametric regression that accommodates continuous and categorical inputs, models ...
Lauren Hannah, David M. Blei, Warren B. Powell
CSCLP
2008
Springer
15 years 6 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin