Sciweavers

Share
ACL
2012
7 years 3 months ago
INPRO_iSS: A Component for Just-In-Time Incremental Speech Synthesis
We present a component for incremental speech synthesis (iSS) and a set of applications that demonstrate its capabilities. This component can be used to increase the responsivity ...
Timo Baumann, David Schlangen
HCI
2009
8 years 11 months ago
People-Oriented Programming: From Agent-Oriented Analysis to the Design of Interactive Systems
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
Steve Goschnick
FAC
2000
114views more  FAC 2000»
9 years 1 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
JUCS
2008
125views more  JUCS 2008»
9 years 1 months ago
Evaluation of Agent-based Interactive Systems: Proposal of an Electronic Informer Using Petri Nets
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
Chi Dung Tran, Houcine Ezzedine, Christophe Kolski
FUIN
2006
97views more  FUIN 2006»
9 years 1 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu
CONCUR
2010
Springer
9 years 2 months ago
Information Flow in Interactive Systems
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
Mário S. Alvim, Miguel E. Andrés, Ca...
HERCMA
2001
126views Mathematics» more  HERCMA 2001»
9 years 2 months ago
Why computerized models to control virtual Humans?
Interactive systems, games, VR and multimedia systems require more and more flexible Virtual Humans with individualities. There are mainly two approaches: 1) Recording the motion u...
Daniel Thalmann
IFIP13
2004
9 years 2 months ago
Formal Verification and Validation of Interactive Systems Specifications
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
Yamine Aït Ameur, Benoit Breholée, Pat...
EHCI
2004
9 years 2 months ago
Towards a New Generation of Widgets for Supporting Software Plasticity: The "Comet"
This paper addresses software adaptation to context of use. It goes one step further than our early work on plasticity [5]. Here, we propose a revision of the notion of software pl...
Gaëlle Calvary, Joëlle Coutaz, Olfa D&ac...
CASCON
2006
107views Education» more  CASCON 2006»
9 years 2 months ago
Tailoring UML activities to use case modeling for web application development
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
Alexander Lorenz, Hans-Werner Six
books