Philippe Codognet - Böcker
Visar alla böcker från författaren Philippe Codognet. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Logic Programming
17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Häftad, Engelska, 2001
554 kr
Skickas inom 10-15 vardagar
Anewmillenniumhasstartedandnewtools,heirsofthreedecadesofresearch and development in the Logic Programming paradigm, are bringing new so- tionstocopewiththeincreasingcomplexityoftoday'scomputersystems.C- putationallogicingeneralandlogicprogramminginparticularwillalwaysplaya keyroleintheunderstanding,formalizing,anddevelopmentofcomplexsoftware. ICLP2001 was the 17th International Conference on Logic Programming andcontinuedaseriesofconferencesinitiatedinMarseille,France,in1982.This year ICLP was held in conjunction with CP2001, the 7th International C- ference on Principle and Practice of Constraint Programming. A coordinated programscheduleandjointeventswereorganizedinordertomaximizethe- teractionbetweenthesetwoneighboringcommunities.LOPSTR2001,the11th international workshop on Logic-based Program Synthesis and Transformation was also co-located with ICLP2001 and CP2001 this year, bringing together a larger community to share novel research results. Seven satellite workshops were also associated to the conference and took place on the day following the conference.We received 64 papers, among which 23 were selected for presentation at theconferenceandinclusionintheconferenceproceedings.Inadditiontopaper presentations,theconferenceprogramalsoincludedfourinvitedtalksandfour tutorials.Wechosethisyeartocelebratethefoundersofthelogicprogramming ?eld,namelyAlainColmerauerandBobKowalski,whoarebothcelebratingtheir 60th birthday. The other two invited talks were given by Patrick Cousot, p- neerinthe?eldofabstractinterpretation,andAshishGupta,whopresentedhis industrial experience on cross-enterprise databases at amazon.com and Tavant Technologies. The four tutorials were given by Eric Villemonte de la Clergerie, V.S.Subrahmanian,KazunoriUeda,andJanWielemaker. I would like to thank all the authors of the submitted papers, the Program Committeemembers,andtherefereesfortheirtimeande?ortsspentinthe- viewingprocess,theconferencechairTonyKakasandhisteamattheUniversity ofCyprusfortheexcellentorganizationoftheconference,andTobyWalsh,the CP2001 program chair, for his constant cooperation and interaction. Last but notleast,specialthankstoYoannFabreattheUniversityofParis6fortaking careofinstallingandmaintainingthepaperreviewsystem.
Cultural Computing
Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Inbunden, Engelska, 2010
554 kr
Skickas inom 10-15 vardagar
Welcome to the Second International IFIP Entertainment Computing Symposium on st Cultural Computing (ECS 2010), which was part of the 21 IFIP World Computer Congress, held in Brisbane, Australia during September 21–23, 2010. On behalf of the people who made this conference happen, we wish to welcome you to this inter- tional event. The IFIP World Computer Congress has offered an opportunity for researchers and practitioners to present their findings and research results in several prominent areas of computer science and engineering. In the last World Computer Congress, WCC 2008, held in Milan, Italy in September 2008, IFIP launched a new initiative focused on all the relevant issues concerning computing and entertainment. As a - sult, the two-day technical program of the First Entertainment Computing Symposium (ECS 2008) provided a forum to address, explore and exchange information on the state of the art of computer-based entertainment and allied technologies, their design and use, and their impact on society. Based on the success of ECS 2008, at this Second IFIP Entertainment Computing Symposium (ECS 2010), our challenge was to focus on a new area in entertainment computing: cultural computing.
Cultural Computing
Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Häftad, Engelska, 2014
554 kr
Skickas inom 10-15 vardagar
Welcome to the Second International IFIP Entertainment Computing Symposium on st Cultural Computing (ECS 2010), which was part of the 21 IFIP World Computer Congress, held in Brisbane, Australia during September 21–23, 2010. On behalf of the people who made this conference happen, we wish to welcome you to this inter- tional event. The IFIP World Computer Congress has offered an opportunity for researchers and practitioners to present their findings and research results in several prominent areas of computer science and engineering. In the last World Computer Congress, WCC 2008, held in Milan, Italy in September 2008, IFIP launched a new initiative focused on all the relevant issues concerning computing and entertainment. As a - sult, the two-day technical program of the First Entertainment Computing Symposium (ECS 2008) provided a forum to address, explore and exchange information on the state of the art of computer-based entertainment and allied technologies, their design and use, and their impact on society. Based on the success of ECS 2008, at this Second IFIP Entertainment Computing Symposium (ECS 2010), our challenge was to focus on a new area in entertainment computing: cultural computing.