|
|
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 |
23 | John Alan Robinson |
Formal and Informal Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 267-282, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov |
What are the Limitations of the Situation Calculus? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 167-180, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Mark E. Stickel |
PTTP and Linked Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 283-296, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Alan Bundy |
The Use of Proof Plans for Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 149-166, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa |
Reasoning in Paraconsistent Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 181-210, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Hans J. Bremermann, Russell W. Anderson |
How the Brain Adjusts Synapses - Maybe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 119-148, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Ross A. Overbeek, Ian T. Foster |
Aligning Multiple RNA Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 231-248, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Young K. Nam, Lawrence J. Henschen |
Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 211-230, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Michael M. Richter, Stefan Wess |
Similarity, Uncertainty and Case-Based Reasoning in Patdex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 249-266, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Anne Olivia Boyer, Robert S. Boyer |
A Biographical Sketch of W. W. Bledsoe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 1-30, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | A. Michael Ballantyne |
The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 61-76, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Peter Höfner, Georg Struth |
Automated Reasoning in Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 279-294, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Povilas Treigys, Gintautas Dzemyda, Valerijus Barzdziukas |
Automated Positioning of Overlapping Eye Fundus Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 770-779, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated eye fundus registration, vasculature structure extraction, automated shifting, optic nerve registration, retinal image transformation, identification |
22 | Boaz Golany, Oded Shmueli |
A quantitative foundation for defining and manipulating deals to facilitate automated e-commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 7(3-4), pp. 341-365, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deal manipulation, Automated e-commerce, Automated negotiations, Goal programming |
22 | S. Barros, Thierry Bodhuin, A. Escudie, Jean-Pierre Queille, Jean-Francois Voidrot |
Supporting impact analysis: a semi-automated technique and associated tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 42-51, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
semi-automated tool, semi-automated technique, impact analysis support, potential propagation rules, predefined propagation rules, human decision, propagation engine, automatic impact propagation, user oriented features, highly interactive user interface, software maintenance, software maintenance, software tools, systems analysis, software systems, software system, system monitoring, systems software, aerospace computing, object graph, change impact, link graph |
22 | Avelino J. Gonzalez, Harley R. Myler, Frederic D. McKenzie, Massood Towhidnejad, Robin R. Kladke |
Validation of an Automated System Model Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(4), pp. 643-648, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
engineering computing, automated system model generator, engineered system, automated knowledge generator, electronic form, AKG, CAD representation, complexity, computer-aided design, knowledge based systems, knowledge acquisition, knowledge acquisition, program testing, constraint satisfaction, accuracy, digital simulation, granularity, simulation models, model based reasoning, testing process, intelligent design assistants |
22 | Josh L. Wilkerson, Daniel R. Tauritz |
Coevolutionary automated software correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1391-1392, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
genetic programming, coevolution, automated debugging, repair, search-based testing |
22 | Hojun Jaygarl, Sunghun Kim 0001, Tao Xie 0001, Carl K. Chang |
OCAT: object capture-based automated testing. ![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. 159-170, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
object capturing, object generation, object mutation, automated testing |
22 | Susan M. Stevens, J. Chris Forsythe, Robert G. Abbott, Charles J. Gieseler |
Experimental Assessment of Accuracy of Automated Knowledge Capture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (16) ![In: Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience, 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 212-216, 2009, Springer, 978-3-642-02811-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Naval training systems, intelligent tutoring systems, Automated assessment, simulation-based training |
22 | Umar Manzoor, Samia Nefti |
Cognitive Agent for Automated Software Installation - CAASI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Visioning and Engineering the Knowledge Society. A Web Science Perspective, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings, pp. 543-552, 2009, Springer, 978-3-642-04753-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automated Software Installer, Network Installation, Silent Installation, Multi-Agent System, Cognitive Agents |
22 | Nazlia Omar, Nur Asma Mohd. Razali, Saadiyah Darus |
Automated Grammar Checking of Tenses for ESL Writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 475-482, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automated essay marking, computer-based essay marking, natural language processing, heuristics |
22 | Klaus Wolfmaier, Rudolf Ramler, Gábor Guta, Heinz Dobler |
Observable Runtime Behavior for Defects Indicated by Automated Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 312-319, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automated Static Analysis, Defect Classification |
22 | Patrick Mäder, Orlena Gotel, Ilka Philippow |
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings, pp. 174-189, 2009, Springer, 978-3-642-02673-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automated traceability maintenance, Rule-based traceability, Traceability update, Model-driven engineering, Change management |
22 | Reda Alhajj, Mehmet Kaya |
Multi-objective genetic algorithms based automated clustering for fuzzy association rules mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 31(3), pp. 243-264, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated clustering, CURE, Data mining, Fuzziness, Multi-objective genetic algorithms, Fuzzy association rules |
22 | Zhuang Yan, Simon Fong 0001, Meilin Shi |
Knowledge-empowered automated negotiation system for e-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 17(2), pp. 167-191, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Knowledge management, e-Commerce, Automated negotiation |
22 | Yuchul Jung, Jihee Yoo, Sung-Hyon Myaeng, Dong-Cheol Han |
A Web-Based Automated System for Industry and Occupation Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings, pp. 443-457, 2008, Springer, 978-3-540-85480-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated Industry and Occupation Coding System, Hand-crafted Rule, Classification, Maximum Entropy, Web-based System |
22 | Roy Patrick Tan, Stephen Edwards |
Evaluating Automated Unit Testing in Sulu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 62-71, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation |
22 | Xuefeng Zhao, Chao Yun, Yuanyuan Wang, Wei Wang 0034 |
Applications of the Fuzzy Immune PID Control and the Genetic Algorithm in the Automated Pharmacy System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 1163-1172, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated pharmacy system, Fuzzy immune PID control, Genetic algorithm, Dynamic model, Storage allocation |
22 | Vikram Patankar, Rattikorn Hewett |
Automated Negotiations in Web Service Procurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 620-625, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web Service Procurement, Quality of Service, Automated Negotiation |
22 | Yehuda Ben-Shimol, Boaz Ben-Moshe, Yoav Ben-Yehezkel, Amit Dvir, Michael Segal 0001 |
Automated antenna positioning algorithms for wireless fixed-access networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 13(3), pp. 243-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fixed-access wireless networks, Automated antenna positioning, Rural areas, Terrain preprocessing |
22 | Manish Gupta 0008, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen |
Rapid goal-oriented automated software testing using MEA-graph planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(3), pp. 241-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Planning graph, MEA-Graphplan, AI Planning, Automated software testing |
22 | Filippo Lanubile, Teresa Mallardo |
Inspecting Automated Test Code: A Preliminary Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings, pp. 115-122, 2007, Springer, 978-3-540-73100-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Empirical Study, Refactoring, Unit Test, Pair Programming, Automated Testing, Software Inspection |
22 | Bernd Brandl |
Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 912-919, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Automated modelling, genetic algorithm, Bayesian information criterion |
22 | Domingo Mery, Miguel Carrasco |
Automated Multiple View Inspection Based on Uncalibrated Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings, pp. 1238-1247, 2005, Springer, 3-540-26320-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
defect detection, multiple view geometry, automated visual inspection |
22 | Takashi Nishizaki, Ryo Ogata, Yuichi Kameda, Yoshinari Ohta, Yuichi Nakamura 0001 |
Video quality analysis for an automated video capturing and editing system for conversation scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 678-681, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
video quality analysis, automated video capturing, editing system, multiple pan-tilt-zoom cameras, conversation state recognition, video streaming, subjective evaluation |
22 | Vincent Conitzer, Tuomas Sandholm |
Self-interested automated mechanism design and implications for optimal combinatorial auctions. ![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. 132-141, 2004, ACM, 1-58113-771-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
automated mechanism design, combinatorial auctions, revenue maximization |
22 | Michael J. Kearns, Luis E. Ortiz |
The Penn-Lehman Automated Trading Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 18(6), pp. 22-31, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
stock market simulation, automated trading, electronic crossing network |
22 | Vincent Conitzer, Tuomas Sandholm |
Automated mechanism design for a self-interested designer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 4th ACM Conference on Electronic Commerce (EC-2003), San Diego, California, USA, June 9-12, 2003, pp. 232-233, 2003, ACM, 1-58113-679-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
automated mechanism design, game theory |
22 | Chunsheng Yang, Robert Orchard, Benoit Farley, Marvin Zaluski |
Automated Case Base Creation and Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 123-133, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
case base maintenance, automated case creation, natural language processing, case-based reasoning |
22 | Johan Natt och Dag, Björn Regnell, Pär Carlshamre, Michael Andersson, Joachim Karlsson |
A Feasibility Study of Automated Natural Language Requirements Analysis in Market-Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 7(1), pp. 20-33, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Duplicate identification, NLP, Similarity, Natural language, COTS, Automated analysis |
22 | John C. Grundy, Guoliang Ding |
Automatic Validation of Deployed J2EE Components Using Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK, pp. 47-, 2002, IEEE Computer Society, 0-7695-1736-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software component validation, component characterisation, validation agents, automated testing |
22 | Tarek F. Abdelzaher |
An Automated Profiling Subsystem for QoS-Aware Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31 - June 2, 2000, pp. 208-217, 2000, IEEE Computer Society, 0-7695-0713-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Automated Profiling, QoS, Web Servers |
22 | Ron Dolin, J. Pierre, M. Butler, R. Avedon |
Practical evaluation of IR within automated classification systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 322-329, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
training sets, IR evaluation, automated classification |
22 | Yang Li, Jinpeng Huai, Hailong Sun 0001, Ting Deng, Huipeng Guo |
PASS: An Approach to Personalized Automated Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (1) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 283-290, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Tao Wang, Abhik Roychoudhury |
Automated path generation for software fault localization. ![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. 347-351, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program comprehension, automated debugging |
21 | Alexander Egyed, Stefan Biffl, Matthias Heindl, Paul Grünbacher |
Determining the cost-quality trade-off for automated software traceability. ![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. 360-363, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated trace analysis, cost-quality trade-off, experience report, value-based software engineering |
21 | Hassan Gomaa, Ghulam A. Farrukh |
Automated Configuration of Distributed Applications from Reusable Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 193-200, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reusable software architectures, automated configuration, reuse-oriented perspective, configurable distributed applications, reusable specifications, predefined component types, distributed processing, domain engineering |
21 | David A. Basin |
An Environment For Automated Reasoning About Partial Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 101-110, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Automated program development, unsolvability, theorem proving, computability, type theory, constructivity, tactics, partial functions |
21 | Manuel Resinas, Pablo Fernandez 0001, Rafael Corchuelo |
A Conceptual Framework for Automated Negotiation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 1250-1258, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Anne M. Murray, David J. Miller 0004 |
Automated material handling systems: automated reticle handling: a comparison of distributed and centralized reticle storage and transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 1360-1365, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Simon Colton |
The HR Program for Theorem Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 285-289, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 221-243, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy |
20 | Wenjun Wu 0003, Xiao-Shan Gao |
Mathematics mechanization and applications after thirty years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(1), pp. 1-8, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mathematics mechanization, characteristic set method, automated theorem discovering, symbolic equation solving, intelligent computer-aided design, computer vision, robotics, automated theorem proving, computer aided geometric design |
20 | Ewen Denney, Bernd Fischer 0002 |
A generic annotation inference algorithm for the safety certification of automatically generated code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 121-130, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation |
20 | Wolfgang A. Halang, Soon-Key Jung, Bernd J. Krämer |
Enforcing management policies in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 474-480, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
management policies, formally definable management policies, platform independent management architecture, clerical management tasks, object-oriented class structure, rule execution, automated management tool invocation, automated policy management, object-oriented programming, resource allocation, open systems, processor scheduling, operating systems (computers), network operating systems, computer network management, production rules, open distributed systems, distributed systems management, middleware platforms |
20 | Don S. Batory |
On the importance and challenges of FOSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 1, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
science of automated design, verification, testing, features, feature interactions, feature-oriented software development |
20 | Yinon Oshrat, Raz Lin, Sarit Kraus |
Facing the challenge of human-agent negotiations via effective general opponent modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 377-384, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
automated bilateral negotiation, opponent modeling |
20 | Shannon Allen, Eric C. Parent, Maziyar Khorasani, Doug L. Hill, Edmond Lou, V. James Raso |
Validity and Reliability of Active Shape Models for the Estimation of Cobb Angle in Patients with Adolescent Idiopathic Scoliosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 21(2), pp. 208-218, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cobb angle, scoliosis, reliability, Active shape models, automated measures |
20 | Richard Atterer |
Model-based automatic usability validation: a tool concept for improving web-based UIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008, pp. 13-22, 2008, ACM, 978-1-59593-704-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated validation, usability model, accessibility, web engineering, web usability |
20 | Yunhyong Kim, Seamus Ross |
Searching for Ground Truth: A Stepping Stone in Automating Genre Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELOS ![In: Digital Libraries: Research and Development, First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers, pp. 248-261, 2007, Springer, 978-3-540-77087-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated metadata extraction, digital library, metadata, information extraction, data management, genre classification |
20 | Sheila A. McIlraith |
Invited talk: towards declarative programming for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 1-2, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ontologies, web services, semantic web, OWL, web service composition, automated reasoning |
20 | Peep Küngas, Mihhail Matskin |
Web Services Analysis: Making Use of Web Service Composition and Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings, pp. 501-515, 2006, Springer, 3-540-38329-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Koen Claessen, Ann Lillieström |
Automated Inference of Finite Unsatisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 388-403, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jean-François Couchot, Stéphane Lescuyer |
Handling Polymorphism in Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 263-278, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | David A. Randell, Anthony G. Cohn 0001, Zhan Cui |
Computing Transivity Tables: A Challenge For Automated Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 786-790, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Abraham Othman, Tuomas Sandholm |
Automated market-making in the large: the gates hillman prediction market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 367-376, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
automated market making, data analysis, experimental studies, prediction markets, elicitation |
19 | Anna Schieben, Matthias Heesen, Julian Schindler, Johann Kelsch, Frank Flemisch |
The theater-system technique: agile designing and testing of system behavior and interaction, applied to highly automated vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI ![In: Proceedings of 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2009, in-cooperation with ACM SIGCHI, Essen, Germany, 21-22 September 2009, pp. 43-46, 2009, ACM, 978-1-60558-571-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Wizard-of-Oz technique, balanced design, highly automated vehicles, theater-system technique, user-centered design, design process, haptic interaction |
19 | Béla Genge, Piroska Haller |
Middleware for Automated Implementation of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 476-490, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated execution, ontologies, Web services, Middleware, security protocols |
19 | YongLiang Xu, Malcolm Yoke Hean Low, Chwee Seng Choo |
Enhancing automated red teaming with evolvable simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 687-694, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated red teaming, evolvable simulation, particle swarm optimization, experimentation, agent-based simulation, operations research, simulation and modelling |
19 | Jae-Hee Lim, Suk-Hoon Song, Tae-Yong Kuc, Hong-Seong Park, Hong-Seak Kim |
A Hierarchical Test Model and Automated Test Framework for RTC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT ![In: Future Generation Information Technology, First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings, pp. 198-207, 2009, Springer, 978-3-642-10508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Robot Software Component Testing, Robot Hardware Testing, Hierarchical Test Model, Automated Testing System, Robotics |
19 | Martin Dimitrov, Huiyang Zhou |
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 61-72, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated debugging, architectural support |
19 | Cha Zhang, Yong Rui, Jim Crawford, Li-wei He |
An automated end-to-end lecture capture and broadcasting system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Multim. Comput. Commun. Appl. ![In: ACM Trans. Multim. Comput. Commun. Appl. 4(1), pp. 6:1-6:23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated lecture capture, lecture broadcasting, live/on-demand broadcasting |
19 | Luis Pizarro, Domingo Mery, Rafael Delpiano, Miguel Carrasco |
Robust automated multiple view inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 11(1), pp. 21-32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Sequence tracking, Radioscopic imaging system, Robustness, Image matching, X-ray imaging, Automated visual inspection, Uncalibrated images |
19 | Gergely Tóth, Gábor Koszegi, Zoltán Hornák |
Case study: automated security testing on the trusted computing platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSEC ![In: Proceedings of the First European Workshop on System Security, EUROSEC 2008, Glasgow, Scotland, UK, March 31, 2008, pp. 35-39, 2008, ACM, 978-1-60558-119-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Flinder, OpenTC, automated security testing, trusted computing |
19 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech |
Towards automated proofs for asymmetric encryption schemes in the random oracle model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 371-380, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
asymmetric encryption, automated proofs, provable security, hoare logics, random oracle model |
19 | Marcelo P. Silva, Jean R. Damasceno, Flávio Luiz Seixas, Andrea Silveira de Souza, Débora C. Muchaluat-Saade |
Automated segmentation and volumetric analysis of brain components on MR imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1422-1423, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
VBM, anatomical atlas, automated segmentation, brain components, volumetric analysis, magnetic resonance |
19 | Li-Qing Qiu, Bin Pang |
Analysis of Automated Evaluation for Multi-document Summarization Using Content-Based Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: Second International Conference on the Digital Society (ICDS 2008), February 10-15, 2008, Sainte Luce, Martinique, France, pp. 60-63, 2008, IEEE Computer Society, 978-0-7695-3087-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated evaluation, content -based similarity, multi-document summarization |
19 | Xiang Fu 0001, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu |
APOGEE: automated project grading and instant feedback system for web based computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 77-81, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web application, test case generation, automated grading |
19 | Brian A. Canada, Georgia K. Thomas, Keith C. Cheng, James Ze Wang, Yanxi Liu 0001 |
Towards efficient automated characterization of irregular histology images via transformation to frieze-like patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 581-590, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated histology, computational symmetry, frieze patterns, zebrafish, texture analysis, dimension reduction |
19 | Sebastian Feuerstack, Marco Blumendorf, Maximilian Kern, Michael Kruppa, Michael Quade, Mathias Runge, Sahin Albayrak |
Automated Usability Evaluation during Model-Based Interactive System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA/HCSE ![In: Engineering Interactive Systems, Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings, pp. 134-141, 2008, Springer, 978-3-540-85991-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-based user interface development, automated usability evaluation |
19 | Tejaswini Narayanan, Deborah L. McGuinness |
Towards Leveraging Inference Web to Support Intuitive Explanations in Recommender Systems for Automated Career Counseling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACHI ![In: First International Conference on Advances in Computer-Human Interaction, ACHI 2008, February 10-15, 2008, Sainte Luce, Martinique, France, pp. 164-169, 2008, IEEE Computer Society, 978-0-7695-3086-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Explanation Generation, Automated Career Counseling, Semantic Web User Interfaces, Recommender Systems |
19 | Michael Backes 0001, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 2008 IEEE Symposium on Security and Privacy (SP 2008), 18-21 May 2008, Oakland, California, USA, pp. 202-215, 2008, IEEE Computer Society, 978-0-7695-3168-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
zero-knowledge, Language-based security, automated verification, applied pi-calculus |
19 | Jane Cleland-Huang, Brian Berenbach, Stephen Clark, Raffaella Settimi, Eli Romanova |
Best Practices for Automated Traceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 40(6), pp. 27-35, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated traceability |
19 | Roy Stripling, Joseph T. Coyne, Anna Cole, Daniel Afergan, Raymond L. Barnes, Kelly A. Rossi, Leah Reeves, Dylan Schmorrow |
Automated SAF Adaptation Tool (ASAT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (16) ![In: Foundations of Augmented Cognition, Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 346-353, 2007, Springer, 978-3-540-73215-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semi-automated forces, SAF, adaptation, real-time, virtual environment, training, cognitive state |
19 | S. Dabas, Ning Dong 0002, Jaijeet S. Roychowdhury |
Automated Extraction of Accurate Delay/Timing Macromodels of Digital Gates and Latches using Trajectory Piecewise Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 361-366, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
gate delay modelling, accurate delay/timing macromodels, digital gates, trajectory-piecewise automated nonlinear macromodelling methods, mixed-signal/RF domain, SPICE-level netlists, transparent retargetability, NAND gates, NOR gates, sequential latch, latches, full adder, current-source models, XOR gates |
19 | Pingju Ge, Qiulan Wu, Yongxiang Sun |
The Design of Fruit Automated Sorting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume I, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 165-170, 2007, Springer, 978-0-387-77250-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
the fruit, automated sorting system, the digital image processing, Pattern Recognition, automation |
19 | Zhuang Yan, Francis Yan, Simon Fong 0001 |
Incorporating Knowledge into e-Commerce Automated Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 600-604, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Agents, Knowledge, Automated Negotiation |
19 | Antonia Azzini, Andrea Tettamanzi |
Automated trading on financial instruments with evolved neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 2252, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated financial trading, neural networks, evolutionary algorithms |
19 | Yan He 0001, Miaoliang Zhu |
A complete and efficient strategy based on petri net in automated trust negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infoscale ![In: Proceedings of the 2nf International Conference on Scalable Information Systems, Infoscale 2007, Suzhou, China, June 6-8, 2007, pp. 75, 2007, ACM, 978-1-59593-757-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
negotiation petri net, automated trust negotiation, negotiation strategy |
19 | Panayiotis Korfiatis, Spyros G. Skiadopoulos, Philipos Sakellaropoulos, Christina Kalogeropoulou, Lena Costaridou |
Automated 3D Segmentation of Lung Fields in Thin Slice CT Exploiting Wavelet Preprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, Proceedings, pp. 237-244, 2007, Springer, 978-3-540-74271-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lung volume segmentation, automated 3D thresholding, adaptive wavelet edge enhancement, computerized CT lung analysis |
19 | Henriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren |
Prototypes for Automated Architectural 3D-Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSMM ![In: Virtual Systems and Multimedia, 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers, pp. 203-214, 2007, Springer, 978-3-540-78565-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
3D-Modeling and Automated Spatial Layout, Euclidean and Non-Euclidean Ge ometries, Satisfiability |
19 | Elliot Barlas, Tevfik Bultan |
Netstub: a framework for verification of distributed java applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 24-33, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
testing and verification of, model checking, automated verification |
19 | Masood Mehmood Khan, Michael Ingleby, Robert D. Ward |
Automated Facial Expression Classification and affect interpretation using infrared measurement of facial skin temperature variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 1(1), pp. 91-113, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Automated affect recognition, infrared thermal imaging, socially intelligent machines, facial expression classification |
19 | Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard |
Automated Boundary Test Generation from JML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 428-443, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
boundary values, Test generation, automated, model-based, Java Modeling Language |
19 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated AI Planning and Code Pattern Based Code Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 540-546, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Automated code synthesis, Graphplan, AI planning, Embedded real-time systems, Code patterns |
19 | Maria José Pereira Dantas, Leonardo da C. Brito, Paulo Henrique Portela de Carvalho |
Multi-objective Memetic Algorithm Applied to the Automated Synthesis of Analog Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence - IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006, Proceedings, pp. 258-267, 2006, Springer, 3-540-45462-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-objective memetic algorithm, 2D representation, analog circuit, building-blocks, automated synthesis |
19 | Byung Joo Park, Hyung Rim Choi, Hae Kyoung Kwon, Moo Hong Kang |
Simulation Analysis on Effective Operation of Handling Equipments in Automated Container Terminal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 1231-1238, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Automated Container Terminal, Integrated Operation |
19 | Robert C. Martin |
The Test Bus Imperative: Architectures That Support Automated Acceptance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(4), pp. 65-67, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated acceptance testing, test bus |
19 | Jen-Hsiang Chen, Kuo-Ming Chao, Nick Godwin, Von-Wun Soo |
Combining Cooperative and Non-Cooperative Automated Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 7(4-5), pp. 391-404, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
co-evolutionary, game theory, automated negotiation |
19 | Cha Zhang, Jim Crawford, Yong Rui, Li-wei He |
An automated end-to-end lecture capturing and broadcasting system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 13th ACM International Conference on Multimedia, Singapore, November 6-11, 2005, pp. 808-809, 2005, ACM, 1-59593-044-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated lecture capturing, live/on-demand broadcasting |
Displaying result #401 - #500 of 65387 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|