8706 search results - page 644 / 1742 » Learning Subjective Language |
213
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
342
click to vote
ACMMSP
2006
ACM
16 years 1 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
196
Voted
SIGCSE
2006
ACM
16 years 1 months ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
168
click to vote
IUI
2005
ACM
16 years 1 months ago
2005
ACM
We describe several approaches for using prosodic features of speech and audio localization to control interactive applications. This information can be applied to parameter contr...
206
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...