8009 search results - page 194 / 1602 » cans 2005 |
140
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a corpus-based approach for the automatic analysis and synthesis of email responses to help-desk requests. This approach can be used to automatically deal with...
154
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
237
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
183
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
156
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
A common problem with teleconferences is awkward turn-taking – particularly ‘collisions,’ whereby multiple parties inadvertently speak over each other due to communication d...