1419 search results - page 169 / 284 » Notes on Formalizing Context |
114
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Conversational dialogue systems cannot be evaluated in a fully formal manner, because dialogue is heavily dependent on context and current dialogue theory is not precise enough to ...
118
click to vote
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
102
Voted
KSEM
2009
Springer
15 years 7 months ago
2009
Springer
The changes in the dynamics of the economy and the corresponding mobility and fluctuations of knowledge workers within organizations make continuous social learning an essential f...
117
Voted
SFM
2009
Springer
15 years 7 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...