|
|
Venues (Conferences, Journals, ...)
|
|
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 |
103 | Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu |
On the characterization and efficient computation of hard-to-detect bridging faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(12), pp. 1640-1649, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Irith Pomeranz, Sudhakar M. Reddy |
Using Dummy Bridging Faults to Define Reduced Sets of Target Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10), pp. 2219-2227, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Shichao Zhang 0001, Feng Chen, Xindong Wu 0001, Chengqi Zhang |
Identifying bridging rules between conceptual clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006, pp. 815-820, 2006, ACM, 1-59593-339-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bridging rule, clustering, association rule, entropy, outlier |
72 | Arabi Keshk, Kozo Kinoshita, Yukiya Miura |
IDDQ Current Dependency on Test Vectors and Bridging Resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 158-163, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Bridging fault, IDDQ Testing |
72 | Michel Renovell, P. Huc, Yves Bertrand |
The concept of resistance interval: a new parametric model for realistic resistive bridging fault. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 184-189, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
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 |
72 | Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker 0001 |
Modeling Feedback Bridging Faults with Non-Zero Resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 21(1), pp. 57-69, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
feedback bridging faults, resistive bridging faults, bridging fault simulation |
64 | Masaki Hashizume, Hiroyuki Yotsuyanagi, Takeomi Tamesada |
Identification of Feedback Bridging Faults with Oscillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 25-, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
feedback bridging fault, CMOS, logic circuit, oscillation |
64 | Michel Renovell, P. Huc, Yves Bertrand |
Serial transistor network modeling for bridging fault simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 100-106, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
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 |
64 | Toshiyuki Maeda, Kozo Kinoshita |
Memory reduction of IDDQ test compaction for internal and external bridging faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 350-355, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
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 |
64 | Chul Young Lee, D. M. H. Walker |
PROBE: A PPSFP Simulator for Resistive Bridging Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada, pp. 105-112, 2000, IEEE Computer Society, 0-7695-0613-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
PPSFP, fault model, fault simulation, bridging fault, resistive bridging faults |
63 | Hugo Cheung, Sandeep K. Gupta |
Accurate modeling and fault simulation of Byzantine resistive bridges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 347-353, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Fan Yang 0060, Sreejit Chakravarty, Narendra Devta-Prasanna, Sudhakar M. Reddy, Irith Pomeranz |
Detectability of internal bridging faults in scan chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009, pp. 678-683, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Irith Pomeranz, Sudhakar M. Reddy |
A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1166-1171, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Soumendra Nanda, David Kotz |
Localized Bridging Centrality for Distributed Network Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 17th International Conference on Computer Communications and Networks, IEEE ICCCN 2008, St. Thomas, U.S. Virgin Islands, August 3-7, 2008, pp. 62-67, 2008, IEEE, 978-1-4244-2390-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Xinyue Fan, Will R. Moore, Camelia Hora, Mario Konijnenburg, Guido Gronthoud |
A Gate-Level Method for Transistor-Level Bridging Fault Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 24th IEEE VLSI Test Symposium (VTS 2006), 30 April - 4 May 2006, Berkeley, California, USA, pp. 266-271, 2006, IEEE Computer Society, 0-7695-2514-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Woochang Hwang, Taehyong Kim, Murali Ramanathan, Aidong Zhang |
Bridging centrality: graph mining from element level to group level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Las Vegas, Nevada, USA, August 24-27, 2008, pp. 336-344, 2008, ACM, 978-1-60558-193-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bridging centrality, graph clustering |
56 | Arabi Keshk, Kozo Kinoshita, Yukiya Miura |
Procedure to Overcome the Byzantine General's Problem for Bridging Faults in CMOS Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 121-126, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Byzantine General's problem, Bridging fault |
56 | Michel Renovell, P. Huc, Yves Bertrand |
Bridging fault coverage improvement by power supply control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 338-343, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
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 |
56 | Michele Favalli, Piero Olivo, Bruno Riccò |
Dynamic effects in the detection of bridging faults in CMOS ICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(3), pp. 197-205, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
test invalidation, fault models, fault simulation, Bridging faults |
56 | Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker 0001 |
Simulating Resistive Bridging and Stuck-At Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USA, pp. 1051-1059, 2003, IEEE Computer Society, 0-7803-8106-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Resistive stuck-at faults, probabilistic fault coverage, Resistive bridging faults, bridging fault simulation |
56 | Kuen-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](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 100-, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
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 |
56 | Terry 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](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 456-462, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
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 |
49 | Baris Arslan, Alex Orailoglu |
Extracting Precise Diagnosis of Bridging Faults from Stuck-at Fault Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, pp. 230-235, 2003, IEEE Computer Society, 0-7695-1951-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Pan Zhongliang |
Bridging Fault Detections for Testable Realizations of Logic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 423-, 2003, IEEE Computer Society, 0-7695-1868-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Tsuyoshi Shinogi, Tomokazu Kanbayashi, Tomohiro Yoshikawa, Shinji Tsuruoka, Terumine Hayashi |
Faulty Resistance Sectioning Technique for Resistive Bridging Fault ATPG Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, pp. 76-81, 2001, IEEE Computer Society, 0-7695-1378-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
49 | Lan Zhao, D. M. H. Walker, Fabrizio Lombardi |
IDDQ Testing of Bridging Faults in Logic Resources of Reconfigurable Field Programmable Gate Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(10), pp. 1136-1152, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
49 | Sankaran M. Menon, Anura P. Jayasumana, Yashwant K. Malaiya |
Input Pattern Classification for Transistor Level Testing of Bridging Faults in BiCMOS Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), March 22-23, 1996, Ames, IA, USA, pp. 214-219, 1996, IEEE Computer Society, 0-8186-7502-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
49 | Daniel 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](Pics/bibsonomy.png) |
VTS ![In: 25th IEEE VLSI Test Symposium (VTS 2007), 6-10 May 2007, Berkeley, California, USA, pp. 145-150, 2007, IEEE Computer Society, 0-7695-2812-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Current Based Diagnosis, Current Signatures, I_DDQ, Very Low Voltage, CMOS, Bridging Defect |
49 | Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker 0001 |
Automatic Test Pattern Generation for Resistive Bridging Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 22(1), pp. 61-69, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
resistive short defects, ATPG, SAT, bridging faults |
49 | Hyun Ko, Hee Yong Youn |
Adaptive Bridging with Portable Interceptor for Efficient Integration of Reflective Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 669-678, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Adaptive bridging, portable interceptor, middleware, pervasive computing, heterogeneous, objects |
49 | Yukiya Miura, Shuichi Seno |
Behavior Analysis of Internal Feedback Bridging Faults in CMOS Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 18(2), pp. 109-120, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fault behavior, feedback bridging faults, IDDQ testing, CMOS circuits, fault analysis |
49 | Lan Zhao, D. M. H. Walker, Fabrizio Lombardi |
Detection of bridging faults in logic resources of configurable FPGAs using I_DDQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 1037-1046, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
IDDQ Tes t, Configurable Logic Blocks, FPGA, Testing, Bridging Fault, Programming Phase |
49 | Tzuhao Chen, Ibrahim N. Hajj |
GOLDENGATE: a fast and accurate bridging fault simulator under a hybrid logic/IDDQ testing environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 555-561, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
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 |
49 | Alvernon 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](Pics/bibsonomy.png) |
DFT ![In: 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 20-22 October 1997, Paris, France, pp. 272-280, 1997, IEEE Computer Society, 0-8186-8168-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
bridging faults detection, CMOS domino logic circuits, dynamic power supply current monitoring, CMOS logic circuits, transient current |
49 | Kuen-Jong Lee, Jing-Jou Tang |
Two Modeling Techniques For CMOS Circuits To Enhance Test Generation And Fault Simulation For Bridging Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 165-171, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
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 |
49 | Sreejit Chakravarty, Yiming Gong |
Voting model based diagnosis of bridging faults in combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 338-342, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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 |
49 | Sreejit Chakravarty, Minsheng Liu |
Algorithms for IDDQ measurement based diagnosis of bridging faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(4), pp. 377-385, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Bridging faults, diagnosis algorithm, I DDQ testing |
47 | Rosa Rodríguez-Montañés, Joan Figueras |
Bridges in sequential CMOS circuits: current-voltage signatur. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 68-73, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
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 |
47 | Piet 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](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(4), pp. 56:1-56:21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PPSFP, SPPFP, fault mapping, Resistive bridging faults, bridging fault simulation |
44 | Ana-Maria Olteteanu |
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 54-68, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
41 | Wei Huang |
Failure Probability Evaluation Due to Tin Whiskers Caused Leads Bridging on Compressive Contact Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 57(3), pp. 426-430, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Hafizur 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](Pics/bibsonomy.png) |
VLSI Design ![In: 17th International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India, pp. 487-492, 2004, IEEE Computer Society, 0-7695-2072-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu |
On the Characterization of Hard-to-Detect Bridging Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 11012-11019, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | S. Wayne Bollinger, Scott F. Midkiff |
Test generation for IDDQ testing of bridging faults in CMOS circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(11), pp. 1413-1418, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
41 | Michele Favalli, Marcello Dalpasso |
How Many Test Vectors We Need to Detect a Bridging Fault? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 25(1), pp. 79-95, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Test generation, Fault simulation, Bridging faults |
41 | Ajoy 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](Pics/bibsonomy.png) |
DFT ![In: 21th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2006), 4-6 October 2006, Arlington, Virginia, USA, pp. 336-344, 2006, IEEE Computer Society, 0-7695-2706-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
defective interconnects, defect’s severity, fault model, crosstalk, bridging fault |
41 | James T. Yu, Chibiao Liu |
Applications and Performance Analysis of Bridging with Layer-3 Forwarding on Wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 81, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
layer-3 forwarding, Wireless LAN, multi-hop, bridging |
41 | Ilia Polian, Piet Engelke, Bernd Becker 0001 |
Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 216-223, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Voting models, Fault simulation, Bridging faults |
41 | Arabi 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](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 120-124, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
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 |
41 | Srikanth Venkataraman, W. Kent Fuchs |
A deductive technique for diagnosis of bridging faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 562-567, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Diagnosis, Bridging faults, Deduction |
41 | Sankaran 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](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 545-546, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
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 |
41 | Rosa 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](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 8(1), pp. 35-46, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
resistance of the bridge, defect modelling, bridging defects, CMOS process |
41 | Sreejit Chakravarty, Paul J. Thadikaran |
Algorithms to select IDDQ measurement points to detect bridging faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 8(3), pp. 275-285, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
bridging faults, test selection, I DDQ test |
41 | Michel Renovell, P. Huc, Yves Bertrand |
The Logic Threshold Based Voting: A Model for Local Feedback Bridging Fault. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, pp. 205-213, 1996, Springer, 3-540-61772-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Test, Fault Modelling, Bridging Fault |
41 | Brian Chess, David B. Lavo, F. Joel Ferguson, Tracy Larrabee |
Diagnosis of realistic bridging faults with single stuck-at information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 185-192, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
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 |
41 | Remata S. Reddy, Irith Pomeranz, Sudhakar M. Reddy, Seiji Kajihara |
Compact test generation for bridging faults under IDDQ testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 310-316, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
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 |
34 | Claudia 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](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Marcos Cramer, Mathieu Guillaume |
Directionality of Attacks in Natural Language Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 40-46, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Andrew Fish, Alexei Lisitsa 0001, Alexei Vernitski |
Towards Human Readability of Automated Unknottedness Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 27-32, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Steffen Hölldobler |
Ethical Decision Making under the Weak Completion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 1, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Sjur K. Dyrkolbotn, Truls Pedersen |
A Formal Analysis of Enthymematic Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 13-18, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Alison Pease, Ursula Martin |
Automating "Human-Like" Example-Use in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 6-12, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Stefania Costantini, Abeer Dyoub, Valentina Pitoni |
Reflection and Introspection for Humanized Intelligent Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 19-26, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Lawrence S. Moss, Charlotte Raty |
Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI/ECAI ![In: 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., pp. 33-39, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Claudia 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](Pics/bibsonomy.png) |
Bridging@CogSci ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Antonis C. Kakas |
Informalizing Formal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 31-38, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha |
The Weak Completion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 18-30, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz |
Principles and Clusters in Human Syllogistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 69-83, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Robert A. Kowalski |
Satisfiability for First-order Logic as a Non-Modal Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 84-90, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Luís Moniz Pereira, Ari Saptawijaya |
Agent Morality via Counterfactuals in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 39-53, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Marco Ragni, Nicolas Riesterer |
The Search for Cognitive Models: Standards and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 10-17, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Ilir Kola, Marco Ragni |
Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: 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., pp. 1, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Ergun 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](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![Eurographics Association, 978-3-03868-021-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Claudia 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](Pics/bibsonomy.png) |
Bridging@IJCAI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Catarina Maçãs, Penousal Machado |
The Rhythm of Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 11-12, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Serike Cakmak, Tevfik Metin Sezgin |
Building a Gold Standard for Perceptual Sketch Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 5-6, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Nuno Cabrita, Gilberto Bernardes |
Relational Interactive Art: A Framework for Interaction in a Social Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 35-39, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Pedro Alves da Veiga |
Alchimia: an Inexplicable or Mysterious Transmutation, a Seemingly Magical Process of Transformation, Creation, or Combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 9-10, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Li Ji 0001, Brian Wyvill, Lynda Gammon, Amy Gooch |
Composition and Perception beyond Photorealism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 15-25, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Esteban García Bravo, Tim McGraw |
Bodygraphe: Gestural Computing for Visual Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 31-34, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Ozan Can Altiok, Kemal Tugrul Yesilbek, Tevfik Metin Sezgin |
What Auto Completion Tells Us About Sketch Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 1-2, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Ana Beatriz Correia, Penousal Machado |
The Aesthetics of Routine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 13-14, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 7-8, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Amir Semmo, Matthias Trapp 0001, Sebastian Pasewaldt, Jürgen Döllner |
Interactive Oil Paint Filtering On Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 3-4, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Katayoon Etemad, Faramarz Samavati, Sheelagh Carpendale |
Artistic Inspired Data Visualization Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expressive (Posters, Artworks, and Bridging Papers) ![In: 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, pp. 27-30, 2016, Eurographics Association, 978-3-03868-021-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni |
Syllogistic Reasoning under the Weak Completion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 5-19, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Marco 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](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 61-73, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Sangeet Khemlani |
Automating Human Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 1, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Ulrich Furbach, Claudia Schon |
Commonsense Reasoning Meets Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 74-85, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Ulrich Furbach, Florian Furbach, Christian Freksa |
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 20-27, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Aaron Sloman |
Natural Vision and Mathematics: Seeing Impossibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 86-101, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Naveen Sundar Govindarajulu, Selmer Bringsjord |
Crowdsourcing Theorem Proving via Natural Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 28-42, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Antonis C. Kakas, Loizos Michael, Francesca Toni |
Argumentation: Reconciling Human and Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@IJCAI ![In: 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., pp. 43-60, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Ulrich 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](Pics/bibsonomy.png) |
Bridging@CADE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Ulrich Furbach, Andrew S. Gordon, Claudia Schon |
Tackling Benchmark Problems of Commonsense Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CADE ![In: 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., pp. 47-59, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Alexandra Varga, Keith Stenning, Laura Martignon |
There is no one Logic to Model Human Reasoning: the Case from Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CADE ![In: 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., pp. 32-46, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Bernhard Beckert, Sarah Grebing |
Interactive Theorem Proving - Modelling the User in the Proof Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CADE ![In: 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., pp. 60-73, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Steffen Hölldobler |
Weak Completion Semantics and its Applications in Human Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CADE ![In: 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., pp. 2-16, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Emanuelle-Anna Dietz |
A Computational Logic Approach to Syllogisms in Human Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CADE ![In: 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., pp. 17-31, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
AAAI Spring Symposium: Help Me Help You: Bridging the Gaps in Human-Agent Collaboration ![AAAI The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|