The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for bridging with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1983 (20) 1984-1986 (16) 1987-1988 (15) 1989-1990 (23) 1991 (25) 1992 (28) 1993 (31) 1994 (42) 1995 (42) 1996 (40) 1997 (56) 1998 (79) 1999 (59) 2000 (119) 2001 (93) 2002 (211) 2003 (140) 2004 (137) 2005 (209) 2006 (365) 2007 (458) 2008 (272) 2009 (326) 2010 (261) 2011 (355) 2012 (291) 2013 (246) 2014 (233) 2015 (227) 2016 (265) 2017 (243) 2018 (619) 2019 (431) 2020 (313) 2021 (370) 2022 (417) 2023 (656) 2024 (182)
Publication types (Num. hits)
article(2454) book(15) data(1) incollection(138) inproceedings(5168) phdthesis(98) proceedings(41)
Venues (Conferences, Journals, ...)
CoRR(767) ICIS(393) ARES(297) ASIST(187) SMC(109) IVIC(88) DG.O(80) XSEDE(72) GBCIC(66) ITC(52) DSS(51) The Art of Structuring(49) HICSS(45) CHI Extended Abstracts(44) IEEE Trans. Comput. Aided Des....(40) VTS(37) More (+10 of total 2400)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2581 occurrences of 1610 keywords

