3505 search results - page 534 / 701 » A Language for Human Action |
207
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
171
click to vote
CSCW
2006
ACM
16 years 15 days ago
2006
ACM
Even though multilingual communities that use machine translation to overcome language barriers are increasing, we still lack a complete understanding of how machine translation a...
174
click to vote
OOPSLA
2005
Springer
16 years 21 hour ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
157
click to vote
VSTTE
2005
Springer
16 years 10 hour ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
177
click to vote
INLG
2004
Springer
15 years 12 months ago
2004
Springer
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...