|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17976 occurrences of 6591 keywords
|
|
|
Results
Found 65387 publication records. Showing 65387 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Arnaud Jasselette, Marc Keita, Monique Noirhomme-Fraiture, Frédéric Randolet, Jean Vanderdonckt, Christian Van Brussel, Donatien Grolaux |
Automated Repair Tool For Usability And Accessibility Of Web Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADUI ![In: Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania, pp. 261-272, 2006, Springer, 978-1-4020-5819-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Automated repair tool, Accessibility, Usability engineering, Destine |
13 | Christos Katsanos, Nikolaos K. Tselios, Nikolaos M. Avouris |
InfoScent evaluator: a semi-automated tool to evaluate semantic appropriateness of hyperlinks in a web site. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2006 Australasian Computer-Human Interaction Conference, OZCHI 2006, Sydney, Australia, November 20-24, 2006, pp. 373-376, 2006, ACM, 1-59593-545-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
LSA index, proximal cue, semi-automated tools, web usability evaluation, information foraging theory |
13 | Song Peng, David Fang, John Teifel, Rajit Manohar |
Automated synthesis for asynchronous FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, FPGA 2005, Monterey, California, USA, February 20-22, 2005, pp. 163-173, 2005, ACM, 1-59593-029-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
asychronous circuits, programmable logic, automated synthesis |
13 | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
Automated soundness proofs for dataflow analyses and transformations via local rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 364-377, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
13 | Hyung Rim Choi, Hyun Soo Kim, Soongoo Hong, Young Jae Park, Young Sung Park, Moo Hong Kang |
Implementation of framework for developing multi-agent based automated negotiation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 306-315, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated negotiation system, multi-agent |
13 | Scott Buffett, Bruce Spencer |
Learning opponents' preferences in multi-object automated negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 300-305, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multi-issue, utility, automated negotiation, preference elicitation, Bayesian classification |
13 | John R. Koza, Sameer H. Al-Sakran, Lee W. Jones |
Automated re-invention of six patented optical lens systems using genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1953-1960, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
human-competitive results, invention machine, optical lens system, genetic programming, patents, automated design |
13 | Andrea D'Ambrogio |
A model transformation framework for the automated building of performance models from UML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005, pp. 75-86, 2005, ACM, 1-59593-087-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated model building, UML, MDA, model transformation, software performance, LQN |
13 | Bernhard Peischl, Franz Wotawa |
Error traces in model-based debugging of hardware description languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 43-48, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging |
13 | Daniel Hoffman, Kevin Yoo |
Blowtorch: a framework for firewall test automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 96-103, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
network firewall, production grammar, automated testing, covering array, capture/replay |
13 | Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Locating faulty code using failure-inducing chops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 263-272, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging |
13 | James A. Jones, Mary Jean Harrold |
Empirical evaluation of the tarantula automatic fault-localization technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 273-282, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
empirical study, program analysis, fault localization, automated debugging |
13 | SunJung Kim, Elisabeth André |
A generate and sense approach to automated music composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004, pp. 268-270, 2004, ACM, 1-58113-815-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
automated music composition, affective user interfaces |
13 | Alan H. Karp, Ren Wu, Kay-Yut Chen, Alex Zhang |
A game tree strategy for automated negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 5th ACM Conference on Electronic Commerce (EC-2004), New York, NY, USA, May 17-20, 2004, pp. 228-229, 2004, ACM, 1-58113-771-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
automated negotiation |
13 | Mats Per Erik Heimdahl, George Devaraj |
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 176-185, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
test reduction, fault finding, specification-based testing, automated test generation, model checkers |
13 | Young Jae Park, Hyung Rim Choi, Hyun Soo Kim |
Automated negotiation for order transaction of injection mold manufacturer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 5th International Conference on Electronic Commerce, ICEC 2003, Pittsburgh, Pennsylvania, USA, September 30 - October 03, 2003, pp. 488-497, 2003, ACM, 1-58113-788-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
and electronic commerce, intelligent agent, automated negotiation |
13 | Vincent Conitzer, Tuomas Sandholm |
Automated mechanism design: complexity results stemming from the single-agent setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 5th International Conference on Electronic Commerce, ICEC 2003, Pittsburgh, Pennsylvania, USA, September 30 - October 03, 2003, pp. 17-24, 2003, ACM, 1-58113-788-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
automated mechanism design, game theory |
13 | Andrew Strelzoff, Linda R. Petzold |
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 22-29, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
user interface requirements, reverse engineering, scientific computing, automated software engineering, XML technology |
13 | David A. Basin, Harald Ganzinger |
Automated complexity analysis based on ordered resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(1), pp. 70-109, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ordered resolution, automated theorem proving, complexity analysis, first-order theories |
13 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Hierarchical GUI Test Case Generation Using Automated Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(2), pp. 144-155, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
application of AI planning, GUI regression testing, generating alternative plans, Software testing, GUI testing, automated test case generation |
13 | Andrew Crossen, Jay Budzik, Mason Warner, Lawrence Birnbaum, Kristian J. Hammond |
XLibris: an automated library research assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 6th International Conference on Intelligent User Interfaces, IUI 2001, Santa Fe, NM, USA, January 14-17, 2001, pp. 49-52, 2001, ACM, 1-58113-325-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
automated retrieval, ubiquitous computing, metasearch, information aggregation |
13 | Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel |
Requirement-Based Automated Black-Box Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 489-495, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM |
13 | Michelle X. Zhou, Shimei Pan |
Automated authoring of coherent multimedia discourse in conversation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30 - October 5, 2001, pp. 555-558, 2001, ACM, 1-58113-394-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
automated generation of multimedia discourse, graphics generation, multimedia conversation/dialogue, spoken language generation, multimedia authoring |
13 | Samir Al-Khayatt, Richard Neale |
Automated Detection of Internet Usage Policy Violation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 507-510, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
automated management, network performance, Internet access, IT policy |
13 | Christian Ensel |
A Scalable Approach to Automated Service Dependency Modeling in Heterogeneous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings, pp. 128-139, 2001, IEEE Computer Society, 0-7695-1345-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
automated model creation, neural networks, agent architecture, IT-management, dependency models |
13 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Automated test oracles for GUIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, pp. 30-39, 2000, ACM, 978-1-58113-205-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
GUI test oracles, automated oracles, GUI testing |
13 | Cary A. Deck, Bart J. Wilson |
Interactions of automated pricing algorithms: an experimental investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), Minneapolis, MN, USA, October 17-20, 2000, pp. 77-85, 2000, ACM, 1-58113-272-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Internet posted offer markets, automated pricing, experimental economics |
13 | Lucas Bordeaux, Frédéric Benhamou |
Automated reasoning on monotonic constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 401-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling |
13 | Mireille Ducassé |
Coca: An automated Debugger for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., pp. 504-513, 1999, ACM, 1-58113-074-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool |
13 | Michelle X. Zhou, Steven Feiner |
Visual Task Characterization for Automated Visual Discourse Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '98 Conference on Human Factors in Computing Systems, Los Angeles, California, USA, April 18-23, 1998., pp. 392-399, 1998, ACM, 0-201-30987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
automated design of graphics, visual discourse, visual task characterization |
13 | Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt |
cardTAP: Automated Deduction on a Smart Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers, pp. 239-247, 1998, Springer, 3-540-65138-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
lean TAP, security, java, proof carrying code, automated deduction, tableaux |
13 | Nicolas Tsapatsoulis, Frank Schnorrenberg, Constantinos S. Pattichis, Stefanos D. Kollias |
An image analysis system for automated detection of breast cancer nuclei. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 512-515, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automated detection, breast cancer nuclei, image analysis system, biopsy images, block-based processing, normalized singular value vector, algorithm, feature extraction, singular value decomposition, medical image processing, background, neural network classifier, experts knowledge |
13 | Christine W. Hanna, Abou Bakr M. Youssef |
Automated measurements in obstetric ultrasound images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 504-507, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
obstetric ultrasound images, fetal head circumference, fetal head diameter, femur length, fetal age, growth pattern, noisy ultrasound images, image measurement, morphologically-based algorithms, fetal head contour, automation algorithms, tracing methods, ultrasound machine, segmentation, Hough transforms, morphological operations, image acquisition, ultrasonic imaging, automated measurements |
13 | Adel Bouhoula, Jean-Pierre Jouannaud |
Automata-Driven Automated Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 14-25, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations |
13 | Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti |
Providing Automated Support to Deductive Analysis of Time Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings, pp. 211-226, 1997, Springer, 3-540-63531-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report |
13 | Manas Saksena, Paul Freedman, Pawel Rodziewicz |
Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 240-251, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling |
13 | Wim Verhaegen, Geert Van der Plas, Georges G. E. Gielen |
Automated test pattern generation for analog integrated circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 296-301, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automated test pattern generation, generated fault list, optimal test signals, statistical fluctuations, statistical test criterion, ATPG algorithm, analogue integrated circuits, analog integrated circuits |
13 | Robert S. Boyer, Yuan Yu |
Automated Proofs of Object Code for a Widely Used Microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(1), pp. 166-192, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Boyer-Moore logic, MC68xxx, Nqthm, program proving, formal methods, Ada, C, program verification, automated reasoning, Common Lisp, mechanical theorem proving, object code, machine code |
13 | Douglas E. Becker, James N. Turner, Howard L. Tanenbaum, Badrinath Roysam |
Real-time image processing algorithms for an automated retinal laser surgery system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 426-429, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
laser applications in medicine, real-time image processing algorithms, automated retinal laser surgery system, ophthalmic disorders, computer-controlled instrument, core image-processing methods, retinal map computation, retinal landmark feature points detection, retinal angiograms montaging, real-time image tracking, feature-based method, feature-tagged point sets, real-time systems, medical image processing, surgery, eye |
13 | L. Strub, J. Robinson |
Automated facial conformation for model-based videophone coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 587-590, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
model based videophone coding, automated facial conformation, head and shoulders video sequence, videophone application, video sequence transmission, model deformations, flexible template matching, steepest gradient search method, optimal conformation, generic facial model, texture information, algorithm, face recognition, face recognition, image sequences, video coding, image matching, search problems, frame, image texture, videotelephony |
13 | Radu Negulescu, Janusz A. Brzozowski |
Relative liveness: from intuition to automated verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 108-117, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification |
13 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell |
Automated verification of temporal properties specified as state machines in VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 100-105, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties |
13 | Jinhui Liu, Xiaoqing Ding, Youshou Wu |
Description and recognition of form and automated form data entry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 579-582, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
automated form data entry, form description method, frame lines, printed forms, frame line detection, business forms, form recognition |
13 | Dan Paulson, Yair Wand |
An Automated Approach to Information Systems Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 174-189, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
automated approach, information systems decomposition, formal specification scheme, experimental computerized systems analysis tools, standard problem, computational complexity, complexity, formal specification, software tools, systems analysis, heuristic rules, formal definition |
13 | Peter Baumgartner 0001 |
An Order Theory Resolution Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 119-130, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Theory Resolution, Automated Theorem Proving |
13 | Chen Ding, Prabhaker Mateti |
A Framework for the Automated Drawing of Data Structure Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(5), pp. 543-557, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
pictorial indication, automated drawing, data structure diagrams, two-dimensional figures, interrelationships, factors of aesthetics, computable objectives, numeric parameters, software engineering, data structures, computer graphics, rules, diagrams, lines |
13 | Bogdan Korel |
Automated Software Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 870-879, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis |
13 | John L. Schneiter, Thomas B. Sheridan |
An Automated Tactile Sensing Strategy for Planar Object Recognition and Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(8), pp. 775-786, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
automated tactile sensing, planar object recognition, tactile exploration, point contact sensor, diagnostic measurements, sensor paths, pattern recognition, localization, tactile sensors |
13 | Christian B. Suttner, Wolfgang Ertel |
Automatic Acquisition of Search Guiding Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 470-484, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
learning, heuristics, features, Automated theorem proving, back-propagation, connectionism, evaluation functions, model elimination |
13 | David Hung-Chang Du, Subbarao Ghanta, Kurt Maly, Suzanne M. Sharrock |
An Efficient File Structure for Document Retrieval in the Automated Office Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 1(2), pp. 258-273, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
efficient file structure, automated office environment, inexact fuzzy queries, multilevel file structure, multikey extendible hashing, time efficient, information retrieval, data structures, file system, document retrieval, signature files, space efficient, office environment |
13 | Yasuhiko Hara, Hideaki Doi, Koichi Karasaki, Tadashi Iida |
A System for PCB Automated Inspection Using Fluorescent Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(1), pp. 69-78, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
violet illumination, PCB automated inspection, fluorescent light, nicks, printed circuit board pattern, ultraviolet rays, glass-epoxy, glass-polyimide, high-sensitivity TV camera, silhouette image, fluorescence, pattern recognition, computer vision, computer vision, fault detection, computerised pattern recognition, inspection, circuit analysis computing, fault location, cuts, printed circuit testing, optical fiber, short-circuits |
13 | Herbert Boerner, Helmut Strecker |
Automated X-Ray Inspection of Aluminum Castings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(1), pp. 79-91, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
feature definition, automatic flaw detection, cast aluminum wheels, Al alloys, mechanical engineering computing, feature extraction, computerised pattern recognition, inspection, X-ray images, pixel classification, segmentation methods, flaw detection, automated inspection |
13 | David B. Shu, Ching-Chung Li, J. F. Mancuso, Yung-Nien Sun |
A Line Extraction Method for Automated SEM Inspection of VLSI Resist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(1), pp. 117-120, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
line extraction method, automated SEM inspection, VLSI resist, precision digital edge-line-detection method, edge contours, submicrometer width, integrated circuit fabrication, computer vision, VLSI, transforms, integrated circuit testing, computerised picture processing, automatic testing, Hough transform, inspection, circuit analysis computing, scanning electron microscopy, scanning electron microscopy |
13 | Waldo C. Kabat, Anthony S. Wojcik |
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(7), pp. 610-632, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
logic design, multivalued logic, design automation, Automated theorem proving, switching theory |
13 | Witold S. Wojciechowski, Anthony S. Wojcik |
Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 32(9), pp. 785-798, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
multiple-valued circuits, theorem proving, logic design, first order logic, Automated design, formal proof |
13 | Louis J. Hafer, Alice C. Parker |
Automated Synthesis of Digital Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 31(2), pp. 93-109, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
hardware specification, computer-aided design, logic design, design automation, register-transfer level, hardware-descriptive language, ISP, Automated synthesis |
13 | John A. Swets |
Sound learning: an application of a computer to automated teaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(3), pp. 139, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
automated teaching, computer-maintained files, psycho-acoustic laboratory, simulation of individual tutoring |
13 | M. Gomathi, P. Thangaraj |
Automated CAD for detection of lung nodule using CT scans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bangalore Compute Conf. ![In: Proceedings of the 3rd Bangalore Annual Compute Conference, Compute 2010, Bangalore, India, January 22-23, 2010, pp. 25:1-25:4, 2010, ACM, 978-1-4503-0001-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
pulmonary nodules, CT, computed tomography, computer aided diagnosis, lung cancer, computer assisted diagnosis |
13 | Zhen Ming Jiang |
Automated analysis of load testing results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 143-146, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software mining, dynamic analysis, load testing |
13 | Young Sam Ryu |
Mobile Phone Usability Questionnaire (MPUQ) and Automated Usability Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 349-351, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automating usability, Usability, questionnaire, mobile user interface, subjective measurement |
13 | Davy Preuveneers, Yolande Berbers |
Modeling Human Actors in an Intelligent Automated Warehouse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 285-294, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed Kaleemur Rahman, Saurabh Sanghvi, Noura El-Moughny |
Enhancing an automated Braille Writing Tutor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 2327-2333, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Guojing Cong, I-Hsin Chung, Hui-Fang Wen, David J. Klepacki, Hiroki Murata, Yasushi Negishi, Takao Moriyama |
A Holistic Approach towards Automated Performance Analysis and Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings, pp. 33-44, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav |
Scalable conditional equivalence checking: An automated invariant-generation based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 120-127, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Lorenzo Luciano, Adam Krzyzak |
Automated Multimodal Biometrics Using Face and Ear. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings, pp. 451-460, 2009, Springer, 978-3-642-02610-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ear recognition, eigenear, Face recognition, PCA, eigenface, multimodal biometrics |
13 | Franz Baader, Andreas Bauer 0002, Peter Baumgartner 0001, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
A Novel Architecture for Situation Awareness Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 77-92, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Hristo Nikolov, Todor P. Stefanov, Ed F. Deprettere |
Systematic and Automated Multiprocessor System Design, Programming, and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3), pp. 542-555, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Peter Höfner |
Automated Reasoning for Hybrid Systems - Two Case Studies -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 191-205, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Zhen Liu 0001, Anand Ranganathan, Anton Riabov |
A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 538-544, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Hugh Gribben, Paul Miller 0003, Hongbin Wang, Kathryn Carson, Alan Hounsell, Ashraf Zatari |
Automated MAP-MRF EM labelling for volume determination in PET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 1-4, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Marios A. Gavrielides, Hela Masmoudi, Nicholas Petrick, Kyle J. Myers, Stephen M. Hewitt |
Automated evaluation of HER-2/neu immunohistochemical expression in breast cancer using digital microscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 808-811, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Shivang Naik, Scott Doyle, Shannon Agner, Anant Madabhushi, Michael D. Feldman, John Tomaszewski |
Automated gland and nuclei segmentation for grading of prostate and breast cancer histopathology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 284-287, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian |
Implementation of Pointer Logic for Automated Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2295-2301, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
Formal automated transformation of SDL specifications to Lotos specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 519-524, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Johannes W. Kruisselbrink, Thomas Bäck, Adriaan P. IJzerman, Eelke van der Horst |
Evolutionary algorithms for automated drug design towards target molecule properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1555-1562, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, drug design, molecules |
13 | Panagiotis Blitsas, Maria Grigoriadou |
Knowledge Representation for an Automated Normalized Answers Assessment System, Based on Text Comprehension Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 559-561, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Forrest Sheng Bao, Donald Yu-Chun Lie, Yuanlin Zhang 0002 |
A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (2) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2, pp. 482-486, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Gert Schoonenberg, Pierre Lelong, Raoul Florent, Onno Wink, Bart M. ter Haar Romeny |
The Effect of Automated Marker Detection on in Vivo Volumetric Stent Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II, pp. 87-94, 2008, Springer, 978-3-540-85989-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
percutaneous coronary interventions, marker detection, coronary stent reconstruction, motion compensation, angiography |
13 | Stephen Marsh 0002, Stelios Pantazopoulos |
Automated Functional Testing on the TransCanada Alberta Gas Accounting Replacement Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: Agile Development Conference, AGILE 2008, Toronto, Canada, 4-8 August 2008, pp. 239-244, 2008, IEEE Computer Society, 978-0-7695-3321-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Juan Hamers, Lieven Eeckhout |
Automated hardware-independent scenario identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 954-959, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scenario-based design, DVFS, video-decoding |
13 | Peter Höfner, Georg Struth |
On Automating the Calculus of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 50-66, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Satoshi Hoshino, Jun Ota 0001 |
Design of an automated transportation system in a seaport container terminal for the reliability of operating robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 4259-4264, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Stefanos Asonitis, Dimitris Boundas, George Bokos, Marios Poulos |
Semi - automated tool for characterizing news video files, using metadata schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics, Post-proceedings of the 2nd International Conference on Metadata and Semantics Research, MTSR 2007, Corfu Island in Greece, 1-2 October 2007, pp. 167-178, 2007, Springer, 978-0-387-77744-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Aristotelis A. Chatziioannou, Panagiotis Moulos |
ANDROMEDA: A MATLAB Automated cDNA Microarray Data Analysis Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIAI ![In: Artificial Intelligence and Innovations 2007: from Theory to Applications, Proceedings of the 4th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2007), 19-21 September 2007, Peania, Athens, Greece, pp. 127-136, 2007, Springer, 978-0-387-74160-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Dawid Weiss, Marcin Zduniak |
Automated Integration Tests for Mobile Applications in Java 2 Micro Edition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings, pp. 478-487, 2007, Springer, 978-3-540-72034-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mobile Development, Software Testing, Quality Assurance, Agile Development |
13 | Gwen Littlewort, Marian Stewart Bartlett, Kang Lee |
Faces of pain: automated measurement of spontaneousallfacial expressions of genuine and posed pain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 9th International Conference on Multimodal Interfaces, ICMI 2007, Nagoya, Aichi, Japan, November 12-15, 2007, pp. 15-21, 2007, ACM, 978-1-59593-817-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spontaneous behavior, machine learning, computer vision, facial expression recognition, deception, facial action coding system, FACS, pain |
13 | Liang Kong, Hong Zhu 0002, Bin Zhou 0004 |
Automated Testing EJB Components Based on Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 717-722, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Fang Yu 0001, Tevfik Bultan, Erik Peterson |
Automated size analysis for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 331-340, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
size abstraction, size analysis, OCL |
13 | Hany H. Ammar, Mohamed Abdel-Mottaleb, Anil K. Jain 0001 |
Automated dental identification system (ADIS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 8th Annual International Conference on Digital Government Research, Bridging Disciplines & Domains, DG.O 2007, Philadelphia, Pennsylvania, USA, May 20-23, 2007, pp. 248-249, 2007, Digital Government Research Center, 1-59593-599-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
dental identification, webADIS, performance evaluation |
13 | Vladimir Pekar, Daniel Bystrov, Harald S. Heese, Sebastian P. M. Dries, Stefan Schmidt 0001, Rüdiger Grewer, Chiel J. den Harder, René C. Bergmans, Arjan W. Simonetti, Arianne van Muiswinkel |
Automated Planning of Scan Geometries in Spine MRI Scans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I, pp. 601-608, 2007, Springer, 978-3-540-75756-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Cho-Yu Jason Chiang, Gary Levin, Yitzchak M. Gottlieb, Ritu Chadha, Shihwei Li, Alexander Poylisher, Scott Newman, Richard Lo |
On Automated Policy Generation for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna, Italy, pp. 256-260, 2007, IEEE Computer Society, 0-7695-2767-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain |
Certification of Automated Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, pp. 148-162, 2007, Springer, 978-3-540-74620-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Zhuang Yan, Simon Fong 0001, Yan Pengfan, Meilin Shi |
Knowledge-Empowered Automated Negotiation System for B2B e-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2007), 23-26 July 2007, National Center of Sciences, Tokyo, Japan, pp. 192-202, 2007, IEEE Computer Society, 0-7695-2913-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Brox, Yoo-Jin Kim, Joachim Weickert, Wolfgang Feiden |
Fully-Automated Analysis of Muscle Fiber Images with Combined Region and Edge-Based Active Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2006, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops vom 19. - 21. März 2006 in Hamburg, pp. 86-90, 2006, Springer, 978-3-540-32136-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Guanglei Xiong, Xiaobo Zhou 0001, Liang Ji, Alexei Degterev, Stephen T. C. Wong |
Automated labeling of neurites in fluorescence microscopy images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 534-537, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Yanhua Hu, Jesus Carmona, Robert F. Murphy |
Application of temporal texture features to automated analysis of protein subcellular locations in time series fluorescence microscope images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 1028-1031, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Galen S. Swint, Gueyoung Jung, Calton Pu, Akhil Sahai |
Automated Staging for Built-to-Order Application Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: Management of Integrated End-to-End Communications and Services, 10th IEEE/IFIP Network Operations and Management Symposium, NOMS 2006, Vancouver, Canada, April 3-7, 2006. Proceedings, pp. 361-372, 2006, IEEE, 1-4244-0143-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Russell Lock |
Automated Negotiation for Service Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 127-134, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Harald Meyer, Mathias Weske |
Automated Service Composition Using Heuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 81-96, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Erol Gelenbe |
Analysis of Automated Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, pp. 1-12, 2006, Springer, 3-540-47242-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|