Sciweavers

1969 search results - page 231 / 394
» Pattern Languages in Interaction Design
Sort
View
149
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 1 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICASSP
2008
IEEE
15 years 10 months ago
Automatic classification of question turns in spontaneous speech using lexical and prosodic evidence
The ability to identify speech acts reliably is desirable in any spoken language system that interacts with humans. Minimally, such a system should be capable of distinguishing be...
Sankaranarayanan Ananthakrishnan, Prasanta Ghosh, ...
ISPASS
2003
IEEE
15 years 9 months ago
Evaluating the importance of virtual memory for Java
The Java language has rapidly become widespread and it is being used to implement a broad range of applications, including applications with high resource requirements. For this r...
Yolanda Becerra, Toni Cortes, Jordi Garcia, Nacho ...
WEBI
2001
Springer
15 years 8 months ago
An Effective Conversational Agent with User Modeling Based on Bayesian Network
Abstract. Conversational agents interact with users using natural language interface. Especially in Internet space, their role has been recently highlighted as a virtual representa...
Seung-Ik Lee, Chul Sung, Sung-Bae Cho
ACTA
2005
90views more  ACTA 2005»
15 years 3 months ago
MOMI: a calculus for mobile mixins
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
Lorenzo Bettini, Betti Venneri, Viviana Bono