新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

cyph3r ai [48 articles]

最近 cyph3r さんのライブラリに追加された論文の中から タグ ai. You can also see everyone's ai.
  • Test input generation with java PathFinder
    Vol. 29, No. 4. (July 2004), pp. 97-107.
    by Willem Visser, Corina S P&\#462;s&\#462;reanu, Sarfraz Khurshid
  • Test input generation for java containers using state matching
    (2006), pp. 37-48.
    by Willem Visser, Corina S Pasareanu, Radek Pelanek
  • notes Generating Java unit tests with AI planning
    (2007), pp. 2-6.
    by Eddie Dingels, Timothy Fraser, Alexander Quinn
    posted to ai da planning project-planning test-data-generation by cyph3r on 2008-08-24 19:26:58 as *****
  • The ASTOOT approach to testing object-oriented programs
    ACM Trans. Softw. Eng. Methodol., Vol. 3, No. 2. (April 1994), pp. 101-130.
    by Roong-Ko Doong, Phyllis G Frankl
    posted to ai da oo project-planning testing to_read by cyph3r on 2008-08-21 14:59:42 as ****
  • An Automated Approach for Goal-driven, Specification-based Testing
    (2006), pp. 289-292.
    by Kristina Winbladh, Thomas A Alspaugh, Hadar Ziv, Debra J Richardson
    posted to ai da goal-oriented graphs planning project-planning by cyph3r on 2008-08-09 12:21:46 as **
  • notes The chaining approach for software test data generation
    ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86.
    by Bogdan Korel, Roger Ferguson
  • notes Feedback-Directed Random Test Generation
    (2007), pp. 75-84.
    by Carlos Pacheco, Shuvendu K Lahiri, Michael D Ernst, Thomas Ball
  • notes EXE: automatically generating inputs of death
    (2006), pp. 322-335.
    by Cristian Cadar, Vijay Ganesh, Peter M Pawlowski, David L Dill, Dawson R Engler
  • Experiments with Test Case Generation and Runtime Analysis
    Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (2003), 87.
    by Cyrille Artho, Doron Drusinksy, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser
  • Automated Test Data Generation Using an Iterative Relaxation Method
    (1998), pp. 231-244.
    by Neelam Gupta, Aditya P Mathur, Mary L Soffa
    posted to ai da project-planning relaxation test-data-generation by cyph3r on 2008-08-05 12:10:36 as **
  • Understanding and Extending Graphplan
    (1997), pp. 260-272.
    by Subbarao Kambhampati, Eric Parker, Eric Lambrecht
    posted to ai da graphplan planning project-planning by cyph3r on 2008-08-05 12:07:54 as **
  • Toward a theory of test data selection
    (1975), pp. 493-510.
    by John B Goodenough, Susan L Gerhart
  • Application of AI Planning Techniques to Automated Code Synthesis and Testing
    (2002)
    by I-Ling Yen, Farokh B Bastani, Fiaz Mohamed, Hui Ma, John Linn
    posted to ai automatic da planning project-planning testing by cyph3r on 2008-08-02 11:14:05 as **
  • Planner Based Error Recovery Testing
    (2000)
    by Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman, Adele E Howe
    posted to ai da planning project-planning testing by cyph3r on 2008-08-02 11:12:39 as **
  • Rapid goal-oriented automated software testing using MEA-graph planning
    Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
    by Manish Gupta, Jicheng Fu, Farokh Bastani, Latifur Khan, Yen
  • Developing a General Framework for Artificial Intelligence
    3rd Austrian RoboCup Workshop (21 May 2008)
    by Stephan Gspandl, David Monichi, Michael Reip, Monika Schubert, Mate Wolfram, Christoph Zehentner
    posted to ai kickofftug robocup by cyph3r on 2008-07-28 12:15:14 as ** along with 1 group kickOffTUG-Robocup
  • Data Generation for Path Testing
    Software Quality Journal, Vol. 12, No. 2. (1 June 2004), pp. 121-136.
    by Nashat Mansour, Miran Salame
    posted to ai genetic-algorithm project-planning test-data-generation testing by cyph3r on 2008-07-24 10:23:16 as **
  • Encoding Plans in Propositional Logic
    (1996), pp. 374-384.
    by Henry A Kautz, David Mcallester, Bart Selman
    posted to ai da logic planning project-planning sat by cyph3r on 2008-07-23 20:10:56 as ** along with 1 person stavros
  • notes An AI Planning Overview
    (January 2006)
    by Stefan Galler, Martin Weiglhofer, Franz Wotawa
    posted to ai da overview planning project-planning by cyph3r on 2008-07-22 10:43:57 as ****
  • notes Artificial Intelligence: A Modern Approach
    (20 December 2002)
    by Stuart J Russell, Peter Norvig
  • Understanding Planning Tasks
    No. 4929/2008. (23 January 2008)
    by Malte Helmert
    posted to ai da planning project-planning by cyph3r on 2008-06-28 12:49:07 as ****
  • FLECS: Planning with a Flexible Commitment Strategy
    Journal of Artificial Intelligence Research, Vol. 3 (1995), pp. 25-52.
    by Manuela M Veloso, Peter Stone
    posted to ai commitment da planning project-planning by cyph3r on 2008-06-27 15:37:16 as **
  • Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis
    pp. 229-236.
    by Peter Haddawy, Anhai Doan, Richard Goodwin
    posted to ai da planning project-planning by cyph3r on 2008-06-27 15:32:03 as **
  • notes Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
    (1996), pp. 1194-1201.
    by Henry Kautz, Bart Selman
    edited by Howard Shrobe, Ted Senator
  • Unifying classical planning approaches
    (1996)
    posted to ai da planning project-planning by cyph3r on 2008-06-27 15:28:53 as **
  • Efficient BDD-Based Planning for Non-Deterministic Fault-Tolerant, and Adversarial Domains
    by Rune M Jensen
    posted to ai bdd da nondeterministic planning project-planning by cyph3r on 2008-06-27 15:27:44 as **
  • Systematic Nonlinear Planning
    Vol. 2 (1991), pp. 634-639.
    by David Mcallester, David Rosenblitt
    posted to ai da nonlinear planning project-planning by cyph3r on 2008-06-27 15:26:03 as ****
  • An Introduction to Least Commitment Planning
    AI Magazine, Vol. 15, No. 4. (1994), pp. 27-61.
    by Daniel S Weld
    posted to ai da planning project-planning by cyph3r on 2008-06-27 10:14:09 as ** along with 2 people chadhogg damile
  • Planning as search: a quantitative approach
    Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 65-68.
    by Richard E Korf
    posted to ai da planning project-planning search by cyph3r on 2008-06-27 10:10:56 as ****
  • Planning for conjunctive goals
    Artificial Intelligence, Vol. 32, No. 3. (July 1987), pp. 333-377.
    by David Chapman
    posted to ai conjunctive da goals planning project-planning by cyph3r on 2008-06-27 10:06:20 as **
  • Planning: What it is, what it could be, an introduction to the special issue on planning and scheduling
    Artificial Intelligence, Vol. 76, No. 1-2. (July 1995), pp. 1-16.
    by Drew Mcdermott, James Hendler
    posted to ai da planning project-planning by cyph3r on 2008-06-27 10:03:58 as **
  • A comparative analysis of partial order planning and task reduction planning
    SIGART Bull., Vol. 6, No. 1. (January 1995), pp. 16-25.
    by Subbarao Kambhampati
    posted to ai da planning project-planning by cyph3r on 2008-06-27 10:00:27 as **
  • Recent Advances in AI Planning
    AI Magazine, Vol. 20, No. 2. (1999), pp. 93-123.
    by Daniel S Weld
  • Automatically Generating Abstractions for Planning
    Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302.
    by Craig A Knoblock
    posted to abstraction ai da planning project-planning by cyph3r on 2008-06-26 09:49:33 as **** along with 1 person sjgaller
  • Exploiting Competitive Planner Performance
    Recent Advances in AI Planning (2000), pp. 62-72.
    by Adele Howe, Eric Dahlman, Christopher Hansen, Michael Scheetz, Anneliese von Mayrhauser
  • System Testing with an AI Planner
    by Richard T Mraz, Adele Howe, Anneliese von Mayrhauser, Li Li
  • Test Case Generation as an AI Planning Problem
    Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
    by Adele E Howe, Anneliese Mayrhauser, Richard T Mraz
    posted to ai da planning testing test-data-generation by cyph3r on 2008-06-21 14:02:00 as ** along with 1 person sjgaller
  • Generating test cases from an OO model with an AI planning system
    Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259.
    posted to ai da planning testing test-data-generation by cyph3r on 2008-06-21 13:59:21 as ** along with 1 person sjgaller
  • notes Automatic Testing through Planning
    (2005)
    by Andreas Leitner, Roderick Bloem
  • The Semantic Web Revisited
    Intelligent Systems, IEEE [see also IEEE Intelligent Systems and Their Applications], Vol. 21, No. 3. (2006), pp. 96-101.
    by N Shadbolt, Berners T Lee, W Hall
  • Feature-Based Declarative Opponent-Modelling in Multi-Agent Systems
    (2002)
    by Timo Steffens
  • RoboCup: robot world cup
    Robotics & Automation Magazine, IEEE, Vol. 5, No. 3. (1998), pp. 30-36.
    by H Kitano, M Asada, I Noda, H Matsubara
  • Dynamic multi-robot coordination
    (2003)
    by D Vail, M Veloso
  • Swarm intelligence: from natural to artificial systems
    (1999)
    by Eric Bonabeau, Marco Dorigo, Guy Theraulaz
  • Layered and Resource-Adapting Agents in the RoboCup Simulation
    by Christoph G Jung
    edited by Springer
    posted to adapting ai layerd robocup by cyph3r on 2006-07-02 13:34:02 as ** along with 725 people and 134 groups dlobo fernand0 dperkel egh jyuh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V plaugg ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger incites bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep jjray Jellyfish cmmorel bayesian benavides ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle pintman yish mkcerusky idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen aviad_work crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans sjgaller huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee jvrantwijk ible fruminator mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen toppi sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm rodney portalqm bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar bellia kevin7 friveroll khm zetetic karipuf leechuck hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar yodha Akimasa technical oilpalm spacely j0nes TCgroup ingedwar Oktoplus stonest cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules thehajime PeterRabbit paulvb cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem wongmld nkishan hayko gjhuang ashko buggle bemike cvarnam jakobl umurthy21 andregermanoregert Katje tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc Thaverkamp mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra ziggy talkingpoints linxiang mllee monkare pantxorama petergun6666 iantunbridge farzanehs mpisarenco blackm0k bluecricket mrosenki eisenmaj BrianTomasik adamsi schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo kericson makbot adenkabe ThomasKluge kndiaye duckysherwood scottkb freddan IanBrown squirmelia gkvas hrwiltse mfloris mamadoudiao LTrottier giolakat nikko sarahmccrum jago malkav30 psique Repton gvandyk1 pdessus joni2am taenneken vrich christian_librarian Neeperando ranger midshipman Corbasson murb yungyuc carterb applebyb kaniko skumagai Stepstep abdulpur mirweis nlauzier Axis gi0rgi0ne danzinde christiankissig jsenn tbolt427 Scis0000002 balicea Langster jeanbean EsepBib pulsus-morbi ezaydens melody scarcelan ablam maburkitt fghjorth austin MariaChiaraP wartaalman dconnelly kungcc Gaetan sbaete tanneama000 ricckli boellernadja tkravitz nafets laurabailey iarmac alexispaz pathari steveut wolfe275 dcastro yori amydash rpbharti rwilliamson motchy 6rheology songpku andrealira Zephyrus wilkinm AbnerCYH pchia raiyar davidchavalarias GEB CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns MACLab folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture ParkinsonLab_at_MaRS moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project CAOS Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Video based Animation for People Social Informatics @ IU Global_patent_pools Knowledge_Economy_Reform feminist_technoscience Roswell Cancer Crosstalk Parsons MFA DT 2008 Thesis Research
  • Layered Learning and Flexible Teamwork in RoboCup Simulation Agents
    by Peter Stone, Manuela Veloso
    posted to ai layerd learning robocup by cyph3r on 2006-07-02 13:15:53 as ** along with 1 group kickOffTUG-Robocup
  • Beyond the Plan-Length Criterion
    Lecture Notes in Computer Science, Vol. 2148 (2001), pp. 55-??.
    by Alexander Nareyek
  • Reinforcement Learning: A Survey
    Journal of Artificial Intelligence Research, Vol. 4 (1996), pp. 237-285.
    by Leslie P Kaelbling, Michael L Littman, Andrew P Moore
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/cyph3r/tag/ai

    RIS BibTeX