16725 search results - page 2952 / 3345 » Engineering Software Correctness |
145
click to vote
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
116
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Email-based activity management systems promise to give users better tools for managing increasing volumes of email, by organizing email according to a user’s activities. Curren...
161
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
134
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...
182
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...