|
|
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 |
17 | Ljiljana D. Petkovic, Miodrag S. Petkovic, Dusan M. Milosevic |
Weierstrass-like Methods with Corrections for the Inclusion of Polynomial Zeros. |
Computing |
2005 |
DBLP DOI BibTeX RDF |
Zeros of polynomials, simultaneous methods, circular arithmetic, convergence rate |
17 | Philip Bille, Inge Li Gørtz |
The Tree Inclusion Problem: In Optimal Space and Faster. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jin Han Park, Jong Seo Park, Young Chel Kwun |
On Fuzzy Inclusion in the Interval-Valued Sense. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Brendan Riordan, John Traxler |
The Use of Targeted Bulk SMS Texting to Enhance Student Support, Inclusion and Retention. |
WMTE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Lili Wu, Yongli Li, He Lin |
Generalized rough equivalence and generalized rough inclusion based on equivalence operator of pansystems of rough sets. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Paluri S. V. Nataraj, Ketan Kotecha |
Global Optimization with Higher Order Inclusion Function Forms Part 1: A Combined Taylor-Bernstein Form. |
Reliab. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Miodrag S. Petkovic, Dusan M. Milosevic |
Ostrowski-Like Method with Corrections for the Inclusion of Polynomial Zeros. |
Reliab. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit |
Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases. |
Constraint-Based Mining and Inductive Databases |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Christian Ferran Bennström, Josep R. Casas |
Binary-Partition-Tree Creation using a Quasi-Inclusion Criterion. |
IV |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Koeller, Elke A. Rundensteiner |
Heuristic Strategies for Inclusion Dependency Discovery. |
CoopIS/DOA/ODBASE (2) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Domenico Bruno, Mario Capitelli, Savino Longo, P. Minelli |
Direct Simulation Monte Carlo Modeling of Non Equilibrium Reacting Flows. Issues for the Inclusion into a ab initio Molecular Processes Simulator. |
ICCSA (2) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Deok-Soo Kim, Byunghoon Lee, Cheol-Hyung Cho, Kokichi Sugihara |
Plane-Sweep Algorithm of O(nlogn) for the Inclusion Hierarchy among Circles. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Paluri S. V. Nataraj, Ketan Kotecha |
Higher Order Convergence for Multidimensional Functions with a New Taylor-Bernstein Form as Inclusion Function. |
Reliab. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Fabien De Marchi, Jean-Marc Petit |
Zigzag: a new algorithm for mining large inclusion dependencies in database. |
ICDM |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Joël Ouaknine, James Worrell 0001 |
Universality and Language Inclusion for Open and Closed Timed Automata. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Chris Cornelis, Etienne E. Kerre |
Inclusion Measures in Intuitionistic Fuzzy Set Theory. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jerome L. Lewis |
A reliable test for inclusion of a point in a polygon. |
ACM SIGCSE Bull. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | John Whaley, Monica S. Lam |
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Lech Polkowski |
On Asymptotic Properties of Rough-Set-Theoretic Approximations. Fractal Dimension, Exact Sets, and Rough Inclusion in Potentially Infinite Information Systems. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
the Minkowski dimension, $mathcal{A}$-dimension, rough sets, information systems, Fractals |
17 | Fabien De Marchi, Stéphane Lopes, Jean-Marc Petit |
Efficient Algorithms for Mining Inclusion Dependencies. |
EDBT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Alonso, René Schott |
On the tree inclusion problem. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Dohmen |
A Note on Narushima's Principle of Inclusion-Exclusion on Partition Lattices. |
Graphs Comb. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Juhani Karhumäki, Leonid P. Lisovik |
A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Pedro de Almeida |
Direct Domain Knowledge Inclusion in the PA3 Rule Induction Algorithm. |
PAKDD |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Zhendong Su 0001, Manuel Fähndrich, Alexander Aiken |
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Miodrag S. Petkovic |
Halley-Like Method with Corrections for the Inclusion of Polynomial Zeros. |
Computing |
1999 |
DBLP DOI BibTeX RDF |
AMS Subject Classification: 65H05 |
17 | Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su 0001, Alexander Aiken |
Partial Online Cycle Elimination in Inclusion Constraint Graphs. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Jamie D. Weber, Thomas J. Overbye, Christopher L. DeMarco |
Inclusion of Price Dependent Load Models in the Optimal Power Flow. |
HICSS (3) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ljiljana D. Petkovic, Slobodan Trickovic, Miodrag S. Petkovic |
Slope Methods of Higher Order for the Inclusion of Complex Roots of Polynomials. |
Reliab. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Benedito Melo Acióly, Benjamín René Callejas Bedregal |
A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. |
Reliab. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Siegfried M. Rump |
Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. |
Reliab. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Herbert Edelsbrunner, Edgar A. Ramos |
Inclusion - Exclusion Complexes for Pseudodisk Collections. |
Discret. Comput. Geom. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth A. Reek |
Teaching inheritance versus inclusion to first year computer science students. |
SIGCSE |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Alonso, René Schott |
On the Tree Inclusion Problem. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Stavros S. Cosmadakis, Paris C. Kanellakis |
Functional and Inclusion Dependencies: A Graph Theoretic Approach. |
PODS |
1984 |
DBLP DOI BibTeX RDF |
|
17 | David S. Johnson, Anthony C. Klug |
Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Björn Niehaves, Ralf Plattfaut, Peter H. Vages |
Aging and the information society: a comparative study of Austria and Switzerland. |
DG.O |
2010 |
DBLP BibTeX RDF |
demographic change, digital divide, comparative study, e-Inclusion |
14 | Till Halbach |
Towards Cognitively Accessible Web Pages. |
ACHI |
2010 |
DBLP DOI BibTeX RDF |
intellectual deficits, deficiencies, accessibility, universal design, web pages, Cognitive disabilities, e-inclusion, impairement |
14 | Musa A. Mammadov |
Turnpike Theory: Stability of Optimal Trajectories. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Turnpike property, Differential inclusion, Convex sets, Asymptotical stability, Stationary points |
14 | Jorge Barrios, Alain Piétrus, Aymée Marrero, Héctor de Arazoza |
HIV Model Described by Differential Inclusions. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
Differential Inclusion, Contact Tracing, HIV, AIDS, Reachable Sets |
14 | C. Osvaldo Rodriguez |
Affordable Wireless Connectivity Linking Poor Latin American Communities Binding Their Schools by Sharing ICT Training for "Maestros" of Primary Schools. |
HCI (14) |
2009 |
DBLP DOI BibTeX RDF |
ICT Teachers Education, Wireless Mesh Networking, Digital Inclusion |
14 | Kristin Skeide Fuglerud |
ICT Services for Every Citizen: The Challenge of Gaps in User Knowledge. |
HCI (5) |
2009 |
DBLP DOI BibTeX RDF |
gaps in user knowledge, user diversity, accessibility, visually impaired, elderly, universal design, universal usability, e-Inclusion |
14 | Indrani Medhi, Aishwarya Ratan, Kentaro Toyama |
Mobile-Banking Adoption and Usage by Low-Literate, Low-Income Users in the Developing World. |
HCI (14) |
2009 |
DBLP DOI BibTeX RDF |
m-banking, mobile UX, financial inclusion, economic development |
14 | Fernando Magno Quintão Pereira, Daniel Berlin |
Wave Propagation and Deep Propagation for Pointer Analysis. |
CGO |
2009 |
DBLP DOI BibTeX RDF |
Inclusion based, Context insensitive, Pointer analysis, Cycle detection |
14 | Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska |
C preprocessor use in numerical tools: an empirical analysis. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp |
14 | Annalu Waller, Vicki L. Hanson, David Sloan |
Including accessibility within and beyond undergraduate computing courses. |
ASSETS |
2009 |
DBLP DOI BibTeX RDF |
accessibility, disability, older adults, higher education, inclusion |
14 | Paula Forbes, Lorna Gibson, Vicki L. Hanson, Peter Gregor, Alan F. Newell |
Dundee user centre: a space where older people and technology meet. |
ASSETS |
2009 |
DBLP DOI BibTeX RDF |
computing, technology, older people, digital inclusion |
14 | Edith Ackermann, Françoise Decortis, Juan Pablo Hourcade, Heidi Schelhowe |
Cultural coding and de-coding as ways of participation: digital media for marginalized young people. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
Paulo Freire, marginalized young people, digital divide, participation, inclusion, empowerment |
14 | Susan Horwitz, Susan H. Rodger, Maureen Biggers, David W. Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat |
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
esp, introductory computer science course, peer-led team learning, pltl, inclusion, women in computer science, under-represented groups |
14 | Lam Quoc Anh, Phan Quoc Khanh |
Various kinds of semicontinuity and the solution sets of parametric multivalued symmetric vector quasiequilibrium problems. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
U-lower (or upper)-level closednesss, U-Hausdorff-lower (or upper)- level closedness, U-lower (or upper)-semicontinuity, U-Hausdorff-lower (or upper)-semicontinuity, (Hausdorff) lower or upper semicontinuity, U-inclusion property, Symmetric quasiequilibrium problems, Lower and upper bounded quasiequilibrium problems, Solution sets |
14 | Lech Polkowski, Piotr Artiemjew |
A Study in Granular Computing: On Classifiers Induced from Granular Reflections of Data. |
Trans. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
granular decision systems, data classification, rough inclusion, mereology, granulation of knowledge |
14 | Andrea Falletto, Paolo Prinetto, Gabriele Tiotto |
An Avatar-Based Italian Sign Language Visualization System. |
eHealth |
2008 |
DBLP DOI BibTeX RDF |
Virtual Reality, Computer Graphics, Sign Languages, E-Inclusion |
14 | Eileen M. Trauth, Jeria L. Quesenberry, Haiyan Huang, Stephen McKnight |
Linking economic development and workforce diversity through action research. |
CPR |
2008 |
DBLP DOI BibTeX RDF |
information economy, diversity, gender, action research, IT workforce, IT skills, minorities, race, social inclusion, economic development, ethnicity, under represented groups, human capital |
14 | Stephanie Ludi, Thomas Reichlmayr |
Developing inclusive outreach activities for students with visual impairments. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
accessibility, inclusion, outreach |
14 | Germano Vallesi, Anna Montesanto, Aldo Franco Dragoni |
Conflict Detection and Bayesian Conditioning for Estimating the Reliability of Each LVQ Network in a Group Engaged at Iris Biometric Identification. |
HIS |
2008 |
DBLP DOI BibTeX RDF |
Bayesian Conditioning, LVQ Networks, Inclusion Based, Neural Networks, Iris Recognition |
14 | Simon Ball, Alistair McNaught |
Round Peg, Square Hole: Supporting Via the Web Staff and Learners Who Do Not Fit into Traditional Learner-Teacher-Institution Scenarios. |
ICCHP |
2008 |
DBLP DOI BibTeX RDF |
e-learning, accessibility, online learning, support, inclusion |
14 | Marco Arrigo, Gaspare Novara, Giovanni Ciprì |
M-Learning Accessibility Design: A Case Study. |
ICCHP |
2008 |
DBLP DOI BibTeX RDF |
accessibility, multimodal interface, mobile learning, ubiquitous learning, design for all, inclusion |
14 | Simon Ball, Julian Tenney |
Xerte - A User-Friendly Tool for Creating Accessible Learning Objects. |
ICCHP |
2008 |
DBLP DOI BibTeX RDF |
accessibility, learning objects, template, inclusion, user-friendly |
14 | Jaroslaw Stepaniuk |
Approximation Spaces in Multi Relational Knowledge Discovery. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
uncertainty function, rough sets, approximation spaces, rough inclusion, multi-relational data mining |
14 | Jo-Anne Bichard, Roger Coleman, Patrick Langdon |
Does My Stigma Look Big in This? Considering Acceptability and Desirability in the Inclusive Design of Technology Products. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
stigma, aesthetic design, Inclusive Design, social inclusion |
14 | Kristina Pitula, Thiruvengadam Radhakrishnan |
A Conceptual Model of Inclusive Technology for Information Access by the Rural Sector. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
inclusive technology, information and communication technology, social inclusion |
14 | Katherine Deibel |
Studying our inclusive practices: course experiences of students with disabilities. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
accessibility, disability, grounded theory, inclusion, accommodation, semi-structured interview |
14 | Qing Liu 0011, Hui Sun, Ying Wang |
Granulations Based on Semantics of Rough Logical Formulas and Its Reasoning. |
RSFDGrC |
2007 |
DBLP DOI BibTeX RDF |
Semantics of rough logical formula, ?-inclusion, ?-closeness, granular reasoning, granulation |
14 | Darren James Thomson, Marius Gylseth, Robert McGarry, Carmen Valero Garcia |
The VVIP system: encouraging the use of public transport in Edinburgh. |
CHI Extended Abstracts |
2007 |
DBLP DOI BibTeX RDF |
disability discrimination act, location based information system, tourists, GPS, visually impaired, public transport, social inclusion |
14 | John Kodumal, Alex Aiken |
Regularly annotated set constraints. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability |
14 | Liya Fan, Tianyuan Xiao |
An Automatic Method for Ontology Mapping. |
KES (3) |
2007 |
DBLP DOI BibTeX RDF |
relation measure, inclusion measure, similarity measure, ontology mapping |
14 | Adamantios Koumpis, Marios Chatzidimitriou, Vasiliki Moumtzi, Vassilios Peristeras |
Empowering user and development communities involvement for collaborative e-gov networks. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
citizen organizational initiatives, government collaboration patterns research, society inclusion initiatives, policies, processes, practices, people, capacity building, community building |
14 | Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie |
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
RegularChains, quasi-component, inclusion test, irredundant triangular decomposition |
14 | Ying Liu, Annita Cornish, June Clegg |
ICT and Special Educational Needs: Using Meta-synthesis for Bridging the Multifaceted Divide. |
International Conference on Computational Science (4) |
2007 |
DBLP DOI BibTeX RDF |
Complex problem-solving, Special educational needs, Education, Digital divide, e-Inclusion, Meta-synthesis |
14 | Lech Polkowski, Piotr Artiemjew |
On Granular Rough Computing: Factoring Classifiers Through Granulated Decision Systems. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
granular systems and classifiers, similarity, rough inclusion, granulation of knowledge |
14 | Bruno von Niman, Alejandro Rodríguez-Ascaso, Torbjørn Sund, Steve J. Brown |
User experience design guidelines for telecare services. |
Mobile HCI |
2006 |
DBLP DOI BibTeX RDF |
usability, UI, user experience, interface, guidelines, health, e-health, design for all, e-inclusion, telecare, UX, MMI, intelligent homes |
14 | Joseph Gil, Yoav Zibin |
Efficient subtyping tests with PQ-encoding. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
PQ, PQE, type inclusion, encoding, hierarchy, inheritance, subtyping, partially ordered sets, Casting |
14 | Brigitte Verdonk, J. Vervloet, Annie A. M. Cuyt |
Blending Set and Interval Arithmetic for Maximal Reliability. |
Computing |
2005 |
DBLP DOI BibTeX RDF |
inclusion property, Interval arithmetic |
14 | Rami Saarinen, Janne Järvi, Roope Raisamo, Jouni Salo |
Agent-based architecture for implementing multimodal learning environments for visually impaired children. |
ICMI |
2005 |
DBLP DOI BibTeX RDF |
multimodal software architectures, navigation, haptics, inclusion, auditory feedback, teaching programs, visually impaired children |
14 | Bruno von Niman, Martin Böcker, Matthias Schneider-Hufschmidt, Margareta Flygt, Pascale Parodi, Pekka Ketola, David Williams, Michael Tate |
Enabling and improving the use of mobile e-services. |
Mobile HCI |
2005 |
DBLP DOI BibTeX RDF |
out-of-box-readiness, user interface, mobile, user experience, human factors, services, terminals, guidelines, e-inclusion, MMI |
14 | Phia Damsma, John Norgaard, Rob Jones |
Best practices in an online community for blind, partly sighted and fully sighted children. |
OZCHI |
2005 |
DBLP BibTeX RDF |
OZCHI 2005, usability, e-learning, accessibility, children, visual impairment, e-inclusion |
14 | Ivar Jacobson |
Use cases - Yesterday, today, and tomorrow. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Use case driven development, History of use cases, Extension use cases, Inclusion use cases, Roles of use cases, Use cases are early aspects, Use case fragments, Use case |
14 | Francesco Garibaldo |
Information and Communication Technologies, Organisations and Skills: Convergence and Persistence. |
AI Soc. |
2002 |
DBLP DOI BibTeX RDF |
Citizenship, Cultural institutions, Policy networks, Cooperation, Convergence, Hybrid systems, Inclusion, Knowledge worker, Vocational training |
14 | Michael D. Ernst, Greg J. Badros, David Notkin |
An Empirical Analysis of C Preprocessor Use. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp |
14 | Ivo G. Rosenberg, Dan A. Simovici, Szymon Jaroszewicz |
On Functions Defined on Free Boolean Algebras. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
Free Boolean Algebras, Post Algebras, inclusion-exclusion, query-size estimation, measure |
14 | Helena Abecasis, Jorge Fernandes |
The national initiative for people with special needs in the information society: the elderly, people with disabilities and long-term bed-ridden. |
Workshop on Universal Accessibility of Ubiquitous Computing |
2001 |
DBLP DOI BibTeX RDF |
accessibility kits, info-inclusion, internet posts for all, telematic networks, assistive technologies, web accessibility, disabled, elderly, universal design |
14 | Rida T. Farouki, Hwan Pyo Moon, Bahram Ravani |
Algorithms for Minkowski products and implicitly-defined complex sets. |
Adv. Comput. Math. |
2000 |
DBLP DOI BibTeX RDF |
Minkowski geometric algebra, Minkowski sums and products, logarithmic Gauss map, logarithmic curvature, implicitly-defined complex sets, families of curves, set inclusion, boundary evaluation algorithms, envelopes |
14 | Miodrag S. Petkovic |
On Initial Conditions for the Convergence of Simultaneous Root Finding Methods. |
Computing |
1996 |
DBLP DOI BibTeX RDF |
simultaneous method, inclusion methods, convergence theorems, initial conditions for convergence, Polynomial roots |
14 | Rabin A. Sugumar, Santosh G. Abraham |
Set-Associative Cache Simulation Using Generalized Binomial Trees |
ACM Trans. Comput. Syst. |
1995 |
DBLP DOI BibTeX RDF |
all-associativity simulation, binomial tree, inclusion properties, single-pass simulation, trace-driven simulation, cache modeling, set-associative caches |
14 | Eitetsu Oomoto, Katsumi Tanaka |
OVID: Design and Implementation of a Video-Object Database System. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
OVID, video-object database system, descriptional data, interval-inclusion based inheritance, browsing/inspection tool, VideoChart, adhoc query facility, VideoSQL, video-object definition tool, design, object-oriented programming, implementation, visual databases |
14 | Yehoshua Sagiv, Oded Shmueli |
Solving Queries by Tree Projections. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
monotone join expression, qual graph, semijoin reduction, tree projection, tree schema, relational database, projection, hypergraph, join, chase, database schema, acyclicity, semijoin, tableau, inclusion dependency |
14 | John M. Snyder, Adam R. Woodbury, Kurt W. Fleischer, Bena L. Currin, Alan H. Barr |
Interval methods for multi-point collisions between time-dependent curved surfaces. |
SIGGRAPH |
1993 |
DBLP DOI BibTeX RDF |
inclusion function, interval Newton method, interval linear equation |
14 | John M. Snyder |
Interval analysis for computer graphics. |
SIGGRAPH |
1992 |
DBLP DOI BibTeX RDF |
constraint solution, inclusion function, approximation, interval analysis, implicit curve, constrained minimization |
14 | Oded Goldreich 0001, Erez Petrank |
Quantifying Knowledge Complexity |
FOCS |
1991 |
DBLP DOI BibTeX RDF |
constant round AM proofs, knowledge complexity, inclusion results, separation results, Hint sense, computational complexity, languages, proof system |
14 | J. Christopher Westland |
Scaling Up Output Capacity and Performance Results from Information Systems Prototypes. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
inclusion-exclusion principle |
14 | David Haussler, Nick Littlestone, Manfred K. Warmuth |
Predicting {0,1}-Functions on Randomly Drawn Points (Extended Abstract) |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
axis-parallel rectangles, randomly drawn points, learnability model, target functions, prediction strategies, 1-inclusion graph structure, geometric range queries, indicator functions, probability |
14 | Mark H. Overmars, Chee-Keng Yap |
New upper bounds in Klee's measure problem (extended abstract) |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
Klee measure problem, time-space upper bound, Euclidean d-space, inclusion/exclusion principle, trellises, partition, streaming, upper bounds, dimensions |
14 | Robert Brian Cutler, Saburo Muroga |
Derivation of Minimal Sums for Completely Specified Functions. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
Tison Method, Abridged minterm base, inclusion function, minimum sum, Petrick function, presence function, Quine- McCluskey method, programmable logic array, switching theory, branch-and-bound method |
14 | Siegfried M. Rump, Harald Böhm |
Least significant bit evaluation of arithmetic expressions in single-precision. |
Computing |
1983 |
DBLP DOI BibTeX RDF |
automatic verification of correctness, roundig error, error estimation, Inclusion, high accuracy |
14 | Chat-Yu Lam, Stuart E. Madnick |
Properties of Storage Hierarchy Systems with Multiple Page Sizes and Redundant Data. |
ACM Trans. Database Syst. |
1979 |
DBLP DOI BibTeX RDF |
data storage hierarchy, database computer, inclusion properties, perform and reliability analysis, storage management algorithms, modeling, very large databases |
14 | Chao-Chih Yang |
On the Equivalence of Two Algorithms for Finding All Maximal Compatibles. |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
edge-inclusion table, incompatibility graph, maximal compatible, Boolean algebra |
12 | Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak |
A review of approaches for representing RCC8 in OWL. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
RCC8, spatial knowledge representation, OWL |
12 | Vicki H. Allan, Valerie Barr, Dennis Brylow, Susanne E. Hambrusch |
Computational thinking in high school courses. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
education, computational thinking |
12 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
12 | Sorin Mihai Grigorescu, Danijela Ristic-Durrant, Axel Gräser |
ROVIS: Robust machine vision for service robotic system FRIEND. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 5784 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|