Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

549 results
Deposit type : Fulltext
Page :
sorted by
Image document

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

 Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto
Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Book sections hal-01470156v1
Image document

Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models

 Baltasar Trancón y Widemann , Michael Hauhs
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.225-244, ⟨10.1007/978-3-662-44124-4_13⟩
Conference papers hal-01408762v1
Image document

Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

 Baltasar Trancón y Widemann
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.211-224, ⟨10.1007/978-3-662-44124-4_12⟩
Conference papers hal-01408761v1
Image document

Canonical Nondeterministic Automata

 Robert R. Myers , Jiří Adámek , Stefan Milius , Henning Urbat
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.189-210, ⟨10.1007/978-3-662-44124-4_11⟩
Conference papers hal-01408760v1
Image document

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

 Henning Kerstan , Barbara König , Bram Westerbaan
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.168-188, ⟨10.1007/978-3-662-44124-4_10⟩
Conference papers hal-01408759v1
Image document

Categories of Coalgebras with Monadic Homomorphisms

 Wolfram Kahl
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.151-167, ⟨10.1007/978-3-662-44124-4_9⟩
Conference papers hal-01408758v1
Image document

Dijkstra Monads in Monadic Computation

 Bart Jacobs
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.135-150, ⟨10.1007/978-3-662-44124-4_8⟩
Conference papers hal-01408757v1
Image document

Coalgebraic Simulations and Congruences

 H. Peter Gumm , Mehdi Zarrad
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.118-134, ⟨10.1007/978-3-662-44124-4_7⟩
Conference papers hal-01408755v1
Image document

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics

 Sebastian Enqvist , Joshua Sack
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.98-117, ⟨10.1007/978-3-662-44124-4_6⟩
Conference papers hal-01408754v1
Image document

On Coalgebras with Internal Moves

 Tomasz Brengos
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.75-97, ⟨10.1007/978-3-662-44124-4_5⟩
Conference papers hal-01408753v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Coalgebraic Multigames

 Marina Lenisa
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.33-49, ⟨10.1007/978-3-662-44124-4_3⟩
Conference papers hal-01408751v1
Image document

Generic Weakest Precondition Semantics from Monads Enriched with Order

 Ichiro Hasuo
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers hal-01408750v1
Image document

Entertainment and Language Learning: Voice Activated Digital Game and Interactive Storytelling Trials in Singapore School

 Tim Marsh , Sim Joo Jin , Chia Ching Hong
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.217-219, ⟨10.1007/978-3-662-45212-7_27⟩
Conference papers hal-01408566v1
Image document

A Need for Interactive Music Videos

 Metic Cakmak , Helmut Hlavacs
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.244-246, ⟨10.1007/978-3-662-45212-7_36⟩
Conference papers hal-01408563v1
Image document

Informative Sound and Performance in a Team Based Computer Game

 Patrick Ng , Keith Nesbitt , Karen Blackmore
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.241-243, ⟨10.1007/978-3-662-45212-7_35⟩
Conference papers hal-01408562v1
Image document

Using Drones for Virtual Tourism

 David Mirk , Helmut Hlavacs
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.238-240, ⟨10.1007/978-3-662-45212-7_34⟩
Conference papers hal-01408561v1
Image document

TwitterFM: An Experimental Application in Entertainment and Social Broadcasting

 Theodoros Kalaitzidis, , Nikitas Sgouros
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.235-237, ⟨10.1007/978-3-662-45212-7_33⟩
Conference papers hal-01408560v1
Image document

Implementing Virtual Clients in Quake III Arena

 Stig Magnus Halvorsen , Kjetil Raaen
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.232-234, ⟨10.1007/978-3-662-45212-7_32⟩
Conference papers hal-01408559v1
Image document

Correlation between Facial Expressions and the Game Experience Questionnaire

 Chek Tien Tan , Sander Bakkes , Yusuf Pisan
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.229-231, ⟨10.1007/978-3-662-45212-7_31⟩
Conference papers hal-01408557v1
Image document

Generative Methods for Automated Music Video Editing

 Julia Stefan
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.226-228, ⟨10.1007/978-3-662-45212-7_30⟩
Conference papers hal-01408556v1
Image document

Autonomous Landing of AR.Drone

 Roman Barták, , Andrej Hraško, , David Obdržálek
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.223-225, ⟨10.1007/978-3-662-45212-7_29⟩
Conference papers hal-01408555v1
Image document

Adaptive Decision Making in Microsimulations of Urban Traffic in Virtual Environments

 Fabian Krueger , Sven Seele , Rainer Herpers , Peter Becker , Christian Bauckhage
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.220-222, ⟨10.1007/978-3-662-45212-7_28⟩
Conference papers hal-01408552v1
Image document

Interactive Performance Art Using Musical Instrument Daegeum for Healing

 Youngmi Kim
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.207-213, ⟨10.1007/978-3-662-45212-7_26⟩
Conference papers hal-01408532v1
Image document

Designing Interactive Public Art Installations: New Material Therefore New Challenges

 Jun Hu , Mathias Funk , Yu Zhang , Feng Wang
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.199-206, ⟨10.1007/978-3-662-45212-7_25⟩
Conference papers hal-01408522v1
Image document

HANASUI: Multi-view Observable and Movable Fogscreen

 Yu Ishikawa , Masafumi Muta , Junki Tamaru , Eisuke Nakata , Akira Uehara , et al.
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.189-196, ⟨10.1007/978-3-662-45212-7_24⟩
Conference papers hal-01408521v1
Image document

SONAR: Communication System for Supporting Information Gathering and Social Interaction in a Niche Market

 Junichi Hoshino , Takeru Umemura , Sachi Urano , Daiki Satoi
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.181-188, ⟨10.1007/978-3-662-45212-7_23⟩
Conference papers hal-01408520v1
Image document

Artificial Intelligence Model of an Smartphone-Based Virtual Companion

 Elham Saadatian , Thoriq Salafi , Hooman Samani , Yu De Lim , Ryohei Nakatsu
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.173-178, ⟨10.1007/978-3-662-45212-7_22⟩
Conference papers hal-01408519v1
Image document

Fractal Complexity in Built and Game Environments

 Daniel Della-Bosca , Dale Patterson , Sean Costain
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.167-172, ⟨10.1007/978-3-662-45212-7_21⟩
Conference papers hal-01408518v1
Image document

Personas versus Clones for Player Decision Modeling

 Christoffer Holmgård , Antonios Liapis , Julian Togelius , Georgios N. Yannakakis
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.159-166, ⟨10.1007/978-3-662-45212-7_20⟩
Conference papers hal-01408517v1
Page :