Sciweavers

1838 search results - page 174 / 368
» Process modelling: the deontic way
Sort
View
WSC
2004
15 years 7 months ago
Utilizing Simulation to Evaluate Business Decisions in Sense-and-Respond Systems
Simulation can be an effective way to evaluate alternative decisions in Sense-and-Respond systems prior to taking actions to resolve existing or anticipated business situations. I...
Paul Huang, Young M. Lee, Lianjun An, Markus Ettl,...
ENTCS
2008
64views more  ENTCS 2008»
15 years 6 months ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ICASSP
2008
IEEE
16 years 27 days ago
Modified polyphone decision tree specialization for porting multilingual Grapheme based ASR systems to new languages
Automatic speech recognition (ASR) systems have been developed only for a very limited number of the estimated 7,000 languages in the world. In order to avoid the evolvement of a ...
Sebastian Stüker
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 11 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
EACL
2006
ACL Anthology
15 years 7 months ago
Data-Driven Generation of Emphatic Facial Displays
We describe an implementation of datadriven selection of emphatic facial displays for an embodied conversational agent in a dialogue system. A corpus of sentences in the domain of...
Mary Ellen Foster, Jon Oberlander