478 search results - page 52 / 96 » Formal Modelling of Cognitive Interpretation |
152
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
134
Voted
ACL
2008
15 years 4 months ago
2008
In spoken dialogue systems, Partially Observable Markov Decision Processes (POMDPs) provide a formal framework for making dialogue management decisions under uncertainty, but effi...
100
click to vote
ENTCS
2007
15 years 3 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
133
Voted
TRS
2008
15 years 3 months ago
2008
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...
115
Voted
DSS
2007
15 years 3 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...