新規登録 | ログイン | FAQ      [?] 

タグ: automated [105 articles]

Recent papers classified by the tag automated.
  • Termination of aa-->bc,bb-->ac,cc-->ab
    Information Processing Letters, Vol. 98, No. 4. (31 May 2006), pp. 156-158.
    by Dieter Hofbauer, Johannes Waldmann
    posted to automated cool by zielaj on 2006-03-12 20:28:38 as read along with 2 people and 1 group Borelli arnia inference-group
  • Structure-Driven Algorithms for Truth Maintenance
    Artificial Intelligence, Vol. 82, No. 1-2. (1996), pp. 1-2.
    by Rina Dechter, Avi Dechter
    posted to automated csp dynamic inference reasoning tms by woutervdb on 2007-03-18 20:37:21 as *****
  • Automated Trust Negotiation
    No. TR-2000-05. (FebruaryApril 2000)
    by W Winsborough, K Seamons, V Jones
    posted to automated negotiation trust by spony on 2007-02-21 10:04:17 as ***
  • Search for Fractional-Charge Particles in Meteoritic Material
    Physical Review Letters, Vol. 99, No. 16. (2007)
    by Peter C Kim, Eric R Lee, Irwin T Lee, Martin L Perl, Valerie Halyo, Dinesh Loomba
    posted to automated charge fractional millikan physics by skoch3 on 2007-11-12 22:53:41 as *****
  • BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
    Bioinformatics, Vol. 22, No. 14. (15 July 2006), pp. 1805-1807.
    by Laurence Calzone, Francois Fages, Sylvain Soliman
    posted to artificial automated ctl intelligence reasoning by seahawk27 on 2006-12-22 10:20:41 as ****
  • Using Automatic Clustering to Produce High-Level System Organizations of Source Code
    (1998)
    by S Mancoridis, BS Mitchell, C Rorres, Y Chen, ER Gansner
    posted to architecture automated clustering reverse-engineering by RalfMitschke on 2007-06-11 10:02:17 as read along with 1 person fbeck
  • On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
    Automated Software Engg., Vol. 9, No. 4. (October 2002), pp. 331-360.
    by Martin Traverso, Spiros Mancoridis
    posted to architecture automated reverse-engineering by RalfMitschke on 2007-06-11 09:12:34 as **
  • Imagene: an integrated computer environment for sequence annotation and analysis.
    Bioinformatics, Vol. 15, No. 1. (January 1999), pp. 2-15.
    by C Médigue, F Rechenmann, A Danchin, A Viari
    posted to annotation automated pipeline by plofje on 2006-11-01 11:25:21 as ** along with 1 person and 1 group jeremymiller GeschwindLab
  • AutoTag: A Collaborative Approach to Automated Tag Assignment for Weblog Posts
    (2006), pp. 953-954.
    by Gilad Mishne
    posted to automated collaborative msc tagging by pjsc on 2007-05-29 01:53:35 as read along with 5 people mook3000 bangb discopatrick intrect adamsi
  • Current methods for site-directed structure generation
    Journal of Computer-Aided Molecular Design, Vol. 8, No. 4. (1994), pp. 467-475.
    by Richard A Lewis, Andrew R Leach
    posted to automated growth ligand by peprovy on 2007-10-11 15:17:49 as read
  • A validation study on the practical use of automated de novo design
    Journal of Computer-Aided Molecular Design, Vol. 16, No. 7. (1 July 2002), pp. 459-478.
    by Martin Stahl, Nikolay P Todorov, Tim James, Harald Mauser, Hans-Joachim Boehm, Philip M Dean
    posted to automated de design generation ligand novo skelgen by peprovy on 2007-10-11 15:12:52 as read
  • An efficient approach to automate the manual trial and error calibration of activated sludge models
    Biotechnology and Bioengineering, Vol. 100, No. 3. (2008), pp. 516-528.
    by Gürkan Sin, Dirk JW De Pauw, Stefan Weijers, Peter A Vanrolleghem
    posted to model method calibration automated asm by Pascalichouchou on 2008-07-07 10:28:33 as **
  • Application of automated model discovery from data and expert knowledge to a real-world domain: Lake Glumso
    Ecological Modelling, Vol. In Press, Corrected Proof
    by Natasa Atanasova, Ljupco Todorovski, Saso Dzeroski, Boris Kompare
    posted to automated discovery ecology lake model system by Pascalichouchou on 2007-11-30 11:13:41 as **
  • Quantifying variability within water samples: The need for adequate subsampling
    Water Research, Vol. 42, No. 1-2. (January 2008), pp. 476-482.
    by Ian Donohue, Kenneth Irvine
    posted to automated changing_conditions diagnostic method model parameter sample sampling system variability water wwtp by Pascalichouchou on 2007-12-31 10:24:18 as *****
  • An agent architecture for multi-attribute negotiation using incomplete preference information
    Autonomous Agents and Multi-Agent Systems, Vol. 15, No. 2. (18 October 2007), pp. 221-252.
    by Catholijn Jonker, Valentin Robu, Jan Treur
    posted to system negotiations negotiation multi-attribute multi-agent jaamas electronic bilateral automated agent by Papertiger34 on 2008-05-05 08:34:59 as read along with 1 person pthimon
  • Three-dimensional demarcation of perfusion zones corresponding to specific coronary arteries: application for automated interpretation of myocardial SPECT.
    Journal of nuclear medicine : official publication, Society of Nuclear Medicine, Vol. 36, No. 11. (November 1995), pp. 2120-2126.
    by PJ Slomka, GA Hurwitz, G St Clement, J Stephenson
    posted to perfusion automated alignment by Olmi on 2008-05-23 11:12:12 as **
  • Automated alignment and sizing of myocardial stress and rest scans to three-dimensional normal templates using an image registration algorithm.
    Journal of nuclear medicine : official publication, Society of Nuclear Medicine, Vol. 36, No. 6. (June 1995), pp. 1115-1122.
    by PJ Slomka, GA Hurwitz, J Stephenson, T Cradduck
    posted to perfusion automated alignment by Olmi on 2008-05-23 11:10:05 as **
  • Trust Negotiations: Concepts, Systems, and Languages
    Computing in Science and Engg., Vol. 6, No. 4. (July 2004), pp. 27-34.
    by Elisa Bertino, Elena Ferrari, Anna Squicciarini
    posted to automated negotiation trust by mrkoot on 2007-08-07 12:12:18 as **** along with 1 group SNE
  • Automated web issue analysis: a nurse prescribing case study
    Inf. Process. Manage., Vol. 42, No. 6. (December 2006), pp. 1471-1483.
    by Mike Thelwall, Saheeda Thelwall, Ruth Fairclough
    posted to analysis automated issue nurse prescribing web by mikethelwall on 2007-05-30 20:12:25 as ****
  • Remote sensing using an airborne biosensor
    Environ. Sci. Technol., Vol. 32, No. 16. (1998), pp. 2461-2466.
    by FS Ligler, GP Anderson, PT Davidson, RJ Foch, JT Ives, KD King, G Page, DA Stenger, JP Whelan
    posted to automated biosensors by MeganBarnett on 2007-08-22 19:50:32 as **
  • Development of new and innovative near real-time surveillance technology for water quality monitoring and harmful algal bloom detection
    Annu. Int. Meet. (2004), pp. 3197-3210.
    by K Smith, G Thorson, JL Glancey, S Huerta
    posted to automated sampling by MeganBarnett on 2007-08-23 14:12:26 as **
  • Rippling: A Heuristic for Guiding Inductive Proofs
    Artificial Intelligence, Vol. 62, No. 2. (1993), pp. 185-253.
    by Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
    posted to automated induction mathematical proving reasoning rippling theorem by kontakte on 2006-02-10 17:02:43 as *** along with 1 person radico
  • Automated Theorem Proving: Theory and Practice
    (15 December 2000)
    by Monroe Newborn, Monty Newborn
    posted to automated calculus proving resolution theorem by kontakte on 2006-02-10 16:20:53 as *****
  • Automated composition of e-services: lookaheads
    (2004), pp. 252-262.
    by &\#199;agda&\#351; E Gerede, Richard Hull, Oscar H Ibarra, Jianwen Su
    posted to automata automated composition delegator e-services finite lookahead service state by Khaled on 2007-11-15 13:00:06 as *** along with 1 person jahrynx
  • Software Testing Research: Achievements, Challenges, Dreams
    (2007), pp. 85-103.
    by Antonia Bertolino
    posted to automated survey test testing by joaoarthurbm on 2008-02-21 17:46:22 as ** along with 2 people sidney ferfox
  • The first international workshop on automation of software test
    (2006), pp. 1028-1029.
    by Hong Zhu, Joseph R Horgan, SC Cheung, Jenny J Li
    posted to automated automatic test testing workshop by joaoarthurbm on 2008-03-05 19:37:03 as **
  • Observations and lessons learned from automated testing
    (2005), pp. 571-579.
    by Stefan Berner, Roland Weber, Rudolf K Keller
    posted to automated test testing by joaoarthurbm on 2008-02-26 19:19:47 as **
  • Economic perspectives in test automation: balancing automated and manual testing with opportunity cost
    (2006), pp. 85-91.
    by Rudolf Ramler, Klaus Wolfmaier
    posted to automated automation cost test testing by joaoarthurbm on 2008-04-16 20:15:07 as ** along with 1 person V
  • ClassBench: A methodology and framework for automated class testing
    (1997)
    by D Hoffman, P Strooper
    posted to automated class test testing by joaoarthurbm on 2008-02-18 20:11:57 as **
  • Automatically Generating System Mock Objects
    (July 2001)
    by Asim Jalis, Lance Kind
    posted to automated data generation mock test testing by joaoarthurbm on 2008-02-12 17:49:34 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • An automatic test case generator derived from state-based testing
    Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific (1998), pp. 270-277.
    by Bor-Yuan Tsai, S Stobart, N Parrington, I Mitchell
    posted to automated test testing by joaoarthurbm on 2008-02-13 19:12:34 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • Automated Software Test Data Generation for Complex Programs
    (13-16 October 1998), pp. 136-146.
    by C Michael, G Mcgraw
    posted to automated data generation test testing by joaoarthurbm on 2008-02-13 19:11:34 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • A survey on automatic test data generation
    (October 1999), pp. 21-28.
    by Jon Edvardsson
    posted to automated data generation test testing by joaoarthurbm on 2008-02-13 19:11:03 as ** along with 3 people and 2 groups cyph3r sjgaller elvinado Context-driven-testers Desgin-by-Contract
  • The combinatorial design approach to automatic test generation
    Software, IEEE, Vol. 13, No. 5. (1996), pp. 83-88.
    by DM Cohen, SR Dalal, J Parelius, GC Patton
    posted to automated generation test testing by joaoarthurbm on 2008-02-27 14:15:45 as **
  • An informal formal method for systematic JUnit test case generation
    (2002)
    by P Stotts, M Lindsey, A Antley
    posted to automated generation junit testing by joaoarthurbm on 2008-02-12 17:35:58 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • Using Test Oracles Generated from Program Documentation
    Software Engineering, Vol. 24, No. 3. (1998), pp. 161-173.
    by Dennis K Peters, David L Parnas
    posted to automated generation testing by joaoarthurbm on 2008-02-12 17:34:44 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • Automated software test data generation
    Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879.
    by B Korel
    posted to automated generation testing by joaoarthurbm on 2008-02-12 17:33:54 as ** along with 2 people sjgaller lcigler
  • Korat: Automated testing based on Java predicates
    (2002), pp. 123-133.
    by C Boyapati, S Khurshid, D Marinov
    posted to automated testing by joaoarthurbm on 2008-02-12 17:32:41 as **** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • Automated regression test generation
    SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (March 1998), pp. 143-152.
    by Bogdan Korel, Ali M Al-Yami
    posted to automated automatic automation test testing by joaoarthurbm on 2008-03-28 02:07:40 as **
  • Automatic generation of test scripts from formal test specifications
    SIGSOFT Softw. Eng. Notes, Vol. 14, No. 8. (December 1989), pp. 210-218.
    by M Balcer, W Hasling, T Ostrand
    posted to automated automatic automation generation scripts specifications test testing by joaoarthurbm on 2008-04-02 15:10:01 as **
  • Introducing Test Automation and Test-Driven Development: An Experience Report
    Electronic Notes in Theoretical Computer Science, Vol. 116 (19 January 2005), pp. 3-15.
    by Lars-Ola Damm, Lars Lundberg, David Olsson
    posted to automated automatic tdd test testing by joaoarthurbm on 2008-03-07 16:19:32 as **
  • The Automatic Generation of Test Data
    The Computer Journal, Vol. 30, No. 1. (1 January 1987), pp. 63-69.
    by DC Ince
    posted to automated automatic automation generation test testing by joaoarthurbm on 2008-04-02 15:02:21 as **
  • A perspective on teaching software testing
    (2001), pp. 92-100.
    by Edward L Jones, Christy L Chatmon
    posted to automated automatic automation perspective test testing by joaoarthurbm on 2008-03-10 13:50:49 as **
  • Automated test-data generation for exception conditions
    Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
    by N Tracey, J Clark, K Mander, J Mcdermid
    posted to automated generation test testing by joaoarthurbm on 2008-02-13 18:05:47 as ** along with 2 people sjgaller elvinado
  • An automated framework for structural test-data generation
    Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on (1998), pp. 285-288.
    by N Tracey, J Clark, K Mander, J Mcdermid
    posted to automated framework structural test testing by joaoarthurbm on 2008-04-02 14:59:47 as ** along with 1 person sjgaller
  • DART: directed automated random testing
    Vol. 40, No. 6. (June 2005), pp. 213-223.
    by Patrice Godefroid, Nils Klarlund, Koushik Sen
    posted to automated automatic automation by interface test testing by joaoarthurbm on 2008-03-12 12:26:03 as ** along with 7 people and 3 groups bfraser newdawn jolilius bec pfrancis sjgaller ahgharaibeh Context-driven-testers TUCS-ES_Lab Desgin-by-Contract
  • Constraint-Based Automatic Test Data Generation
    IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910.
    by Richard A Demillo, Jefferson A Offutt
    posted to automated data generation test testing by joaoarthurbm on 2008-02-13 14:31:00 as ** along with 2 people and 2 groups sjgaller lcigler Context-driven-testers Desgin-by-Contract
  • JCrasher: an automatic robustness tester for Java
    Softw. Pract. Exper., Vol. 34, No. 11. (September 2004), pp. 1025-1050.
    by Christoph Csallner, Yannis Smaragdakis
    posted to automated java test testing by joaoarthurbm on 2008-02-13 14:29:18 as ** along with 1 person pfrancis
  • On Test Data Generation of Object-Oriented Software
    Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 72-76.
    by Andrea Arcuri, Xin Yao
    posted to automated automatic automation data generation test testing by joaoarthurbm on 2008-04-16 18:10:02 as **
  • Automatic structural testing using genetic algorithms
    Software Engineering Journal, Vol. 11, No. 5. (1996), pp. 299-306.
    by BF Jones, HH Sthamer, DE Eyres
    posted to automated automatic genetic structural test testing by joaoarthurbm on 2008-03-06 22:26:01 as ** along with 1 person nigno
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/automated

    Result page: 1 2 3 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.