Results
Found 7915 publication records. Showing 7915 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
103Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu On the characterization and efficient computation of hard-to-detect bridging faults. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
80Irith Pomeranz, Sudhakar M. Reddy Using Dummy Bridging Faults to Define Reduced Sets of Target Faults. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72Shichao Zhang 0001, Feng Chen, Xindong Wu 0001, Chengqi Zhang Identifying bridging rules between conceptual clusters. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bridging rule, clustering, association rule, entropy, outlier
72Arabi Keshk, Kozo Kinoshita, Yukiya Miura IDDQ Current Dependency on Test Vectors and Bridging Resistance. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Bridging fault, IDDQ Testing
72Michel Renovell, P. Huc, Yves Bertrand The concept of resistance interval: a new parametric model for realistic resistive bridging fault. Search on Bibsonomy VTS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF electric resistance, resistance interval, intrinsic resistance, logic behavior, 0 to 500 ohm, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, fault detection, automatic testing, fault coverage, bridging faults, parametric model, logic gates, logic gates, resistive bridging fault, faulty behavior
72Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker 0001 Modeling Feedback Bridging Faults with Non-Zero Resistance. Search on Bibsonomy J. Electron. Test. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF feedback bridging faults, resistive bridging faults, bridging fault simulation
64Masaki Hashizume, Hiroyuki Yotsuyanagi, Takeomi Tamesada Identification of Feedback Bridging Faults with Oscillation. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF feedback bridging fault, CMOS, logic circuit, oscillation
64Michel Renovell, P. Huc, Yves Bertrand Serial transistor network modeling for bridging fault simulation. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF serial transistor network modeling, voting model, biased voting model, relative transistor strength, SPICE pre-simulation, fault simulation procedure, CMOS logic, fault diagnosis, logic testing, integrated circuit testing, digital simulation, circuit analysis computing, CMOS logic circuits, SPICE, integrated circuit modelling, bridging fault simulation
64Toshiyuki Maeda, Kozo Kinoshita Memory reduction of IDDQ test compaction for internal and external bridging faults. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF I/sub DDQ/ test compaction, internal bridging faults, external bridging faults, IDDQ test sequence, reassignment method, weighted random sequences, logic testing, integrated circuit testing, sequential circuits, sequential circuits, automatic testing, fault simulation, CMOS logic circuits, CMOS circuits, test application time reduction, memory reduction
64Chul Young Lee, D. M. H. Walker PROBE: A PPSFP Simulator for Resistive Bridging Faults. Search on Bibsonomy VTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PPSFP, fault model, fault simulation, bridging fault, resistive bridging faults
63Hugo Cheung, Sandeep K. Gupta Accurate modeling and fault simulation of Byzantine resistive bridges. Search on Bibsonomy ICCD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Fan Yang 0060, Sreejit Chakravarty, Narendra Devta-Prasanna, Sudhakar M. Reddy, Irith Pomeranz Detectability of internal bridging faults in scan chains. Search on Bibsonomy ASP-DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
56Irith Pomeranz, Sudhakar M. Reddy A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Soumendra Nanda, David Kotz Localized Bridging Centrality for Distributed Network Analysis. Search on Bibsonomy ICCCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Xinyue Fan, Will R. Moore, Camelia Hora, Mario Konijnenburg, Guido Gronthoud A Gate-Level Method for Transistor-Level Bridging Fault Diagnosis. Search on Bibsonomy VTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Woochang Hwang, Taehyong Kim, Murali Ramanathan, Aidong Zhang Bridging centrality: graph mining from element level to group level. Search on Bibsonomy KDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bridging centrality, graph clustering
56Arabi Keshk, Kozo Kinoshita, Yukiya Miura Procedure to Overcome the Byzantine General's Problem for Bridging Faults in CMOS Circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Byzantine General's problem, Bridging fault
56Michel Renovell, P. Huc, Yves Bertrand Bridging fault coverage improvement by power supply control. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF bridging fault coverage, power supply control, resistance interval, faulty value, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, automatic testing, logic circuits, parametric model, benchmark circuits
56Michele Favalli, Piero Olivo, Bruno Riccò Dynamic effects in the detection of bridging faults in CMOS ICs. Search on Bibsonomy J. Electron. Test. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF test invalidation, fault models, fault simulation, Bridging faults
56Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker 0001 Simulating Resistive Bridging and Stuck-At Faults. Search on Bibsonomy ITC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Resistive stuck-at faults, probabilistic fault coverage, Resistive bridging faults, bridging fault simulation
56Kuen-Jong Lee, Jing-Jou Tang, Tsung-Chu Huang, Cheng-Liang Tsai Combination Of Automatic Test Pattern Generation And Built-In Intermediate Voltage Sensing For Detecting CMOS Bridging Faults. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF CMOS bridging faults detection, ATPG system, built-in intermediate voltage sensing, BIFEST system, PODEM-like process, PPSFP-based process, logic monitoring, gate threshold ranges, Byzantine General's Command Problem, feedback bridging faults, parallel pattern single fault propagation, fault modelling, fault simulation, fault coverage, greedy algorithm, CMOS logic circuits
56Terry Lee, Ibrahim N. Hajj, Elizabeth M. Rudnick, Janak H. Patel Genetic-algorithm-based test generation for current testing of bridging faults in CMOS VLSI circuits. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF GA-based test generators, CMOS VLSI circuits, I/sub DDQ/ current testing, CMOS digital circuits, two-line bridging fault set, compact test set generation, genetic algorithms, VLSI, logic testing, integrated circuit testing, ATPG, automatic test pattern generator, automatic testing, fault location, bridging faults, CMOS digital integrated circuits, adaptive genetic algorithm
49Baris Arslan, Alex Orailoglu Extracting Precise Diagnosis of Bridging Faults from Stuck-at Fault Information. Search on Bibsonomy Asian Test Symposium The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Pan Zhongliang Bridging Fault Detections for Testable Realizations of Logic Functions. Search on Bibsonomy VLSI Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Tsuyoshi Shinogi, Tomokazu Kanbayashi, Tomohiro Yoshikawa, Shinji Tsuruoka, Terumine Hayashi Faulty Resistance Sectioning Technique for Resistive Bridging Fault ATPG Systems. Search on Bibsonomy Asian Test Symposium The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Lan Zhao, D. M. H. Walker, Fabrizio Lombardi IDDQ Testing of Bridging Faults in Logic Resources of Reconfigurable Field Programmable Gate Arrays. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Sankaran M. Menon, Anura P. Jayasumana, Yashwant K. Malaiya Input Pattern Classification for Transistor Level Testing of Bridging Faults in BiCMOS Circuits. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
49Daniel Arumí, Rosa Rodríguez-Montañés, Joan Figueras, Stefan Eichenberger, Camelia Hora, Bram Kruseman, Maurice Lousberg, Ananta K. Majhi Diagnosis of Bridging Defects Based on Current Signatures at Low Power Supply Voltages. Search on Bibsonomy VTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Current Based Diagnosis, Current Signatures, I_DDQ, Very Low Voltage, CMOS, Bridging Defect
49Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker 0001 Automatic Test Pattern Generation for Resistive Bridging Faults. Search on Bibsonomy J. Electron. Test. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF resistive short defects, ATPG, SAT, bridging faults
49Hyun Ko, Hee Yong Youn Adaptive Bridging with Portable Interceptor for Efficient Integration of Reflective Middleware. Search on Bibsonomy UIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Adaptive bridging, portable interceptor, middleware, pervasive computing, heterogeneous, objects
49Yukiya Miura, Shuichi Seno Behavior Analysis of Internal Feedback Bridging Faults in CMOS Circuits. Search on Bibsonomy J. Electron. Test. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fault behavior, feedback bridging faults, IDDQ testing, CMOS circuits, fault analysis
49Lan Zhao, D. M. H. Walker, Fabrizio Lombardi Detection of bridging faults in logic resources of configurable FPGAs using I_DDQ. Search on Bibsonomy ITC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF IDDQ Tes t, Configurable Logic Blocks, FPGA, Testing, Bridging Fault, Programming Phase
49Tzuhao Chen, Ibrahim N. Hajj GOLDENGATE: a fast and accurate bridging fault simulator under a hybrid logic/IDDQ testing environment. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF GOLDENGATE, digital VLSI circuits, electrical-level simulation, event-driven technique, logic/I/sub DDQ/ testing, logic testing, sequential circuits, combinational circuits, bridging fault simulator
49Alvernon Walker, Algernon P. Henry, Parag K. Lala An approach for detecting bridging faults in CMOS domino logic circuits using dynamic power supply current monitoring. Search on Bibsonomy DFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF bridging faults detection, CMOS domino logic circuits, dynamic power supply current monitoring, CMOS logic circuits, transient current
49Kuen-Jong Lee, Jing-Jou Tang Two Modeling Techniques For CMOS Circuits To Enhance Test Generation And Fault Simulation For Bridging Faults. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF efficient modeling techniques, enhanced test generation performance, fault modeling technique, inter-gate faults, threshold determination method, SPICE like accuracy, digital logic gates, logic testing, fault simulation, CMOS logic circuits, bridging faults, IDDQ testing, CMOS circuits
49Sreejit Chakravarty, Yiming Gong Voting model based diagnosis of bridging faults in combinational circuits. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MOS logic circuits, voting model based diagnosis, fault list, stuck-at fault dictionary, fault dropping rules, time efficiency, fault diagnosis, logic testing, combinational circuits, combinational circuits, bridging faults, diagnosis algorithm, space efficiency, majority logic, compact data structure
49Sreejit Chakravarty, Minsheng Liu Algorithms for IDDQ measurement based diagnosis of bridging faults. Search on Bibsonomy J. Electron. Test. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Bridging faults, diagnosis algorithm, I DDQ testing
47Rosa Rodríguez-Montañés, Joan Figueras Bridges in sequential CMOS circuits: current-voltage signatur. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF sequential CMOS circuits, current-voltage signature, I/sub DDQ/-V/sub DD/ signature, control loop nodes, fault diagnosis, fault diagnosis, temperature dependence, bridging defects
47Piet Engelke, Bernd Becker 0001, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian SUPERB: Simulator utilizing parallel evaluation of resistive bridges. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PPSFP, SPPFP, fault mapping, Resistive bridging faults, bridging fault simulation
44Ana-Maria Olteteanu Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
41Wei Huang Failure Probability Evaluation Due to Tin Whiskers Caused Leads Bridging on Compressive Contact Connectors. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya Easily Testable Realization of GRM and ESOP Networks for Detecting Stuck-at and Bridging Faults. Search on Bibsonomy VLSI Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu On the Characterization of Hard-to-Detect Bridging Faults. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41S. Wayne Bollinger, Scott F. Midkiff Test generation for IDDQ testing of bridging faults in CMOS circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
41Michele Favalli, Marcello Dalpasso How Many Test Vectors We Need to Detect a Bridging Fault? Search on Bibsonomy J. Electron. Test. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Test generation, Fault simulation, Bridging faults
41Ajoy Kumar Palit, Kishore K. Duganapalli, Walter Anheier Influence of Resistive Bridging Fault on Crosstalk Coupling Effects in On-Chip Aggressor-Victim Interconnects. Search on Bibsonomy DFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF defective interconnects, defect’s severity, fault model, crosstalk, bridging fault
41James T. Yu, Chibiao Liu Applications and Performance Analysis of Bridging with Layer-3 Forwarding on Wireless LANs. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF layer-3 forwarding, Wireless LAN, multi-hop, bridging
41Ilia Polian, Piet Engelke, Bernd Becker 0001 Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Voting models, Fault simulation, Bridging faults
41Arabi Keshk, Yukiya Miura, Kozo Kinoshita Simulation of resistive bridging fault to minimize the presence of intermediate voltage and oscillation in CMOS circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF circuit oscillations, transistor level networks, feedback oscillation, Byzantine General's problems, logic threshold, logic testing, logic testing, integrated circuit testing, fault coverage, fault location, bridging fault, CMOS circuits, CMOS digital integrated circuits, test vector
41Srikanth Venkataraman, W. Kent Fuchs A deductive technique for diagnosis of bridging faults. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Diagnosis, Bridging faults, Deduction
41Sankaran M. Menon, Yashwant K. Malaiya, Anura P. Jayasumana Input Pattern Classification for Detection of Stuck-ON and Bridging Faults Using IDDQ Testing in BiCMOS and CMOS Circuits. Search on Bibsonomy VLSI Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF input pattern classification, BiCMOS circuits, quiescent power supply current monitoring, enhanced I/sub DDQ/, fault diagnosis, bridging faults, CMOS circuits, I/sub DDQ/ testing, stuck-ON faults
41Rosa Rodríguez-Montañés, E. M. J. G. Bruls, Joan Figueras Bridging defects resistance in the metal layer of a CMOS process. Search on Bibsonomy J. Electron. Test. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF resistance of the bridge, defect modelling, bridging defects, CMOS process
41Sreejit Chakravarty, Paul J. Thadikaran Algorithms to select IDDQ measurement points to detect bridging faults. Search on Bibsonomy J. Electron. Test. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF bridging faults, test selection, I DDQ test
41Michel Renovell, P. Huc, Yves Bertrand The Logic Threshold Based Voting: A Model for Local Feedback Bridging Fault. Search on Bibsonomy EDCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Test, Fault Modelling, Bridging Fault
41Brian Chess, David B. Lavo, F. Joel Ferguson, Tracy Larrabee Diagnosis of realistic bridging faults with single stuck-at information. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF match requirement, match restriction, realistic bridging faults diagnosis, single stuck-at dictionaries, single stuck-at information, stuck-at diagnosis, stuck-at methods, fault diagnosis, logic testing, fault location, failure analysis, failure recovery
41Remata S. Reddy, Irith Pomeranz, Sudhakar M. Reddy, Seiji Kajihara Compact test generation for bridging faults under IDDQ testing. Search on Bibsonomy VTS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF compact test generation, bit-adders, logic testing, partitioning, integrated circuit testing, fault location, stuck-at faults, CMOS logic circuits, bridging faults, logic partitioning, I/sub DDQ/ testing
34Claudia Schon (eds.) Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Marcos Cramer, Mathieu Guillaume Directionality of Attacks in Natural Language Argumentation. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Andrew Fish, Alexei Lisitsa 0001, Alexei Vernitski Towards Human Readability of Automated Unknottedness Proofs. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Steffen Hölldobler Ethical Decision Making under the Weak Completion Semantics. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Sjur K. Dyrkolbotn, Truls Pedersen A Formal Analysis of Enthymematic Arguments. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Alison Pease, Ursula Martin Automating "Human-Like" Example-Use in Mathematics. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Stefania Costantini, Abeer Dyoub, Valentina Pitoni Reflection and Introspection for Humanized Intelligent Agents. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Lawrence S. Moss, Charlotte Raty Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
34Claudia Schon, Ulrich Furbach (eds.) Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Antonis C. Kakas Informalizing Formal Logic. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha The Weak Completion Semantics. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz Principles and Clusters in Human Syllogistic Reasoning. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Robert A. Kowalski Satisfiability for First-order Logic as a Non-Modal Deontic Logic. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Luís Moniz Pereira, Ari Saptawijaya Agent Morality via Counterfactuals in Logic Programming. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Marco Ragni, Nicolas Riesterer The Search for Cognitive Models: Standards and Challenges. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Ilir Kola, Marco Ragni Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
34Ergun Akleman, Lyn Bartram, Anil Çamci, Angus G. Forbes, Penousal Machado (eds.) 5th Joint Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering, Expressive 2016 - Posters, Artworks, and Bridging Papers, Lisbon, Portugal, May 7-9, 2016, Proceedings Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  BibTeX  RDF
34Claudia Schon, Ulrich Furbach (eds.) Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Catarina Maçãs, Penousal Machado The Rhythm of Consumption. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Serike Cakmak, Tevfik Metin Sezgin Building a Gold Standard for Perceptual Sketch Similarity. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Nuno Cabrita, Gilberto Bernardes Relational Interactive Art: A Framework for Interaction in a Social Context. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Pedro Alves da Veiga Alchimia: an Inexplicable or Mysterious Transmutation, a Seemingly Magical Process of Transformation, Creation, or Combination. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Li Ji 0001, Brian Wyvill, Lynda Gammon, Amy Gooch Composition and Perception beyond Photorealism. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Esteban García Bravo, Tim McGraw Bodygraphe: Gestural Computing for Visual Music. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Ozan Can Altiok, Kemal Tugrul Yesilbek, Tevfik Metin Sezgin What Auto Completion Tells Us About Sketch Recognition. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Ana Beatriz Correia, Penousal Machado The Aesthetics of Routine. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Çagla Çig, Tevfik Metin Sezgin Gaze-Based Biometric Authentication: Hand-Eye Coordination Patterns as a Biometric Trait. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Amir Semmo, Matthias Trapp 0001, Sebastian Pasewaldt, Jürgen Döllner Interactive Oil Paint Filtering On Mobile Devices. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Katayoon Etemad, Faramarz Samavati, Sheelagh Carpendale Artistic Inspired Data Visualization Design Process. Search on Bibsonomy Expressive (Posters, Artworks, and Bridging Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni Syllogistic Reasoning under the Weak Completion Semantics. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Sangeet Khemlani Automating Human Inference. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Ulrich Furbach, Claudia Schon Commonsense Reasoning Meets Theorem Proving. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Ulrich Furbach, Florian Furbach, Christian Freksa Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Aaron Sloman Natural Vision and Mathematics: Seeing Impossibilities. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Naveen Sundar Govindarajulu, Selmer Bringsjord Crowdsourcing Theorem Proving via Natural Games. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Antonis C. Kakas, Loizos Michael, Francesca Toni Argumentation: Reconciling Human and Automated Reasoning. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
34Ulrich Furbach, Claudia Schon (eds.) Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
34Ulrich Furbach, Andrew S. Gordon, Claudia Schon Tackling Benchmark Problems of Commonsense Reasoning. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
34Alexandra Varga, Keith Stenning, Laura Martignon There is no one Logic to Model Human Reasoning: the Case from Interpretation. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
34Bernhard Beckert, Sarah Grebing Interactive Theorem Proving - Modelling the User in the Proof Process. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
34Steffen Hölldobler Weak Completion Semantics and its Applications in Human Reasoning. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
34Emanuelle-Anna Dietz A Computational Logic Approach to Syllogisms in Human Reasoning. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
34 Help Me Help You: Bridging the Gaps in Human-Agent Collaboration, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-05, Stanford, California, USA, March 21-23, 2011 Search on Bibsonomy AAAI Spring Symposium: Help Me Help You: Bridging the Gaps in Human-Agent Collaboration The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 7915 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license