The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase k-restrictions (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1968 (16) 1969-1973 (15) 1974-1977 (19) 1978-1980 (21) 1981-1983 (15) 1984-1985 (27) 1986-1987 (22) 1988 (29) 1989 (30) 1990 (39) 1991 (27) 1992 (36) 1993 (50) 1994 (59) 1995 (45) 1996 (48) 1997 (58) 1998 (88) 1999 (111) 2000 (135) 2001 (142) 2002 (177) 2003 (199) 2004 (286) 2005 (296) 2006 (343) 2007 (392) 2008 (382) 2009 (274) 2010 (98) 2011 (31) 2012 (52) 2013 (51) 2014 (44) 2015 (56) 2016 (52) 2017 (56) 2018 (60) 2019 (62) 2020 (68) 2021 (82) 2022 (61) 2023 (59) 2024 (15)
Publication types (Num. hits)
article(1243) incollection(17) inproceedings(2953) phdthesis(15)
Venues (Conferences, Journals, ...)
CoRR(108) Eur. J. Oper. Res.(32) ICALP(29) J. ACM(28) RTA(28) PODS(25) CADE(24) Ann. Oper. Res.(23) IPDPS(22) Description Logics(21) HICSS(21) MFCS(21) STACS(20) Theor. Comput. Sci.(19) COCOON(17) CSL(17) More (+10 of total 1668)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3264 occurrences of 2250 keywords

Results
Found 4228 publication records. Showing 4228 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
55Madiagne Diallo, Marcus Vinicius Pereira de Souza, Luis Eduardo Guedes, Reinaldo Castro Souza Artificial DMUs and Contingent Weight Restrictions for the Analysis of Brazilian Retail Banks Efficiency. Search on Bibsonomy OR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Finance and Banking Multi-Criteria Decision Aids, Artificial DMUs, Contingent Weight Restrictions
55Jian-Qiang Hu, Michael A. Zazanis A sample path analysis of M/GI/1 queues with workload restrictions. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Workload restrictions, finite dams, balking
46Prabhu Ram, William Perrizo Multidatabase global query optimization. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multidatabase global query optimization, global data requests, autonomy restrictions, heterogeneity restrictions, independent local DBMS, schema level, instance level, domain translation table, multidatabase inter-site joins, query processing, SQL, distributed databases, system performance, data translation, nonprocedural languages
45Pavel Parízek, Tomas Kalibera Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
45Cássio V. S. Prazeres, César A. C. Teixeira, Maria da Graça Campos Pimentel Semantic Web Services Discovery by Matching Temporal Restrictions. Search on Bibsonomy SAINT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal restrictions, service discovery, semantic web services, matching algorithm, remote experiments
45Jörg Becker 0001, Christian Janiesch Restrictions in Process Design: A Case Study on Workflows in Healthcare. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF design restrictions, infection control, healthcare, workflow management, process management, Process design
41Sid Stamm, Brandon Sterne, Gervase Markham Reining in the web with content security policy. Search on Bibsonomy WWW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF content restrictions, security policy, http, web security
40Xue Yang 0001, Chuan-Hoo Tan, Hock-Hai Teo User Response to Free Trial Restrictions: A Coping Perspective. Search on Bibsonomy HCI (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Free trial software (FTS), expectation-disconfirmation paradigm, coping theory
36Jens H. Jahnke, Jörg Niere, Jörg P. Wadsack Automated Quality Analysis of Component Software for Embedded Systems. Search on Bibsonomy IWPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF graph rewrite rules, Java, embedded systems, smart cards, quality assurance, pattern detection
36Maurice Herlihy Concurrency and Availability as Dual Properties of Replicated Atomic Data Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34Adrian K. Agogino, Kagan Tumer Handling Communication Restrictions and Team Formation in Congestion Games. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MAS, Communication, Reinforcement learning, Teams
34Ralf Küsters, Ralf Molitor Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF least common subsumer, complexity, description logics
34Luis M. de Campos, Francisco Javier García Castellano On the Use of Restrictions for Learning Bayesian Networks. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Andreas Matheus Declaration and enforcement of fine-grained access restrictions for a service-based geospatial data infrastructure. Search on Bibsonomy SACMAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF object-based access restriction, spatial access control, XACML, geospatial, ACM proceedings
34Ralf Küsters, Ralf Molitor Approximating Most Specific Concepts in Description Logics with Existential Restrictions. Search on Bibsonomy KI/ÖGAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Pablo Gamallo 0001, Alexandre Agustini, José Gabriel Pereira Lopes Selection Restrictions Acquisition from Corpora. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Fu-sheng Dai, Xian-he Shao The Heuristic Route Algorithm of Multiple Restrictions Based on Quality of Service. Search on Bibsonomy IIH-MSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF route with multiple restrictions, route algorithm, communication network, QoS routing
31William C. Ogden The human factors of natural language query systems. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
31Maria Conceição A. Silva Portela, Emmanuel Thanassoulis Zero weights and non-zero slacks: Different solutions to the same problem. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Weight restrictions, Non-radial models, Efficient facets analysis, Data Envelopment Analysis (DEA)
31Marie-Laure Reinberger, Walter Daelemans Is Shallow Parsing Useful for Unsupervised Learning of Semantic Clusters? Search on Bibsonomy CICLing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF selectional restrictions, co-composition, ontology, machine learning, Semantics, knowledge representation, text mining
29D. Michael Goedecke, Georgiy V. Bobashev, Feng Yu A stochastic equation-based model of the value of international air-travel restrictions for controlling pandemic flu. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Steven Schockaert, Martine De Cock Neighborhood restrictions in geographic IR. Search on Bibsonomy SIGIR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fuzzy footprints, geographic information retrieval
29Ma. del Rocio Boone Rojas, Maya Carrillo Ruiz, María Beatríz Bernábe Loranca, Marco Antonio Soriano Ulloa Treatment of Integrity Restrictions in Relational DBMS with Triggers. Search on Bibsonomy CONIELECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF integrity, relational model, triggers
29Aditya Ganjam, Hui Zhang 0001 Connectivity restrictions in overlay multicast. Search on Bibsonomy NOSSDAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF peer-to-peer systems, firewall, overlay multicast, network address translator
29Adrian K. Agogino, Kagan Tumer Team formation and communication restrictions in collectives. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF MAS, reinforcement learning, q-learning
29Fabio Grandi 0001 On Expressive Description Logics with Composition of Roles in Number Restrictions. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Thomas Arts, Juan José Sánchez Penas Global scheduler properties derived from local restrictions. Search on Bibsonomy Erlang Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Hai Zhou 0001, Martin D. F. Wong, I-Min Liu, Adnan Aziz Simultaneous routing and buffer insertion with restrictions onbuffer locations. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Magdaléna Tydrichová Structural and algorithmic aspects of preference domain restrictions in collective decision making : contributions to the study of single-peaked and Euclidean preferences. (Aspects structurels et algorithmiques des restrictions de domaines de préférences dans la prise de décision collective : contributions à l'étude des préférences unimodales et Euclidiennes). Search on Bibsonomy 2023   RDF
27Jean Baptiste Faddoul Méthodes d'ensembles pour l'apprentissage multi-tâche avec des tâches hétérogènes et sans restrictions. (Ensemble Methods to Learn Multiple Heterogenous Tasks without Restrictions). Search on Bibsonomy 2012   RDF
27Eduardo Moreno 0001 Graphes et cycles de de Bruijn dans des langages avec des restrictions. (De Bruijn graphs and sequences in languages with restrictions). Search on Bibsonomy 2005   RDF
26Jia Xu On Inspection and Verification of Software with Timing Requirements. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF current practices, preruntime scheduling, verification, Real-time, complexity, predictability, software, code, inspection, software structures, restrictions, timing requirements
26Pei-Chi Wu Using Plain Base32 ASCII-Compatible Encoding in the Local Part of E-mail Addresses. Search on Bibsonomy SAINT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Internationalized Domain Names (IDN), lexical restrictions, login names, base64, base32
26Salvador Lucas Needed Reductions with Context-Sensitive Rewriting. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF needed reductions, replacement restrictions, functional programming, strategies, term rewriting systems
26Jürgen Schwille Modeling product and process characteristics in software configuration management. Search on Bibsonomy CSMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF process characteristics, product characteristic modelling, Concert, project specific models, model restrictions, development history, software maintenance, process modeling, SCM, configuration management, software configuration management, software project, predicate calculus, entity relationship diagrams, change requests, seamless integration
26José Miguel-Alonso, Agustin Arruabarrena, Ramón Beivide, José A. B. Fortes An Empirical Evaluation of Techniques for Parallel Discrete-Event Simulation of Interconnection Networks. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF interconnnection networks, synchronous simulation, Intel Paragon multicomputer, model decomposition, collaborative logical processes, process synchronization overhead, causal restrictions, message-passing network models, performance threshold, load level, scalability, parallel programming, virtual machines, message passing, multiprocessor interconnection networks, discrete event simulation, synchronisation, software performance evaluation, workload, empirical evaluation, parallel discrete-event simulation, optimistic simulation, network size, model parameters, simulator performance, message length, conservative simulation, processor number
26Rainer Leupers, Peter Marwedel Time-constrained code compaction for DSPs. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects
26Tracy Camp, Phil Kearns, Mohan Ahuja Proof Rules for Flush Channels. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits
26Brent Hailpern, Harold Ossher Extending Objects to Support Multiple Interfaces and Access Control. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF enforceable access restrictions, system organization, access control, data structures, object-oriented programming, browsing, objects, views, granularity, multiple interfaces
26Michael V. Mannino, Injun Choi, Don S. Batory The Object-Oriented Functional Data Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
26Xiuming Huang Semantic analysis in XTRA, an English - Chinese machine translation system. Search on Bibsonomy Mach. Transl. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF selection restrictions, Preference Semantics, integration of syntax and semantics, relaxation of constraints, robustness, Machine translation, Chinese, lexical ambiguity
26Marco Colombetti, Enrico Pagello Programs, Computations and Temporal Features. Search on Bibsonomy MFCS The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Predicate-Logic-like Programming Language, Control Structures Temporal Features, Restrictions
24Martin Hoefer 0001, Alexander Souza The Influence of Link Restrictions on (Random) Selfish Routing. Search on Bibsonomy SAGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Sylvain Boulmé, Marie-Laure Potet Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Phi Anh Phan, Timothy J. Gale Direct Adaptive Fuzzy Control with Less Restrictions on the Control Gain. Search on Bibsonomy CIMCA/IAWTIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Yevgeny Kazakov A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Wojciech Rzasa, Zbigniew Suraj A New Method for Determining of Extensions and Restrictions of Information Systems. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Gregory L. Katzman Adobe Acrobat: an alternative electronic teaching file construction methodology independent of HTML restrictions. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Nils Klarlund A Theory of Restrictions for Logics and Automata. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Tomoya Taka, Tadanori Mizuno, Takashi Watanabe 0001 A Model of Mobile Agent Services Enhanced for Resource Restrictions and Security. Search on Bibsonomy ICPADS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Stefan Klingenbeck, Reiner Hähnle Semantic Tableaux with Ordering Restrictions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Chris Hanson, Tim Berners-Lee, Lalana Kagal, Gerald J. Sussman, Daniel J. Weitzner Data-Purpose Algebra: Modeling Data Usage Policies. Search on Bibsonomy POLICY The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Matthias Tichy, Daniela Schilling, Holger Giese Design of self-managing dependable systems with UML and fault tolerance patterns. Search on Bibsonomy WOSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Roberto Basili 0001, Maria Teresa Pazienza, Paola Velardi Acquisition of selectional patterns in sublanguages. Search on Bibsonomy Mach. Transl. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Joseph M. Hellerstein, Michael Stonebraker Predicate Migration: Optimizing Queries with Expensive Predicates. Search on Bibsonomy SIGMOD Conference The full citation details ... 1993 DBLP  DOI  BibTeX  RDF SQL, C
21V. J. de Jong Symbolic dimension bound checking in a matrix language. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21Cristina Rueda, Miguel Alejandro Fernández, Bonifacio Salvador Bayes Discriminant Rules with Ordered Predictors. Search on Bibsonomy J. Classif. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Latent space, Misclassification probability, Order restrictions, Restricted estimation, Discriminant analysis
21Kevin Wiesner, Marcus Foth, Mark Bilandzic Unleashing creative writers: situated engagement with mobile narratives. Search on Bibsonomy OZCHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF placed-based community engagement, constraints, mobile interaction, restrictions, mobile media, locative media, urban informatics
21Christina Alexandris "Show and Tell": Using Semantically Processable Prosodic Markers for Spatial Expressions in an HCI System for Consumer Complaints. Search on Bibsonomy HCI (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Prosodic prominence, Selectional Restrictions, Indexical Interpretation for Emphasis, Ambiguity resolution, Spatial Expressions, Ontology, Deixis
21Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. Search on Bibsonomy Real Time Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
21Ji-Cherng Lin, Tetz C. Huang An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment
21Lidia Angulo Meza, Marcos Pereira Estellita Lins Review of Methods for Increasing Discrimination in Data Envelopment Analysis. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF weight restrictions, Value Efficiency Analysis, cross-evaluation, super efficiency, multiple objectives model, Data Envelopment Analysis
21Moni Naor, Leonard J. Schulman, Aravind Srinivasan Splitters and Near-Optimal Derandomization. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF splitters, near-optimal derandomization, fairly general method, k-restrictions, probabilistic bound, near-optimal constructions, fixed-subgraph finding algorithms, deterministic constructions, local-coloring protocol, computational complexity, learning, probability, computational linguistics, hardness of approximation, set cover, derandomization, randomised algorithms, exhaustive testing
21Hans L. Bodlaender Dynamic Programming on Graphs with Bounded Treewidth. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF graph decision problems, restrictions of NP-complete problems, local condition compositions, dynamic programming, polynomial time algorithms, Treewidth, partial k-trees
19Wentian Lu, Gerome Miklau Auditing a Database under Retention Restrictions. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Franz Baader, Martin Knechtel, Rafael Peñaloza A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. Search on Bibsonomy ISWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Cheran M. Vithanage, Justin P. Coon, Steve C. J. Parker On capacity-optimal precoding for multiple antenna systems subject to EIRP restrictions. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Nilay Noyan, Andrzej Ruszczynski Valid inequalities and restrictions for stochastic programming problems with first order stochastic dominance constraints. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Disjunctive cuts, Stochastic programming, Valid inequalities, Conditional value at risk, Stochastic dominance
19Sebastian Rudolph Acquiring Generalized Domain-Range Restrictions. Search on Bibsonomy ICFCA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Emrah B. Edis, Ceyhun Araz, Irem Ozkarahan Lagrangian-Based Solution Approaches for a Resource-Constrained Parallel Machine Scheduling Problem with Machine Eligibility Restrictions. Search on Bibsonomy IEA/AIE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Machine eligibility, Lagrangian relaxation, Resource constraints, Parallel machine scheduling, Subgradient optimization
19Carlos R. del-Blanco, Fernando Jaureguizar, Luis Salgado, Narciso García Target Detection Through Robust Motion Segmentation and Tracking Restrictions in Aerial Flir Images. Search on Bibsonomy ICIP (5) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Philippe Gambette, Stéphane Vialette On Restrictions of Balanced 2-Interval Graphs. Search on Bibsonomy WG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 2-interval graphs, graph classes, quasi-line graphs, circular interval graphs, scheduling, bioinformatics, line graphs, claw-free graphs
19Geir Dahl, Njål Foldnes LP based heuristics for the multiple knapsack problem with assignment restrictions. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Randomized rounding, Traffic routing, Multiple knapsack problem
19Masaaki Harada, Akihiro Munemasa Some restrictions on weight enumerators of singly even self-dual codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Ioannis T. Kassios Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object orientation, framing
19Xin Yuan, Kevin W. McCullen, Fook-Luen Heng, Robert F. Walker, Jason Hibbeler, Robert J. Allen, Rani R. Narayan Technology migration technique for designs with strong RET-driven layout restrictions. Search on Bibsonomy ISPD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF RDR, RET-driven layout, restrictive design rules, technology migration
19Linda Smail, Jean-Pierre Raoult Successive Restrictions Algorithm in Bayesian Networks. Search on Bibsonomy IDA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Luis M. de Campos, Juan M. Fernández-Luna, Juan F. Huete Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods. Search on Bibsonomy ECIR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Apostolos Niaouris An Algebra of Petri Nets with Arc-Based Time Restrictions. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
19Hong Liu 0008, Hongbin Zha, Fei Lin Competition analysis system for soccer robots based on global vision and trajectory restrictions. Search on Bibsonomy SMC (6) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Gustav Hast Approximating Max kCSP Using Random Restrictions. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Laura C. Rivero, Jorge Horacio Doorn, Viviana E. Ferraggine Elicitation and conversion of hidden objects and restrictions in a database schema. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF database conceptual schema reengineering, denormalization, pure inclusion dependencies
19Nathan Segerlind, Samuel R. Buss, Russell Impagliazzo A Switching Lemma for Small Restrictions and Lower Bounds for k - DNF Resolution. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes Assessment of Selection Restrictions Acquisition. Search on Bibsonomy SBIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Arnold Beckmann Resolution Refutations and Propositional Proofs with Height-Restrictions. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
19Hana Chockler, Uri Zwick Which formulae shrink under random restrictions? Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF
19Said Hamdioui, Ad J. van de Goor Testing Address Decoder Faults in Two-Port Memories: Fault Models, Tests, Consequences of Port Restrictions, and Test Strategy. Search on Bibsonomy J. Electron. Test. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multi-port memories, single-port memories, address decoder faults, read-only ports, write-only ports, fault models, fault coverage, march tests
19René Alquézar, Francesc Serratosa, Alberto Sanfeliu Distance between Attributed Graphs and Function-Described Graphs Relaxing 2nd Order Restrictions. Search on Bibsonomy SSPR/SPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Said Hamdioui, Ad J. van de Goor Consequences of port restrictions on testing two-port memories. Search on Bibsonomy ITC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Multi-port memories, single-port memories, memory fault models, weak faults, read-only and write-only ports, fault coverage, march tests, test length
19Hans Daduna On the stability of queueing systems under precedence restrictions for the service of customers. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Stability theory, ergodic theory, parallel processing, database concurrency control
19Andrea Bobbio, Miklós Telek Computational Restrictions for SPN with Generally Distributed Transition Times. Search on Bibsonomy EDCC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Giuseppe De Giacomo, Maurizio Lenzerini Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Sergei I. Kovalov Some restrictions on distance distribution of optimal binary codes. Search on Bibsonomy Algebraic Coding The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
19Richard Hull 0001, Jianwen Su On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
19Friedhelm Meyer auf der Heide Fast algorithms for N-dimensional restrictions of hard problems. Search on Bibsonomy J. ACM The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
15Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Jesús Aranda, Frank D. Valencia, Cristian Versari On the Expressive Power of Restriction and Priorities in CCS with Replication. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Shuvendu K. Lahiri, Shaz Qadeer Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15UmaMaheswari C. Devi, James H. Anderson A schedulable utilization bound for the multiprocessor EPDF\mathsf{EPDF} Pfair algorithm. Search on Bibsonomy Real Time Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multiprocessors, Real-time scheduling, Utilization bound, Pfair
Displaying result #1 - #100 of 4228 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license