29172 search results - page 5465 / 5835 » Modeling Systems in CLP |
192
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Interactive narrative allows the user to play a role in a story and interact with other characters controlled by the system. Directorial control is a procedure for dynamically tun...
188
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
203
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper describes our approach to the Person Name Disambiguation clustering task in the Third Web People Search Evaluation Campaign(WePS3). The method focuses on two a...
200
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
In our participation to the 2010 LogCLEF track we focused on the analysis of the European Library (TEL) logs and in particular we experimented with the identification of the natura...
195
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...