2702 search results - page 325 / 541 » Practically Applicable Formal Methods |
112
Voted
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
131
Voted
AAAI
2007
15 years 5 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
125
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
137
click to vote
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...
100
Voted
NAACL
2007
15 years 4 months ago
2007
This paper describes a new grapheme-tophoneme framework, based on a combination of formal linguistic and statistical methods. A context-free grammar is used to parse words into th...