Sciweavers

489 search results - page 48 / 98
» A Formal Model for Process Context Learning
Sort
View
ECOWS
2006
Springer
15 years 1 months ago
Semantic Web Service Composition through a Matchmaking of Domain
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
Freddy Lécué, Alain Léger
JUCS
2010
106views more  JUCS 2010»
14 years 10 months ago
Situational Method Engineering: State-of-the-Art Review
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
Brian Henderson-Sellers, Jolita Ralyté
FORTE
2004
15 years 1 months ago
A Minimal Market Model in Ephemeral Markets
Abstract Peer-to-peer markets going mobile spur spontaneity in trading considerably. Spontaneity, however, imposes severe informational requirements on the market participants. Inf...
Daniel Rolli, Dirk Neumann, Christof Weinhardt
JMLR
2010
192views more  JMLR 2010»
14 years 6 months ago
Inducing Tree-Substitution Grammars
Inducing a grammar from text has proven to be a notoriously challenging learning task despite decades of research. The primary reason for its difficulty is that in order to induce...
Trevor Cohn, Phil Blunsom, Sharon Goldwater
FOSSACS
2005
Springer
15 years 5 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto