|
|
Venues (Conferences, Journals, ...)
|
|
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 |
55 | Madiagne 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](Pics/bibsonomy.png) |
OR ![In: Operations Research, Proceedings 2007, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Saarbrücken, Germany, September 5-7, 2007, pp. 97-102, 2007, Springer, 978-3-540-77902-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Finance and Banking Multi-Criteria Decision Aids, Artificial DMUs, Contingent Weight Restrictions |
55 | Jian-Qiang Hu, Michael A. Zazanis |
A sample path analysis of M/GI/1 queues with workload restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 14(1-2), pp. 203-213, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Workload restrictions, finite dams, balking |
46 | Prabhu Ram, William Perrizo |
Multidatabase global query optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 253-262, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
45 | Pavel Parízek, Tomas Kalibera |
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 117-132, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
restrictions of concurrency, model checking, embedded systems, Java programs, state explosion |
45 | Cá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](Pics/bibsonomy.png) |
SAINT ![In: Proceedings of the 2008 International Symposium on Applications and the Internet, SAINT 2008, 28 July - 1 August 2008, Turku, Finland, pp. 26-32, 2008, IEEE Computer Society, 978-0-7695-3297-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
temporal restrictions, service discovery, semantic web services, matching algorithm, remote experiments |
45 | Jörg Becker 0001, Christian Janiesch |
Restrictions in Process Design: A Case Study on Workflows in Healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 323-334, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design restrictions, infection control, healthcare, workflow management, process management, Process design |
41 | Sid Stamm, Brandon Sterne, Gervase Markham |
Reining in the web with content security policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 921-930, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
content restrictions, security policy, http, web security |
40 | Xue Yang 0001, Chuan-Hoo Tan, Hock-Hai Teo |
User Response to Free Trial Restrictions: A Coping Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 991-1000, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Free trial software (FTS), expectation-disconfirmation paradigm, coping theory |
36 | Jens H. Jahnke, Jörg Niere, Jörg P. Wadsack |
Automated Quality Analysis of Component Software for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 8th International Workshop on Program Comprehension (IWPC 2000), 10-11 June 2000, Limerick, Ireland, pp. 18-26, 2000, IEEE Computer Society, 0-7695-0656-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
graph rewrite rules, Java, embedded systems, smart cards, quality assurance, pattern detection |
36 | Maurice Herlihy |
Concurrency and Availability as Dual Properties of Replicated Atomic Data ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 37(2), pp. 257-278, April 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Adrian K. Agogino, Kagan Tumer |
Handling Communication Restrictions and Team Formation in Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 13(1), pp. 97-115, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MAS, Communication, Reinforcement learning, Teams |
34 | Ralf Küsters, Ralf Molitor |
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(2), pp. 227-259, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
least common subsumer, complexity, description logics |
34 | Luis M. de Campos, Francisco Javier García Castellano |
On the Use of Restrictions for Learning Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 174-185, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Andreas Matheus |
Declaration and enforcement of fine-grained access restrictions for a service-based geospatial data infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 10th ACM Symposium on Access Control Models and Technologies, SACMAT 2005, Stockholm, Sweden, June 1-3, 2005, Proceedings, pp. 21-28, 2005, ACM, 1-59593-045-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-based access restriction, spatial access control, XACML, geospatial, ACM proceedings |
34 | Ralf Küsters, Ralf Molitor |
Approximating Most Specific Concepts in Description Logics with Existential Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI/ÖGAI ![In: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings, pp. 33-47, 2001, Springer, 3-540-42612-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Pablo Gamallo 0001, Alexandre Agustini, José Gabriel Pereira Lopes |
Selection Restrictions Acquisition from Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 30-43, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Fu-sheng Dai, Xian-he Shao |
The Heuristic Route Algorithm of Multiple Restrictions Based on Quality of Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), Harbin, China, 15-17 August 2008, Proceedings, pp. 1441-1445, 2008, IEEE Computer Society, 978-0-7695-3278-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
route with multiple restrictions, route algorithm, communication network, QoS routing |
31 | William C. Ogden |
The human factors of natural language query systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 174-175, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | Maria Conceição A. Silva Portela, Emmanuel Thanassoulis |
Zero weights and non-zero slacks: Different solutions to the same problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 145(1), pp. 129-147, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Weight restrictions, Non-radial models, Efficient facets analysis, Data Envelopment Analysis (DEA) |
31 | Marie-Laure Reinberger, Walter Daelemans |
Is Shallow Parsing Useful for Unsupervised Learning of Semantic Clusters? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003, Proceedings, pp. 304-313, 2003, Springer, 3-540-00532-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
selectional restrictions, co-composition, ontology, machine learning, Semantics, knowledge representation, text mining |
29 | D. 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](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 1538-1542, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Steven Schockaert, Martine De Cock |
Neighborhood restrictions in geographic IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 167-174, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy footprints, geographic information retrieval |
29 | Ma. 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](Pics/bibsonomy.png) |
CONIELECOMP ![In: 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005 - 1 March 2006, Cholula, Puebla, Mexico, pp. 45, 2006, IEEE Computer Society, 0-7695-2505-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
integrity, relational model, triggers |
29 | Aditya Ganjam, Hui Zhang 0001 |
Connectivity restrictions in overlay multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 14th International Workshop, NOSSDAV 2004, Cork, Ireland, June 16-18, 2004, Proceedings, pp. 54-59, 2004, ACM, 1-58113-801-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
peer-to-peer systems, firewall, overlay multicast, network address translator |
29 | Adrian K. Agogino, Kagan Tumer |
Team formation and communication restrictions in collectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 916-917, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
MAS, reinforcement learning, q-learning |
29 | Fabio Grandi 0001 |
On Expressive Description Logics with Composition of Roles in Number Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 202-215, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Arts, Juan José Sánchez Penas |
Global scheduler properties derived from local restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 49-57, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Hai Zhou 0001, Martin D. F. Wong, I-Min Liu, Adnan Aziz |
Simultaneous routing and buffer insertion with restrictions onbuffer locations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(7), pp. 819-824, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Magdalé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](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
27 | Jean 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](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
27 | Eduardo 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](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
26 | Jia Xu |
On Inspection and Verification of Software with Timing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(8), pp. 705-720, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
current practices, preruntime scheduling, verification, Real-time, complexity, predictability, software, code, inspection, software structures, restrictions, timing requirements |
26 | Pei-Chi Wu |
Using Plain Base32 ASCII-Compatible Encoding in the Local Part of E-mail Addresses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2002 Symposium on Applications and the Internet (SAINT 2002), 28 January - 1 February 2002, Nara City, Japan, Proceedings, pp. 214-219, 2002, IEEE Computer Society, 0-7695-1447-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Internationalized Domain Names (IDN), lexical restrictions, login names, base64, base32 |
26 | Salvador Lucas |
Needed Reductions with Context-Sensitive Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP/HOA ![In: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings, pp. 129-143, 1997, Springer, 3-540-63459-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
needed reductions, replacement restrictions, functional programming, strategies, term rewriting systems |
26 | Jürgen Schwille |
Modeling product and process characteristics in software configuration management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 25-32, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
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 |
26 | José 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](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 219-226, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Rainer Leupers, Peter Marwedel |
Time-constrained code compaction for DSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 54-59, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Tracy Camp, Phil Kearns, Mohan Ahuja |
Proof Rules for Flush Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(4), pp. 366-378, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Brent Hailpern, Harold Ossher |
Extending Objects to Support Multiple Interfaces and Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1247-1257, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
enforceable access restrictions, system organization, access control, data structures, object-oriented programming, browsing, objects, views, granularity, multiple interfaces |
26 | Michael V. Mannino, Injun Choi, Don S. Batory |
The Object-Oriented Functional Data Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1258-1272, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Xiuming Huang |
Semantic analysis in XTRA, an English - Chinese machine translation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 3(2), pp. 101-120, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
selection restrictions, Preference Semantics, integration of syntax and semantics, relaxation of constraints, robustness, Machine translation, Chinese, lexical ambiguity |
26 | Marco Colombetti, Enrico Pagello |
Programs, Computations and Temporal Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, pp. 237-243, 1976, Springer, 0-387-07854-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
Predicate-Logic-like Programming Language, Control Structures Temporal Features, Restrictions |
24 | Martin Hoefer 0001, Alexander Souza |
The Influence of Link Restrictions on (Random) Selfish Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory, First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings, pp. 22-32, 2008, Springer, 978-3-540-79308-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 303-317, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Sylvain 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](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 4-18, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Phi Anh Phan, Timothy J. Gale |
Direct Adaptive Fuzzy Control with Less Restrictions on the Control Gain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 168, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yevgeny Kazakov |
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 372-384, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Wojciech Rzasa, Zbigniew Suraj |
A New Method for Determining of Extensions and Restrictions of Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 197-204, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Gregory L. Katzman |
Adobe Acrobat: an alternative electronic teaching file construction methodology independent of HTML restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 14(1), pp. 9-13, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Nils Klarlund |
A Theory of Restrictions for Logics and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 406-417, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Tomoya Taka, Tadanori Mizuno, Takashi Watanabe 0001 |
A Model of Mobile Agent Services Enhanced for Resource Restrictions and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: International Conference on Parallel and Distributed Systems, ICPADS '98, Tainan, Taiwan, December 14-16, 1998, pp. 274-, 1998, IEEE Computer Society, 0-8186-8603-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Klingenbeck, Reiner Hähnle |
Semantic Tableaux with Ordering Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 708-722, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Chris Hanson, Tim Berners-Lee, Lalana Kagal, Gerald J. Sussman, Daniel J. Weitzner |
Data-Purpose Algebra: Modeling Data Usage Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna, Italy, pp. 173-177, 2007, IEEE Computer Society, 0-7695-2767-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Tichy, Daniela Schilling, Holger Giese |
Design of self-managing dependable systems with UML and fault tolerance patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSS ![In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004, pp. 105-109, 2004, ACM, 1-58113-989-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Basili 0001, Maria Teresa Pazienza, Paola Velardi |
Acquisition of selectional patterns in sublanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 8(3), pp. 175-201, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Joseph M. Hellerstein, Michael Stonebraker |
Predicate Migration: Optimizing Queries with Expensive Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 267-276, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SQL, C |
21 | V. J. de Jong |
Symbolic dimension bound checking in a matrix language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 73-80, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Cristina Rueda, Miguel Alejandro Fernández, Bonifacio Salvador |
Bayes Discriminant Rules with Ordered Predictors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Classif. ![In: J. Classif. 26(2), pp. 201-225, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Latent space, Misclassification probability, Order restrictions, Restricted estimation, Discriminant analysis |
21 | Kevin Wiesner, Marcus Foth, Mark Bilandzic |
Unleashing creative writers: situated engagement with mobile narratives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 21st Australasian Computer-Human Interaction Conference, OZCHI 2009: Open 24/7, Melbourne, Australia, November 23-27, 2009, pp. 373-376, 2009, ACM, 978-1-60558-854-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
placed-based community engagement, constraints, mobile interaction, restrictions, mobile media, locative media, urban informatics |
21 | Christina Alexandris |
"Show and Tell": Using Semantically Processable Prosodic Markers for Spatial Expressions in an HCI System for Consumer Complaints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III, pp. 13-22, 2007, Springer, 978-3-540-73108-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Prosodic prominence, Selectional Restrictions, Indexical Interpretation for Emphasis, Ambiguity resolution, Spatial Expressions, Ontology, Deixis |
21 | Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente |
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 29(1), pp. 59-89, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile |
21 | Ji-Cherng Lin, Tetz C. Huang |
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(8), pp. 742-754, 2003. The full citation details ...](Pics/full.jpeg) |
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 |
21 | Lidia Angulo Meza, Marcos Pereira Estellita Lins |
Review of Methods for Increasing Discrimination in Data Envelopment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 225-242, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
weight restrictions, Value Efficiency Analysis, cross-evaluation, super efficiency, multiple objectives model, Data Envelopment Analysis |
21 | Moni Naor, Leonard J. Schulman, Aravind Srinivasan |
Splitters and Near-Optimal Derandomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 182-191, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
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 |
21 | Hans L. Bodlaender |
Dynamic Programming on Graphs with Bounded Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 105-118, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
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 |
19 | Wentian Lu, Gerome Miklau |
Auditing a Database under Retention Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 42-53, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Franz 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](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 49-64, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Cheran M. Vithanage, Justin P. Coon, Steve C. J. Parker |
On capacity-optimal precoding for multiple antenna systems subject to EIRP restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(12-2), pp. 5182-5187, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Nilay Noyan, Andrzej Ruszczynski |
Valid inequalities and restrictions for stochastic programming problems with first order stochastic dominance constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 114(2), pp. 249-275, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Disjunctive cuts, Stochastic programming, Valid inequalities, Conditional value at risk, Stochastic dominance |
19 | Sebastian Rudolph |
Acquiring Generalized Domain-Range Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 32-45, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Emrah 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](Pics/bibsonomy.png) |
IEA/AIE ![In: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings, pp. 337-346, 2008, Springer, 978-3-540-69045-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Machine eligibility, Lagrangian relaxation, Resource constraints, Parallel machine scheduling, Subgradient optimization |
19 | Carlos 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](Pics/bibsonomy.png) |
ICIP (5) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 445-448, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Gambette, Stéphane Vialette |
On Restrictions of Balanced 2-Interval Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers, pp. 55-65, 2007, Springer, 978-3-540-74838-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
2-interval graphs, graph classes, quasi-line graphs, circular interval graphs, scheduling, bioinformatics, line graphs, claw-free graphs |
19 | Geir Dahl, Njål Foldnes |
LP based heuristics for the multiple knapsack problem with assignment restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 146(1), pp. 91-104, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Randomized rounding, Traffic routing, Multiple knapsack problem |
19 | Masaaki Harada, Akihiro Munemasa |
Some restrictions on weight enumerators of singly even self-dual codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(3), pp. 1266-1269, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ioannis T. Kassios |
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 268-283, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object orientation, framing |
19 | Xin 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](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2005 International Symposium on Physical Design, ISPD 2005, San Francisco, California, USA, April 3-6, 2005, pp. 175-182, 2005, ACM, 1-59593-021-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RDR, RET-driven layout, restrictive design rules, technology migration |
19 | Linda Smail, Jean-Pierre Raoult |
Successive Restrictions Algorithm in Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis VI, 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings, pp. 409-418, 2005, Springer, 3-540-28795-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Luis 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](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005, Proceedings, pp. 215-229, 2005, Springer, 3-540-25295-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Apostolos Niaouris |
An Algebra of Petri Nets with Arc-Based Time Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 447-462, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras |
19 | Hong Liu 0008, Hongbin Zha, Fei Lin |
Competition analysis system for soccer robots based on global vision and trajectory restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5296-5300, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Gustav Hast |
Approximating Max kCSP Using Random Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization, Algorithms and Techniques, 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004, Proceedings, pp. 151-162, 2004, Springer, 3-540-22894-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Laura C. Rivero, Jorge Horacio Doorn, Viviana E. Ferraggine |
Elicitation and conversion of hidden objects and restrictions in a database schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 463-469, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
database conceptual schema reengineering, denormalization, pure inclusion dependencies |
19 | Nathan Segerlind, Samuel R. Buss, Russell Impagliazzo |
A Switching Lemma for Small Restrictions and Lower Bounds for k - DNF Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 604-, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes |
Assessment of Selection Restrictions Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings, pp. 407-417, 2002, Springer, 3-540-00124-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Arnold Beckmann |
Resolution Refutations and Propositional Proofs with Height-Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 599-612, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
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 |
19 | Hana Chockler, Uri Zwick |
Which formulae shrink under random restrictions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, January 7-9, 2001, Washington, DC, USA., pp. 702-708, 2001, ACM/SIAM, 0-89871-490-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Said 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](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(5), pp. 487-498, 2000. The full citation details ...](Pics/full.jpeg) |
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 |
19 | René Alquézar, Francesc Serratosa, Alberto Sanfeliu |
Distance between Attributed Graphs and Function-Described Graphs Relaxing 2nd Order Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante, Spain, August 30 - September 1, 2000, Proceedings, pp. 277-286, 2000, Springer, 3-540-67946-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Said Hamdioui, Ad J. van de Goor |
Consequences of port restrictions on testing two-port memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 63-72, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
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 |
19 | Hans Daduna |
On the stability of queueing systems under precedence restrictions for the service of customers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 17(1-2), pp. 73-88, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Stability theory, ergodic theory, parallel processing, database concurrency control |
19 | Andrea Bobbio, Miklós Telek |
Computational Restrictions for SPN with Generally Distributed Transition Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings, pp. 131-148, 1994, Springer, 3-540-58426-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Giuseppe De Giacomo, Maurizio Lenzerini |
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 332-346, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Sergei I. Kovalov |
Some restrictions on distance distribution of optimal binary codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Coding ![In: Algebraic Coding, First French-Israeli Workshop, Paris, France, July 19-21, 1993, Proceedings, pp. 249-252, 1993, Springer, 3-540-57843-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Richard Hull 0001, Jianwen Su |
On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 147-158, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Friedhelm Meyer auf der Heide |
Fast algorithms for N-dimensional restrictions of hard problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 35(3), pp. 740-747, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011, Innsbruck, Austria, June 15-17, 2011, Proceedings, pp. 143-144, 2011, ACM, 978-1-4503-0688-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Aranda, Frank D. Valencia, Cristian Versari |
On the Expressive Power of Restriction and Priorities in CCS with Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 242-256, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Shuvendu K. Lahiri, Shaz Qadeer |
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 214-229, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | UmaMaheswari C. Devi, James H. Anderson |
A schedulable utilization bound for the multiprocessor EPDF\mathsf{EPDF} Pfair algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 38(3), pp. 237-288, 2008. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|