2736 search results - page 265 / 548 » Understanding programmer language |
142
click to vote
UM
2007
Springer
16 years 21 days ago
2007
Springer
Increasingly, online systems depend on user contributions such as posts, ratings, tags, and comments. Many of these systems wish to encourage broader participation or the contribut...
143
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
180
click to vote
LREC
2010
15 years 8 months ago
2010
The EC-funded project DICIT developed distant-talking interfaces for interactive TV. The final DICIT prototype system processes multimodal user input by speech and remote control....
178
click to vote
COLING
1996
15 years 8 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
190
click to vote
IS
2010
15 years 5 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...