|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9947 occurrences of 4655 keywords
|
|
|
Results
Found 15763 publication records. Showing 15763 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Helmut Thiele |
On the Mutual Definability of Classes of Generalized Fuzzy Implications and of Classes of Generalized NegationsandS-Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 183-188, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
S-implications, S-norms, R-implications, QL-implications, negations, T-norms |
47 | Christian Stary |
Exploring the Concept of Virtuality: Technological Approaches and Implications from Tele-Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 113-128, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Paul Tafertshofer, Andreas Ganz, Manfred Henftling |
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. ![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. 648-655, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SAT-based implication engine, circuit clause description, efficient ATPG, implication evaluation, indirect implications, netlist optimization, structure based methods, graph algorithms, automatic testing, logic circuits, graph model, equivalence checking, implication graph |
39 | Alexander Riegler, Markus F. Peschl, Karl Edlinger, Günther Fleck, Walter Feigl (eds.) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![Peter Lang, 3-631-38345-2 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Stephen E. Robbins |
Bergson's Virtual Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 189-201, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | László Ropolyi |
Virtuality and Plurality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 167-187, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Andrea Gaugusch |
(Re)constructing (Virtual) Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 221-230, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Ashweeni Kumar Beeharee, Steve Pettifer, Adrian J. West |
A Framework for Optimising Network Usage for Plausible Distributed Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 141-158, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Markus F. Peschl, Alexander Riegler |
Virtual Science: Virutality and Knowledge Acquisition in Science and Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 9-32, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Karl Edlinger |
Virtual Reality, Cyberspace and Living Organisms: Towards a New Understanding of Perception and Cognition? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 45-62, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Daniel Mellet d'Huart |
From Reality to the "the Real": Using Augmented Virtual Reality for Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 129-139, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | William Keays |
Rethinking Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 247-262, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Corina Sas, Ronan Reilly, Gregory M. P. O'Hare |
Virtual Reality in Surgery: Between Satisfaction and Stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 99-111, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Shulamith Kreitler |
Psychological Perspective on Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 33-44, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Nadia Magnenat-Thalmann, Sumedha Kshirsagar |
The Emotional Talking Virutal Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 75-84, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Rainer P. Born |
Virtual Reality: Reflections of Chances, Changes and Dangers in Communicating Knowledge with the Help of VR-Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 232-246, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Steffen P. Walz, Isabel Zundel |
Madness & Virtuality: An Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 63-74, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Arne Wagner, Werner Millesi, Franz Watzinger, Michael Truppe, Michael Rasse, Georg Enislidis, Christian Kermer, Rolf Ewers |
Computed Navigation in Cranio-Maxillo-Facial and Oral Head and Neck Surgery: Principles, Indications and Potentials for Telepresence and Teleassistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 85-97, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Gerardo Silva Chandía |
VR and Web Page Support in Civil Engineering Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 159-165, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Olaf Diettrich |
Virtual Reality and Cognitive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications ![In: Virtual Reality: Cognitive Foundations, Technological Issues & Philosophical Implications, pp. 203-219, 2001, Peter Lang, 3-631-38345-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
36 | Balasubramaniam Jayaram |
On the Law of Importation (x wedge y) longrightarrow z equiv (x longrightarrow (y longrightarrow z)) in Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(1), pp. 130-144, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser, Graçaliz Pereira Dimuro |
The Best Interval Representation of Fuzzy S-Implications and Automorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Alexey Glebov, Sergey Gavrilov, David T. Blaauw, Vladimir Zolotov |
False-noise analysis using logic implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 7(3), pp. 474-498, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
circuit logic, VLSI (very large scale integration), noise analysis |
35 | Neil Robinson, Lorenzo Valeri |
On the Security Implications of Disruptive Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection, Post-Proceedings of the First Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, Dartmouth College, Hanover, New Hampshire, USA, March 19-21, 2007, pp. 3-14, 2007, Springer, 978-0-387-75461-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Disruptive technologies, security implications, RFID, VoIP, IPv6 |
32 | Henry Small, Ann Kushmerick, Doug Benson |
Scientists' perceptions of the social and political implications of their research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 74(2), pp. 207-221, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Vishnu C. Vimjam, Manan Syal, Michael S. Hsiao |
Untestable fault identification through enhanced necessary value assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 176-181, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
implications, untestable faults |
31 | Vivek Gaur, Vishwani D. Agrawal, Michael L. Bushnell |
A New Transitive Closure Algorithm with Application to Redundancy Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 1st IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2002), 29-31 January 2002, Christchurch, New Zealand, pp. 496-500, 2002, IEEE Computer Society, 0-7695-1453-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
logic redundancy, partial implications, transitive closure, Implication graph |
31 | Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel |
Static logic implication with application to redundancy identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 288-295, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
static logic implication, redundancy identification, set algebra, indirect implications, static learning algorithm, redundancy, iterative method, redundant faults |
28 | Heiko Reppe |
Attribute Exploration Using Implications with Proper Premises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Visualization and Reasoning, 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008, Proceedings, pp. 161-174, 2008, Springer, 978-3-540-70595-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Yanbin Luo, Chunjie Yang, Yongming Li 0001, Daoying Pi |
Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 308-317, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Kabir Gulrajani, Michael S. Hsiao |
Multi-Node Static Logic Implications for Redundancy Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, pp. 729-733, 2000, IEEE Computer Society / ACM, 0-7695-0537-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Simon Edward Parkin, Aad P. A. van Moorsel, Robert Coles |
An information security ontology incorporating human-behavioural implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 46-55, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
human behavioural implications, information security ontology, password policy |
27 | Vlad Coroama, Vassilis Kostakos, Carsten Magerkurth, Irene López de Vallejo |
UbiSoc 2005: first international workshop on social implications of ubiquitous computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 2111-2112, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ubiquitous computing, design requirements, social implications |
27 | Steinar Kristoffersen, Fredrik Ljungberg |
An Empirical Study of How People Establish Interaction: Implications for CSCW Session Management Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '99 Conference on Human Factors in Computing Systems: The CHI is the Limit, Pittsburgh, PA, USA, May 15-20, 1999., pp. 1-8, 1999, ACM, 0-201-48559-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
design implications, ethnography, field study, session management |
27 | Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy |
The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(12), pp. 1631-1644, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
performance implications, thread management, critical resource waiting, performance evaluation, data structure, data structures, latency, multiprocessing systems, shared-memory multiprocessors, locking, operating systems (computers), fine-grained parallelism |
27 | Margaret A. Boden |
Social implications of intelligent machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 746-752, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Social implications of computers, Artificial intelligence |
24 | Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago |
Interval Valued QL-Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 307-321, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Józef Drewniak, Jolanta Sobera |
Compositions of invariant fuzzy implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(6), pp. 514-520, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Invariant implication, Composition table, Idempotent implication, Fuzzy implication |
24 | Manan Syal, Rajat Arora, Michael S. Hsiao |
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 453-460, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Ravishankar K. Iyer |
Performance implications of chipset caches in web servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2003 IEEE International Symposium on Performance Analysis of Systems and Software, March 6-8, 2003, Austin, Texas, USA, Proceedings, pp. 176-185, 2003, IEEE Computer Society, 0-7803-7756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Burkhard Freitag |
Extending Deductive Database Languages by Embedded Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 84-95, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Sebastià Massanet, Ana Pradera, Daniel Ruiz-Aguilera, Joan Torrens |
From three to one: Equivalence and characterization of material implications derived from co-copulas, probabilistic S-implications and survival S-implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 323, pp. 103-116, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Benjamín R. C. Bedregal, Renata Hax Sander Reiser, Graçaliz Pereira Dimuro |
Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 5-18, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alexander De Luca, Marc Langheinrich, Heinrich Hussmann |
Towards understanding ATM security: a field study of real world ATM use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOUPS ![In: Proceedings of the Sixth Symposium on Usable Privacy and Security, SOUPS 2010, Redmond, Washington, USA, July 14-16, 2010, 2010, ACM, 978-1-4503-0264-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
design implications, security, authentication, ATM, field study, lessons learned |
23 | James Brotherston, Cristiano Calcagno |
Classical BI: a logic for reasoning about dualising resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 328-339, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models |
23 | Norman F. Schneidewind |
Reliability - Security Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 279-288, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Integration of security and reliability, Conditional probability of security failures, Policy implications resulting from model results |
23 | Gregory D. Abowd, Elizabeth D. Mynatt |
Charting past, present, and future research in ubiquitous computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 7(1), pp. 29-58, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
everyday computing, evaluation, user interfaces, ubiquitous computing, augmented reality, context-aware applications, capture and access, natural interfaces, social implications |
23 | David N. Card, Edward R. Comer |
Why Do So Many Reuse Programs Fail? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(5), pp. 114-115, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
government studies, project failure, technology-acquisition problem, technology-transition problem, industrial use, business implications, software quality, software reuse, cultural, economic, software reusability, organizations, software cost estimation, business strategy, social aspects of automation, software cost |
23 | Gerald M. Karam |
Computational Improvements in Prolog Applications by Predicate Variable Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(5), pp. 490-497, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits |
23 | Charles K. Woodruff |
An assessment of organizational practices in data processing environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 17th Annual Southeast Regional Conference, 1979, Orlando, Florida, USA, April 9-11, 1979, pp. 117-123, 1979, ACM, 978-1-4503-7330-2. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
Job pressure, management ability, management implications, organizational practices, people orientations, personnel perceptions, structural orientations, task orientations |
20 | Gianluca Misuraca |
Futuring e-government: governance and policy implications for designing an ICT-enabled knowledge society. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 83-90, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
foresight, e-government, policy, knowledge, governance, ICTs |
20 | Suad Alagic, Mark Royer |
Genericity in Java: persistent and database systems implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(4), pp. 847-878, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence |
20 | Franz Baader, Felix Distel |
A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 46-61, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Padma Apparao, Ravi R. Iyer 0001, Donald Newell |
Implications of cache asymmetry on server consolidation performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISWC ![In: 4th International Symposium on Workload Characterization (IISWC 2008), Seattle, Washington, USA, September 14-16, 2008, pp. 24-32, 2008, IEEE Computer Society, 978-1-4244-2778-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | José L. Balcázar, Gemma C. Garriga |
Characterizing Implications of Injective Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 492-495, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Radim Belohlávek, Vilém Vychodil |
Attribute Implications in a Fuzzy Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 45-60, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
attribute implication, fuzzy logic, functional dependency, concept lattice |
20 | Alain Gély, Lhouari Nourine |
About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 191-204, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jens Mache, Damon Tyman, Andre Pinter, Chris Allick |
Performance Implications of Using VPN Technology for Cluster Integration and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNS ![In: 2006 International Conference on Networking and Services (ICNS 2006), 16-21 July 2006, Silicon Valley, California, USA, pp. 75, 2006, IEEE Computer Society, 0-7695-2622-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
security, performance evaluation, grid computing, VPN, hotspot |
20 | Zhipeng Xie, Zongtian Liu |
From Intent Reducts for Attribute Implications to Approximate Intent Reducts for Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 162-169, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Radim Belohlávek, Vilém Vychodil |
Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 1126-1129, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Eva Ponce, Alfonso Durán |
Characterization of the Security Implications of Alternative E-procurement Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III, pp. 114-122, 2003, Springer, 3-540-40156-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sheila Guilford, Gordon Rugg, Niall Scott |
Pleasure and Pain: Perceptual Bias and Its Implications for Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(3), pp. 63-69, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
judgment and decision making, perceptual bias, peak and end effect, usability evaluation |
20 | R. Iris Bahar, Ernest T. Lampe, Enrico Macii |
Power optimization of technology-dependent circuits based on symbolic computation of logic implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 5(3), pp. 267-293, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
design synthesis, logic design, automation, aids |
19 | Nuno Alves, Yiwen Shi, Nicholas Imbriglia, Jennifer Dworak, Kundan Nepal, R. Iris Bahar |
Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 16th European Test Symposium, ETS 2011, Trondheim, Norway, May 23-27, 2011, pp. 211, 2011, IEEE Computer Society, 978-0-7695-4433-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
on-chip diagnosis, test set selection, Logic Implications |
19 | Yang Liu, He Wan, Xuecheng Yang |
Social Network Based Marketing in Mobile Phone Users' Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 669-672, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Mobile Phone User, Marketing Implications, Social Network, Virtual Community |
19 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(3), pp. 13:1-13:48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XML, consistency, Integrity constraints, DTDs, implications |
19 | Alberto L. Morán, Raúl Casillas Figueroa |
Understanding Activity Documentation Work in Remote Mobility Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 1023-1032, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Activity documentation work, remote mobility environments, activity documentation lifecycle, design implications |
19 | Erika Shehan Poole, Christopher A. Le Dantec, James R. Eagan, W. Keith Edwards |
Reflecting on the invisible: understanding end-user perceptions of ubiquitous computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: UbiComp 2008: Ubiquitous Computing, 10th International Conference, UbiComp 2008, Seoul, Korea, September 21-24, 2008, Proceedings, pp. 192-201, 2008, ACM, 978-1-60558-136-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
folk theories, technology adoption, qualitative methods, evaluation techniques, social implications |
19 | Vincent Duquenne, John Mohr |
Comparison of Dual Orderings in Time II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 321-324, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Duality practices x symbolic systems, Poverty relief in New York City 1888-1917, Progressive era. Lattices, (nested) line diagrams, (relative) canonical basis of implications, gluing decomposition, subdirect products, join / meet morphisms |
19 | Lech Polkowski, Piotr Artiemjew |
Rough Mereology in Classification of Data: Voting by Means of Residual Rough Inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 113-120, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
residual implications, granular decision systems, rough inclusions, granulation of knowledge |
19 | Jean-Pierre Brans, Giorgio Gallo |
Ethics in OR/MS: past, present and future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 153(1), pp. 165-178, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Societal problem analysis, Social implications of operations research practice, Ethics |
19 | Nathan L. Ensmenger |
Computers as Ethical Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 29(3), pp. 86-88, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computing and ethics, social implications of computing |
19 | Daniel Fallman |
Persuade Into What? Why Human-Computer Interaction Needs a Philosophy of Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers, pp. 295-306, 2007, Springer, 978-3-540-77005-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Philosophy of technology, HCI, culture, social implications |
19 | Tianyou Wang, Jun Ni 0001 |
Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time in Computerized Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 34-41, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
social implications of IT, educational and psychological testing, computerized testing, education measurement, parallel computing, HPC |
19 | Alton F. Sanders |
A discussion format for computer ethics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005, pp. 352-355, 2005, ACM, 1-58113-997-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
assessmen, computer ethics, social implications |
19 | Jean-Pierre Brans, Giorgio Gallo |
Ethics in OR/MS: Past, present and future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 2(2), pp. 95-110, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Societal problem analysis, social implications of operations research practice, ethics |
19 | Rudolf Wille |
Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(3), pp. 229-238, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal concept analysis, implications, distributive lattices |
19 | Anat Hovav, Paul Gray |
Future Penetration of Academic Electronic Journals: Four Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 4(2), pp. 229-244, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
management of electronic journals, 8-H model, scenarios, electronic publishing, social implications |
19 | Sarah Spiekermann, Jens Grossklags, Bettina Berendt |
E-privacy in 2nd generation E-commerce: privacy preferences versus actual behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), Tampa, Florida, USA, October 14-17, 2001, pp. 38-47, 2001, ACM, 1-58113-387-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
automated shopping and trading, marketing and advertising technology, user interface and interaction design, privacy, legal issues, social implications |
19 | Ilker Hamzaoglu, Janak H. Patel |
New Techniques for Deterministic Test Pattern Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 15(1-2), pp. 63-73, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
redundancy, stuck-at fault, Boolean satisfiability, automatic test generation, scan design, logic implications |
19 | Bernadette Bouchon-Meunier, Llorenç Valverde |
A fuzzy approach to analogical reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 3(3), pp. 141-147, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
resemblance relations, fuzzy modifiers, fuzzy relations, Analogical reasoning, fuzzy implications |
19 | Dewayne E. Perry |
Software Evolution and "light" Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., pp. 587-590, 1999, ACM, 1-58113-074-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
implications of changes, inscape environment, light semantics, software evolution, software complexity, software composition, interface specifications |
19 | Nasreddine Hallam, Kok Meng Yew |
Families of fuzzy implication operators within measure M1 and their pseudo-strict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1998 ACM symposium on Applied Computing, SAC'98, Atlanta, GA, USA, February 27 - March 1, 1998, pp. 262-266, 1998, ACM, 0-89791-969-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
K sub-triangle inference structure, Kleene-Dienes and Lukasiewicz fuzzy implications, interval-valued inference, pseudo-strict monotonicity |
19 | Patrick Bosc |
On the primitivity of the division of fuzzy relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1997 ACM symposium on Applied Computing, SAC'97, San Jose, CA, USA, February 28 - March 1, pp. 197-201, 1997, ACM, 0-89791-850-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
fuzzy conjunctions, relational databases, SQL, SQL, division, flexible queries, fuzzy implications |
19 | V. Sridhar, M. Narasimha Murty |
Belief revision - an axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 8(2), pp. 127-153, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
defeasible beliefs, inheritance network, multiple implications, nonmonotonic inference rule, belief revision, multiple inheritance, logical inference, Axiomatic approach |
19 | Hartmut Schmeck, Heiko Schröder 0001 |
Dictionary Machines for Different Models of VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(5), pp. 472-475, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
VLSI hardware models, Dictionary machines. are taken as an example to demonstrate the implications the choice of the VLSI hardware model has on the design and analysis of algorithms and special purpose architectures, A systolic search tree and a two-dimensional systolic array are used to implement the dictionary machine, If the wire lengths only affect the area, the systolic search tree suggests itself as an efficient realization of a dictionary machine having constant period, linear areS and logarithmic execution t, Algorithms for VLSI, systolic search tree, systolic array, VLSI complexity, dictionary machine |
16 | Nuno Alves, Kundan Nepal, Jennifer Dworak, R. Iris Bahar |
Improving the testability and reliability of sequential circuits with invariant logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010, pp. 131-134, 2010, ACM, 978-1-4503-0012-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
online error detection, test pattern reduction |
16 | Zhudeng Wang |
Decomposability of Implication Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 189-193, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
direct decomposition, Fuzzy logic, implication, t-norm |
16 | Frithjof Dau |
Background Knowledge in Concept Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings, pp. 156-171, 2004, Springer, 3-540-21043-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Swarup Kumar Sahoo, John Criswell, Vikram S. Adve |
An empirical study of reported bugs in server software with implications for automated bug diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 485-494, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bug characteristics, testing, network servers, bug reports |
16 | Mikael Wiberg, Erik Stolterman |
Environment interaction: character, challenges & implications for design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUM ![In: Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia, MUM 2008, Umeå, Sweden, December 3-5, 2008, pp. 15-22, 2008, ACM, 978-1-60558-192-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
environment interaction, human-environment interaction, interactive architecture |
16 | Paul Dourish |
Responsibilities and implications: further thoughts on ethnography and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DUX ![In: Proceedings of the 2007 conference on Designing for User eXperiences, DUX 2007, Chicago, Illinois, USA, November 5-7, 2007, pp. 25, 2007, 978-1-60558-308-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design, ubiquitous computing, mobility, ethnography, methodology, affective computing |
16 | Gabriela Mancero, B. L. William Wong, Paola Amaldi |
Looking but not seeing: implications for HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCE ![In: Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, ECCE 2007, London, UK, August 28-31, 2007, pp. 167-174, 2007, ACM, 978-1-84799-849-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
technology, attention, cognition, vision, change detection, change blindness, inattentional blindness |
16 | Bernhard Ganter, Heiko Reppe |
Base Points, Non-unit Implications, and Convex Geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 210-220, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rosa R. Heckle, Wayne G. Lutters |
Privacy implications for single sign-on authentication in a hospital environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOUPS ![In: Proceedings of the 3rd Symposium on Usable Privacy and Security, SOUPS 2007, Pittsburgh, Pennsylvania, USA, July 18-20, 2007, pp. 173-174, 2007, ACM, 978-1-59593-801-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rich Friedrich, Jerome A. Rolia |
Next generation data centers: trends and implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 1-2, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data centers, enterprise applications, IT infrastructure, enterprise management |
16 | Józef Drewniak |
Invariant fuzzy implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(6), pp. 506-513, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification 03B52, 03E72, 06F05 |
16 | Mike Burmester, Judie Mulholland |
The advent of trusted computing: implications for digital forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 283-287, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
specifications, encryption, file systems, trusted computing, forensics, cybercrime, data recovery |
16 | Kuan-Ta Chen, Chin-Laung Lei |
Network game design: hints and implications of player interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 5th Workshop on Network and System Support for Games, NETGAMES 2006, Singapore, October 30-31, 2006, pp. 17, 2006, ACM, 1-59593-589-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MMO-RPG, overlay networks, social interaction, online games, internet measurement, design recommendations |
16 | Paul Dourish |
Implications for design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 541-550, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design, ethnography |
Displaying result #1 - #100 of 15763 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|