|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2715 occurrences of 1868 keywords
|
|
|
Results
Found 5784 publication records. Showing 5784 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Kathryn Summers, Amy Pointer, Michele Cotton |
Designing to Include Judges and Inner-City Tenants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 151-160, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Raquel de Campos, Miguel A. F. Carvalho, Carla Capelassi, Humberto Lopes, Bugao Xu |
Anthropometric Data Collection of Portuguese Children with Overweight and Obesity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 390-399, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Alex Pui-yuk King, Kin Wai Michael Siu |
Redeveloping Game Set for Living Alone Elderly with Dementia Using Participatory Action Research Approach in Hong Kong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 129-138, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Margarida Gamito, Joana Sousa |
Urban Furniture's Chromatic Planning Methodology: Bucelas, a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 333-343, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Kin Wai Michael Siu, Yi Lin Wong |
Opportunities for Inclusive Play in Densely Populated Cities: An Analysis of the Human Factors in Hong Kong Play Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 314-324, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Rochelne Barboza, Miguel A. F. Carvalho, Fernando Ferreira, Bugao Xu |
Main Characteristics and Anthropometrics of People with Down Syndrome - Impact in Garment Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 417-427, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Emilia Christie Picelli Sanches, Cláudia Mara Scudelari de Macedo, Juliana Bueno |
Three-Dimensional Tactile Images for Blind People: A Proposition for a Translating Model of Static Two-Dimensional Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 465-476, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Giuseppe Mincolelli, Michele Marchi, Silvia Imbesi |
Inclusive Design for Ageing People and the Internet of Things: Understanding Needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 98-108, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Minzhi Zhang, Sonja Andrew, Simeon Gill |
Exploring Fashion Choice Criteria for Older Chinese Female Consumers: A Wardrobe Study Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 109-121, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Wendy Cruz |
Analysis of Primary Caregiver to Prevent Ergonomic Risks When Transferring a Person with Motor Disability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 452-464, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Mexhid Ferati, Pietro Murano, G. Anthony Giannoumis |
Universal Design of User Interfaces in Self-driving Cars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 220-228, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Ermal Kapedani, Jasmien Herssens, Griet Verbeeck |
Comfort in the Indoor Environment: A Theoretical Framework Linking Energy Efficiency and Universal Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 303-313, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Masayuki Shintani, Hiroki Imoto, Yoshiaki Goto |
Study on Wall Colors Which Constitute a Comfortable Interior for the Elderly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2017 International Conference on Design for Inclusion, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, pp. 325-332, 2017, Springer, 978-3-319-60596-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Björn W. Schuller, Erik Marchi, Simon Baron-Cohen, Helen O'Reilly, Delia Pigat, Peter Robinson 0001, Ian Davies |
The state of play of ASC-Inclusion: An Integrated Internet-Based Environment for Social Inclusion of Children with Autism Spectrum Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.5912, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Samuel Wieczorek |
Une mesure d'inclusion entre objets structurés. Application à la classification de molécules. (An inclusion measure between structured data. Application to the clustering of chemical compounds). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
22 | Claire E. Buré |
Digital Inclusion without Social Inclusion: The Consumption of Information and Communication Technologies (ICTs) in Homeless Subculture in Central Scotland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Community Informatics ![In: J. Community Informatics 2(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Karen Worcman |
Digital Division Is Cultural Exclusion. But Is Digital Inclusion Cultural Inclusion? ![Search on Bibsonomy](Pics/bibsonomy.png) |
D Lib Mag. ![In: D Lib Mag. 8(3), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Masahiro Inuiguchi, Lech Polkowski |
Meticulous Rough Inclusion and Its Relations to Fuzzy Inclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: Proceedings of the 10th IEEE International Conference on Fuzzy Systems, Melbourne, Australia, December 2-5, 2001, pp. 1535-1538, 2001, IEEE. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Kosaburo Hashiguchi |
Algorithms for Determining Relative Inclusion Star Height and Inclusion Star Height. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 91(1), pp. 85-100, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Xiao-ping Ye, Yong Tang 0001, LuoWu Chen, Huan Guo, Jun Zhu, KaiYuan Chen |
Study and application of temporal index technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(6), pp. 899-913, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
temporal equivalence and inclusion, query and incremental update, dynamical management and implemention, temporal relation and XML |
20 | Tao-Yuan Jen, Dominique Laurent 0001, Nicolas Spyratos |
Mining frequent conjunctive queries in star schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 97-108, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
frequent queries, query comparison, functional dependencies, inclusion dependencies |
20 | Mathijs Soede, Nienke Blijham, Manon Verdonschot |
User Empowerment in Standardization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human-Computer Interaction. Addressing Diversity, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I, pp. 609-614, 2009, Springer, 978-3-642-02706-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Public Procurement, Inclusion for all, Course development, Design for All |
20 | Javed Anjum Sheikh, Bob Fields, Elke Duncker |
Cultural Representation for Multi-culture Interaction Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (14) ![In: Internationalization, Design and Global Development, Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 99-107, 2009, Springer, 978-3-642-02766-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cross-cultural classification, cultural inclusion, human-computer interaction, localisation, Cross-cultural design, globalisation, classification systems |
20 | Alberto Bucciero, Anna Lisa Guido, Luca Mainetti |
Digiplaza: a 2, 5D virtual environment to support the sense of locality of geographic communities using an ontologic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDES ![In: MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, pp. 205-209, 2009, ACM, 978-1-60558-829-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
2, 5D virtual environment, sense of locality, ontologies, public administration, digital inclusion |
20 | Jörg Becker 0001, Björn Niehaves, Philipp Bergener, Michael Räckers |
Digital Divide in eGovernment: The eInclusion Gap Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings, pp. 231-242, 2008, Springer, 978-3-540-85203-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
E-Inclusion Gap Model, E-Government, Digital Divide, Technology Adoption |
20 | Katherine Deibel |
Course experiences of computing students with disabilities: four case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 454-458, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
accessibility, case study, disability, grounded theory, podcasting, inclusion, semi-structured interview |
20 | Mariana Salgado, Andrea Botero |
Opening exhibitions: the visually impaired and the design of probes packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC ![In: Proceedings of the Tenth Conference on Participatory Design, PDC 2008, Bloomington, Indiana, USA, October 1-4, 2008, pp. 150-153, 2008, ACM, 978-0-9818561-0-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
design probes, visually impaired, museums, inclusion, exhibitions |
20 | Siling Wang, Tongying Jang, Zhanyou Wang |
Permeability and Anticataract Effects of a Topical Ocular Drug Delivery System of Disulfiram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (1) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 1, pp. 596-600, 2008, IEEE Computer Society, 978-0-7695-3118-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cataract, disulfiram, bioavailability, inclusion, permeability |
20 | Laura Burzagli, Francesco Gabbanini, Marco Natalini, Enrico Palchetti, Alessandro Agostini |
Using Web Content Management Systems for Accessibility: The Experience of a Research Institute Portal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 454-461, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
accessibility e-Inclusion web WCMS |
20 | Giovanni Paolo Caruso, Silvia Dini, Lucia Ferlino |
ZoomLinux: A Research Result Providing a Tangible Response to the Needs of Low Vision Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 801-808, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Opensource, DVD Live, Usability, Education, Accessibility, Assistive Technology, Linux, Low vision, E-inclusion |
20 | Francesca Pozzi |
The Impact of m-Learning in School Contexts: An "Inclusive" Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (7) ![In: Universal Access in Human-Computer Interaction. Applications and Services, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III, pp. 748-755, 2007, Springer, 978-3-540-73282-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mobile, learning, technologies, inclusion, impact, school |
20 | Enrico Ferro, J. Ramón Gil-García, Natalie Helbig |
The Digital Divide Metaphor: Understanding Paths to IT Literacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 265-280, 2007, Springer, 978-3-540-74443-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
e-Skills, e-Policies, Digital Divide, e-Inclusion |
20 | Lourdes Moreno 0001, Paloma Martínez, Belén Ruíz-Mezcua, Ana Iglesias |
Accessible interface for multimedia presentation in inclusive education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 321, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multimedia, accessibility, interface, inclusion, special needs |
20 | Ming Li, De-San Yang |
Application of Discrimination Degree for Attributes Reduction in Concept Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings, pp. 648-655, 2007, Springer, 978-3-540-71700-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Inclusion degree, Discrimination degree, Concept lattice, Attributes reduction |
20 | Qing Liu 0011, Huasheng Zhu, Lan Liu |
The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 44-49, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rough Logical Formula, Lock Resolution of Granulation, Granular Computing, Inclusion, Closeness |
20 | Yun-Zhi Zou, Nan-Jing Huang |
An Iterative Method for Quasi-Variational-Like Inclusions with Fuzzy Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 349-356, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Generalized quasi-variational-like inclusion, resolvent operator, iterative algorithm, fuzzy mapping |
20 | Sven Laur, Helger Lipmaa, Taneli Mielikäinen |
Private Itemset Support Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings, pp. 97-111, 2005, Springer, 3-540-30934-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
private frequent itemset mining, private itemset support counting, private subset inclusion test, privacy-preserving data mining |
20 | John Whaley, Monica S. Lam |
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 131-144, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive |
20 | Johnny Friberg, Dan Gärdenfors |
Audio games: new perspectives on game audio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the 2004 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2004, Singapore, June 3-5, 2004, pp. 148-154, 2004, ACM, 1-58113-882-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
game audio, sound-scape, spatial soundtrack, visual impairment, auditory interface, sound design, e-inclusion, audio game |
20 | Hai Lin 0008, Jigui Sun, Yimin Zhang 0005 |
Theorem Proving Based on the Extension Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(1), pp. 11-21, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
extension rule, inclusion-exclusion principle, complementary factor, theorem proving |
20 | Lech Polkowski |
A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 70-77, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fuzzy set theory, Rough set theory, rough mereology, rough inclusion |
20 | Ralf H. Reussner |
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, pp. 20-40, 2002, Springer, 3-540-00145-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability |
20 | Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Xiaobo Hu 0001 |
Efficient algorithms for acceptable design exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 139-142, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
acceptable designs, inclusion scheduling, module utility, design exploration, module selections |
20 | Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe |
A Set Approach to Role Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 158-169, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference |
20 | Ali Mohammad-Djafari, Yassine Khayi, Ken D. Sauer, Eric Cano |
Reconstruction of the Shape of a Compact Object from Few Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 165-168, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
compact object, limited tomographic projection data, NDT, air hole, homogeneous region, metal, industrial techniques, default region shape, tomographic reconstruction, global optimization method, pixel representation, 2D representation, contour modelling, local descent-based method, moment based method, Bayesian MAP estimation, localization, coordinates, simulated annealing, image reconstruction, detection, polygon, industrial applications, characterization, vertices, surface modelling, inclusion, polyhedron, shape reconstruction, computational cost, 3D representation, voxel representation, nondestructive testing |
20 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 362-372, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints |
20 | Pablo Ibáñez, Víctor Viñals |
Performance Assessment of Contents Management in Multilevel On-Chip Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 431-440, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multilevel on-chip caches, Inclusion contents management, Exclusion, second-level cache miss ratio, system CPI, floating point SPEC'92 benchmarks, performance metrics, contents management, cache storage, design space, performance assessment, Demand |
20 | Herbert Edelsbrunner, Michael A. Facello, Ping Fu, Jie Liang |
Measuring proteins and voids in proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 256-264, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
protein voids, space filling diagram, solvent accessible surface, metric properties, empty space, surface area contributions, 3-dimensional alpha complexes, inclusion-exclusion formulas, three dimensional alpha complexes, computational geometry, geometric models, diagrams, biology computing, proteins, proteins, chemistry, volume, chemistry computing, molecular surface, molecules, surface area |
20 | Satoshi Yamane |
Formal Timing Verification Techniques for Distributed System . ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 454-460, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
language inclusion algorithm, formal specification, timing verification, timed automaton |
20 | Abbas Edalat, Michael B. Smyth |
Compact Metric Information Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 154-173, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
metric information systems, strong inclusion, Stone duality, I-category, Cauchy chains, contracting functors, unique fixed point, domain equations |
20 | Jong Kim 0001, Chita R. Das, Woei Lin |
A Top-Down Processor Allocation Scheme for Hypercube Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(1), pp. 20-30, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
top-down processor allocation scheme, free list, bottom-upapproach, buddy allocation, timecomplexity, noncubic allocation, inclusion/exclusion allocation, parallel processing, hypercube networks, parallel implementation, gray code, average delay, hypercube computers, system utilization |
20 | Keith Brian Gallagher, James R. Lyle |
Using Program Slicing in Software Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(8), pp. 751-761, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
software maintenance problem, line number, single variable decomposition slices, set inclusion, slice-based decomposition, unmodified components, semantically consistent changes, software maintenance, program testing, program slicing, program slice, linear time |
20 | Victor M. Markowitz, Johann A. Makowsky |
Identifying Extended Entity-Relationship Object Structures in Relational Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 777-790, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
extended entity-relationship object structures, relation-schemes, key dependencies, key-based inclusion dependencies, referential integrity constraints, EER schema, EER-convertible, EER object structures, normalization procedure, relational database schemas, object-oriented database schemas, semantics, object-oriented programming, relational databases, database management systems, database theory, normal form, relational schemas |
18 | Li Zhao 0002, Ravi R. Iyer 0001, Srihari Makineni, Don Newell, Liqun Cheng |
NCID: a non-inclusive cache, inclusive directory architecture for flexible and efficient cache hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 121-130, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cache, directory |
18 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching System Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(2), pp. 258-273, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Chan Le Duc |
Decidability of SHI with Transitive Closure of Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 368-383, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OWL, Description Logics, Decidability, Tableaux |
18 | Luke Simon |
Optimizing Pointer Analysis Using Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 222-237, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Mark Springett, Mark D. Rice, Alex Carmichael, Richard N. Griffiths |
Innovation for an Inclusive Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (2) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II, pp. 967-968, 2009, Springer, 978-3-642-03657-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Wencheng Wang, Jing Li, Hanqiu Sun, Enhua Wu |
Layer-Based Representation of Polyhedrons for Point Containment Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 14(1), pp. 73-83, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Lei Chen, Haiming Chen |
Efficient Type Checking for a Subclass of Regular Expression Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1647-1652, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Quantitative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 385-400, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Takeaki Uno, Hiroki Arimura |
An Efficient Polynomial Delay Algorithm for Pseudo Frequent Itemset Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 219-230, 2007, Springer, 978-3-540-75487-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah |
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 289-305, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Michael Emmi, Rupak Majumdar |
Decision Problems for the Verification of Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 200-211, 2006, Springer, 3-540-33170-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Xiang-Yang Li 0001, Wen-Zhan Song 0001, Yu Wang 0003 |
Efficient Topology Control for Ad-Hoc Wireless Networks with Non-Uniform Transmission Ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 11(3), pp. 255-264, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
non-uniform transmission ranges, degree-bounded structure, wireless ad hoc networks, topology control, power consumption |
18 | Elena Verdú, María Jesús Verdú, Luisa M. Regueras, Juan Pablo de Castro |
Intercultural and Multilingual E-Learning to Bridge the Digital Divide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet ![In: Web and Communication Technologies and Internet-Related Social Issues - HSI 2005, 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005, Proceedings, pp. 260-269, 2005, Springer, 3-540-27830-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Peter Thiemann 0001 |
Grammar-based analysis of string expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 59-70, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
string expression analysis, constraints, type inference |
18 | Lars Kristiansen, Mathias Barra |
The Small Grzegorczyk Classes and the Typed lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings, pp. 252-262, 2005, Springer, 3-540-26179-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alicja Mieszkowicz-Rolka, Leszek Rolka |
Variable Precision Fuzzy Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets I, pp. 144-160, 2004, Springer, 3-540-22374-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching Metrics for Quantitative Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 97-109, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for Simple Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 889-900, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Dmitry Pavlov, Heikki Mannila, Padhraic Smyth |
Beyond Independence: Probabilistic Models for Query Approximation on Binary Transaction Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(6), pp. 1409-1421, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Binary transaction data, query approximation, ADTree, probabilistic model, maximum entropy, itemsets |
18 | Andreas Koeller, Elke A. Rundensteiner |
Discovery of High-Dimensional. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India, pp. 683-685, 2003, IEEE Computer Society, 0-7803-7665-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Günther R. Raidl, Gabriele Kodydek, Bryant A. Julstrom |
On Weight-Biased Mutation for Graph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VII, 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings, pp. 204-213, 2002, Springer, 3-540-44139-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | François Denis, Aurélien Lemay, Alain Terlutte |
Learning Regular Languages Using RFSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 348-363, 2001, Springer, 3-540-42875-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Vassilios Chatzis, Ioannis Pitas |
A generalized fuzzy mathematical morphology and its application in robust 2-D and 3-D object representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(10), pp. 1798-1810, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Ronald J. Kohl |
Establishing Guidelines for Suitability of COTS for a Mission Critical Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 98-99, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis |
Timing Verification by Successive Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 137-150, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Tomasz Imielinski, Nicolas Spyratos |
On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada, pp. 258-265, 1984, ACM, 0-89791-128-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Jaime Sánchez 0001 |
Digital inclusion in Chilean in rural schools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 9th International Conference on Interaction Design and Children, IDC 2010, Barcelona, Spain, June 9-12, 2010, pp. 364-367, 2010, ACM, 978-1-60558-951-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
rural schools, internet, digital divide, teachers |
17 | Alexander A. Sherstov |
Approximate Inclusion-Exclusion for Arbitrary Symmetric Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 18(2), pp. 219-247, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Subject classification. 03D15, 68Q17 |
17 | Paramveer S. Dhillon, Brian Tomasik, Dean P. Foster, Lyle H. Ungar |
Multi-task Feature Selection Using the Multiple Inclusion Criterion (MIC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 276-289, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Johan M. M. van Rooij, Jesper Nederlof, Thomas C. van Dijk |
Inclusion/Exclusion Meets Measure and Conquer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, pp. 554-565, 2009, Springer, 978-3-642-04127-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Maria João Silva, Eduarda Ferreira, Cristina Azevedo Gomes |
Fostering inclusion in Portuguese schools: key lessons from ICT projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 8th International Conference on Interaction Design and Children, IDC 2009, Como, Italy, June 3-5, 2009, pp. 298-301, 2009, ACM, 978-1-60558-395-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Portugal, mobile, informal learning, georeferenced, schools |
17 | Alberto Bertoni, Christian Choffrut, Roberto Radicioni |
The Inclusion Problem of Context-Free Languages: Some Tractable Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings, pp. 103-112, 2009, Springer, 978-3-642-02736-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Camilo Cristancho Mantilla |
e-democracy and inclusion: the role for government agencies in mobilizing participation. ![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. 211-217, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discursive democracy, mobilization, e-democracy, political participation |
17 | Wei-Chang Yeh |
A Greedy Branch-and-Bound Inclusion-Exclusion Algorithm for Calculating the Exact Multi-State Network Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 57(1), pp. 88-93, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Lai-Jiu Lin 0001, Song Yu Wang, Chih-Sheng Chuang |
Existence theorems of systems of variational inclusion problems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 751-764, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Upper semicontinuous (lower semicontinuous) multivalued map, Systems of variational inclusions problem, Bilevel problem, Ideal minimal point, Efficient point |
17 | Ya-Ping Fang, Nan-Jing Huang, Jen-Chih Yao |
Well-posedness of mixed variational inequalities, inclusion problems and fixed point problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(1), pp. 117-133, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
2000 Mathematics Subject Classification 49J40, 90C31, 49K40 |
17 | Samia Nefti, Mourad Oussalah 0002, Uzay Kaymak |
A New Fuzzy Set Merging Technique Using Inclusion-Based Fuzzy Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(1), pp. 145-161, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ryo Yoshinaka |
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, pp. 487-498, 2008, Springer, 978-3-540-88281-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa |
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 78-92, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yonglong Luo, Liusheng Huang, Hong Zhong 0001 |
Secure Two-Party Point-Circle Inclusion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(1), pp. 88-91, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
homomorphic encryption scheme, private comparison, computational geometry, secure multi-party computation |
17 | Selvaraj Gopinath, Indra Narayan Kar, R. K. P. Bhatt |
AFDM Approach for Experience Inclusion in Learning Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 272-276, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Masoud Makrehchi, Mohamed S. Kamel |
Learning Term Dependency Links Using Information Theoretic Inclusion Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 423-428, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Souheib Baarir, Alexandre Duret-Lutz |
Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, pp. 41-50, 2007, IEEE Computer Society, 978-0-7695-2902-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Anna Gomolinska |
On Three Closely Related Rough Inclusion Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSEISP ![In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 142-151, 2007, Springer, 978-3-540-73450-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Koeller, Elke A. Rundensteiner |
Heuristic Strategies for the Discovery of Inclusion Dependencies and Other Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics V, pp. 185-210, 2006, Springer, 3-540-31426-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Bosc, Nadia Liétard, Olivier Pivert |
About Inclusion-Based Generalized Yes/No Queries in a Possibilistic Database Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings, pp. 284-289, 2006, Springer, 3-540-45764-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Marek Z. Reformat, Aashima Kapoor, Nicolino J. Pizzi |
Software Maintenance: Similarity and Inclusion of Rules in Knowledge Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 723-731, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 5784 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|