Sciweavers

8816 search results - page 287 / 1764
» Interactive Modeling of Plants
Sort
View
176
Voted
ENTCS
2010
111views more  ENTCS 2010»
15 years 4 months ago
Modular Verification of Interactive Systems with an Application to Biology
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
Peter Drábik, Andrea Maggiolo-Schettini, Pa...
INTETAIN
2009
Springer
16 years 1 months ago
An Experiment in Improvised Interactive Drama
Abstract. To inform the design of interactive drama systems, we investigate the experience of an interactor being part of a story that they can have a fundamental influence on. Im...
Ivo Swartjes, Mariët Theune
ICIDS
2010
Springer
15 years 4 months ago
Measuring User Responses to Interactive Stories: Towards a Standardized Assessment Tool
With the increasing number of prototypes and market applications of interactive storytelling, the understanding and optimization of how end users respond to computer-mediated inter...
Ivar E. Vermeulen, Christian Roth, Peter Vorderer,...
ESAW
2005
Springer
16 years 4 days ago
Agent Information Server: A Middleware for Traveler Information
This paper proposes an Agent Traveler Information Server for a daily trip in an urban area. It is based on the multi-agent paradigm and is using the Environment as Active Support o...
Mahdi Zargayouna, Flavien Balbo, Julien Saunier
CVPR
2012
IEEE
13 years 9 months ago
Structured Local Predictors for image labelling
In this paper we introduce Structured Local Predictors (SLP) – A new formulation that considers the image labelling problem from a structured learning point of view. SLP are loc...
Samuel Rota Bulò, Peter Kontschieder, Marce...