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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : CREST Centre, Department of Computer Science
labStructName_s : Centre d'études et de recherche en informatique et communications
Image document

A Sound Engine for Virtual Cities

Shih-Han Chan , Cécile Le Prado , Stéphane Natkin , Guillaume Tiger
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.443-445, ⟨10.1007/978-3-642-15399-0_55⟩
Conference papers hal-01055607v1
Image document

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

Kiran Lakhotia , Nikolai Tillmann , Mark Harman , Jonathan Halleux
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩
Conference papers hal-01055253v1
Image document

Player's model: criteria for a gameplay profile measure

Emmanuel Guardiola , Stéphane Natkin
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.366-371, ⟨10.1007/978-3-642-15399-0_39⟩
Conference papers hal-01059008v1