Sciweavers

1733 search results - page 151 / 347
» On the naturalness of software
Sort
View
FDL
2005
IEEE
16 years 3 days ago
Formal Evaluation of Quality of Service for Data Acquisition
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
Hedia B. Ben, F. Jumel, Jean-Philippe Babau
IHM
2005
ACM
16 years 1 days ago
Librairie de widgets dialogiques pour un agent conversationnel assistant
This paper describes a library of Dialogical Widget for a mediator architecture. It provides a development framework for software designers willing to include a conversational ass...
David Leray, Jean-Paul Sansonnet
FOSSACS
2005
Springer
16 years 19 hour ago
Axiomatizations for Probabilistic Finite-State Behaviors
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
Yuxin Deng, Catuscia Palamidessi
SIGIR
2004
ACM
15 years 12 months ago
Context-based question-answering evaluation
In this poster, we will present the results of efforts we have undertaken to conduct evaluations of a QA system in a real world environment and to understand the nature of the dim...
Elizabeth D. Liddy, Anne Diekema, Ozgur Yilmazel
UIST
2004
ACM
15 years 12 months ago
Combining crossing-based and paper-based interaction paradigms for dragging and dropping between overlapping windows
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...
Pierre Dragicevic