The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for justification with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1976 (18) 1978-1984 (16) 1985-1987 (15) 1988-1989 (15) 1990-1991 (27) 1992-1993 (25) 1994 (20) 1995-1996 (36) 1997 (28) 1998 (19) 1999 (27) 2000 (38) 2001 (49) 2002 (40) 2003 (48) 2004 (70) 2005 (77) 2006 (74) 2007 (81) 2008 (88) 2009 (56) 2010 (30) 2011 (25) 2012 (22) 2013 (25) 2014 (37) 2015 (24) 2016 (29) 2017 (25) 2018 (41) 2019 (33) 2020 (42) 2021 (42) 2022 (34) 2023 (37) 2024 (7)
Publication types (Num. hits)
article(570) book(2) incollection(13) inproceedings(726) phdthesis(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 700 occurrences of 591 keywords

Results
Found 1320 publication records. Showing 1320 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Xinghao Chen 0003, Michael L. Bushnell Sequential circuit test generation using dynamic justification equivalence. Search on Bibsonomy J. Electron. Test. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF search decision spaces, test generation efficiency, automatic test pattern generation, stuck-at faults, justification
89Sergei N. Artëmov, Elena Nogina Topological Semantics of Justification Logic. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic
76Samuel R. Buss, Roman Kuznets The NP-Completeness of Reflected Fragments of Justification Logics. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
76Melvin Fitting Justification logics, logics of knowledge, and conservativity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
67Sergei N. Artëmov, Elena Nogina On epistemic logic with justification. Search on Bibsonomy TARK The full citation details ... 2005 DBLP  BibTeX  RDF
67Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Speculative Beats Conservative Justification. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
63Clément Duffau Justification Factory: de l'élicitation d'exigences de justification jusqu'à leur production en continu. (Justification Factory: from justification requirements elicitation to their continuous production). Search on Bibsonomy 2018   RDF
59Giovanni Guida, Marina Zanella Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. Search on Bibsonomy ICECCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
50Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Online Justification for Tabled Logic Programs. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Paul Tafertshofer, Andreas Ganz SAT based ATPG using fast justification and propagation in the implication graph. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Tatiana Yavorskaya Interacting Explicit Evidence Systems. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Justification logic, Explicit evidence, Logic of proofs, Epistemic logic, Multi-modal logic
47Peter J. Graham The theoretical diagnosis of skepticism. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Skepticism, Epistemic Justification, Reliabilism, Michael Williams, Contextualism
47Jaap Hage Law and Defeasibility. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2003 DBLP  DOI  BibTeX  RDF defeasibility, legal justification, non-monotonic logic
46Jeanne Peijnenburg, David Atkinson Probabilistic Justification and the Regress Problem. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Probabilistic justification, regress problem, foundationalism, infinitism
46Yiorgos Makris, Alex Orailoglu RTL Test Justification and Propagation Analysis for Modular Designs. Search on Bibsonomy J. Electron. Test. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF RTL testability analysis, test justification, test propagation, DFT, modular design
42Hidenori Kurokawa Tableaux and Hypersequents for Justification Logic. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Omar El-Khatib, Enrico Pontelli, Tran Cao Son Justification and debugging of answer set programs in ASP. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF small answer set programming, logic programming, justifications
42Paul Tafertshofer, Andreas Ganz, Kurt Antreich IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Robert Audi The ethics of belief: doxastic self-control and intellectual virtue. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Doxastic voluntarism, Intellectual virtue, Self-control, Testimony, Reasons, Knowledge, Evidence, Belief, Grounds, Justification
39Srimat T. Chakradhar, Vijay Gangaram, Steven G. Rothweiler Deriving Signal Constraints to Accelerate Sequential Test Generation. Search on Bibsonomy VLSI Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF sequential test generation algorithm acceleration, signal constraints, large sequential circuits, deterministic sequential test generation, signal constraint computation technique, line probabilities, line justification techniques, benchmark sequential circuits, test generation time reduction, production sequential circuits, 3-valued signal probabilities, fault diagnosis, fault coverage, symbolic simulation, truth table
37Sarah Diefenbach, Marc Hassenzahl Give me a reason: hedonic product choice and justification. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hedonic quality, product choice, user experience, ux, justification
34Roman Kuznets Self-referentiality of Justified Knowledge. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Enrico Pontelli, Tran Cao Son Justifications for Logic Programs Under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Jaehong Park, M. Ray Mercer Using Functional Information and Strategy Switching in Sequential ATPG. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
33Ruey Long Cheu, Hung T. Nguyen 0002, Tanja Magoc, Vladik Kreinovich Logit discrete choice model: a new distribution-free justification. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Bryan Renne Evidence elimination in multi-agent justification logic. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Justification-Based Local Search with Adaptive Noise Strategies. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Claudia Bianchi, Nicla Vassallo Meaning, Contexts and Justification. Search on Bibsonomy CONTEXT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas Justification of Smart Sensors for Nuclear Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Zahir Irani The Difficulties of IT/IS Investment Justification: An Interpretivist Empirical Case Study. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Investment decision making, MRPII benefits, MRPII Costs, Taxonomies
32Quynh Anh Do Hoang Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l'humain. (Analysis and justification of the safety of robotic systems by physical interaction with humans). Search on Bibsonomy 2015   RDF
32Henry L. Owen Synchronous digital hierarchy byte pointer justification versus VC-12 payload bit justification effects. Search on Bibsonomy Eur. Trans. Telecommun. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Richard Feldman Modest deontologism in epistemology. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Epistemic deontologism, Belief control, Epistemic evaluation, Justification
30Colleen Pettit Jones, Susan J. Robinson, Nick Sabadosh, David Bishop, Sanjay Koyani How can rhetoric and argumentation help us make the case for UCD? Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF context, argumentation, ethics, strategy, ROI, persuasion, return on investment, rhetoric, justification
30Toshinori Hosokawa, Toshihiro Hiraoka, Mitsuyasu Ohta, Michiaki Muraoka, Shigeo Kuninobu A Partial Scan Design Method Based on n-Fold Line-up Structures. Search on Bibsonomy Asian Test Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF n-fold line-up structure, dynamic test sequence compaction, flip-flop of load/hold type, fault efficiency, state justification, partial scan
30Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs Identification of unsettable flip-flops for partial scan and faster ATPG. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF ISCAS89 circuits, deterministic test generation, difficult-to-set hip-hops, hip-hops, state elements, state justification, transformed circuits, unsettable flip-flops identification, logic testing, ATPG, partial scan, sequential circuits test generation
30Watts S. Humphrey CASE planning and the software process. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF process maturity model, economic justification, software teams, management, planning, software, process, case, improvement
26Michael J. Wooldridge, Peter McBurney, Simon Parsons On the Meta-logic of Arguments. Search on Bibsonomy ArgMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Michael J. Wooldridge, Peter McBurney, Simon Parsons On the meta-logic of arguments. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF meta-level reasoning, multi-agent systems, knowledge representation, argumentation
26Victor Shoup OAEP Reconsidered. Search on Bibsonomy J. Cryptol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ganapathy Parthasarathy, Madhu K. Iyer, Tao Feng 0012, Li-C. Wang, Kwang-Ting Cheng, Magdy S. Abadir Combining ATPG and Symbolic Simulation for Efficient Validation of Embedded Array Systems. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Victor Shoup OAEP Reconsidered. Search on Bibsonomy CRYPTO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel Dynamic state traversal for sequential circuit test generation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF finite-state-machine traversal, simulation-based, genetic algorithms, testing, sequential circuits, automatic test pattern generation (ATPG)
26Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen Identifying invalid states for sequential circuit test generation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel Sequential circuit test generation using dynamic state traversal. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Thomas R. Gruber Learning Why by Being Told What: Interactive Acquisition of Justifications. Search on Bibsonomy IEEE Expert The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Abhijit Ghosh, Srinivas Devadas, A. Richard Newton Sequential Test Generation at the Register-Transfer and Logic Levels. Search on Bibsonomy DAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Ludwig Fuchs, Christian Broser, Günther Pernul Different Approaches to In-House Identity Management - Justification of an Assumption. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens Clear justification of modeling decisions for goal-oriented requirements engineering. Search on Bibsonomy Requir. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clarification, Argumentation, Goal modeling, Goal-oriented requirements engineering
24Sergei N. Artëmov Justification Logic. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Stefania Costantini, Arianna Tocchio, Panagiota Tsintza Contracts Violation: Justification via Argumentation. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24James A. Marcum Experimental Series and the Justification of Temin's DNA Provirus Hypothesis. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Francesco Gagliardi 0001 Epistemological Justification of Test Driven Development in Agile Processes. Search on Bibsonomy XP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Falsificationism, Modus Tollens, Software Testing, TDD, Epistemology, Agile Programming
24Ningxiong Xu, Linda K. Nozick, Orr Bernstein, Dean A. Jones Stochastic rollout and justification to solve the resource-constrained project scheduling problem. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24José Daniel García, Jesús Carretero 0001, Félix García 0002, Javier Fernández 0001, Alejandro Calderón 0001, David E. Singh A Quantitative Justification to Partial Replication of Web Contents. Search on Bibsonomy ICCSA (4) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Tuan-Fang Fan, Duen-Ren Liu, Churn-Jung Liau Justification and Hypothesis Selection in Data Mining. Search on Bibsonomy Foundations of Data Mining and knowledge Discovery The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Jürgen Schmidhuber Gödel Machines: Towards a Technical Justification of Consciousness. Search on Bibsonomy Adaptive Agents and Multi-Agent Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Ambedkar Dukkipati, M. Narasimha Murty, Shalabh Bhatnagar Information theoretic justification of Boltzmann selection and its generalization to Tsallis case. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Pedro A. Diaz-Gomez, Dean F. Hougen Analysis and mathematical justification of a fitness function used in an intrusion detection system. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF genetic algorithms, intrusion detection systems, fitness function
24Gyutai Kim, Yun Bae Kim A Simulation-Based Investment Justification for an Advanced Manufacturing Technology with Real Options. Search on Bibsonomy AsiaSim The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Santiago Ontañón, Enric Plaza Justification-Based Selection of Training Examples for Case Base Reduction. Search on Bibsonomy ECML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Case Base Management, Case Base Reduction, CBR
24Santiago Ontañón, Enric Plaza Justification-Based Case Retention. Search on Bibsonomy ECCBR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Gary Livingston, John M. Rosenberg, Bruce G. Buchanan An Agenda- and Justification-Based Framework for Discovery Systems. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Autonomous data mining, Architecture, Heuristics, Discovery
24Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Online Justification for Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Justification Based on Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Djoerd Hiemstra A probabilistic justification for using tf x idf term weighting in information retrieval. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Information retrieval theory, Statistical information retrieval, Statistical natural language processing
24Mark Levene, Millist W. Vincent Justification for Inclusion Dependency Normal Form. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Relational database design, functional dependency, normal forms, inclusion dependency
24Zonglin Zhou, Stan Z. Li, Kap Luk Chan A Theoretical Justification of Nearest Feature Line Method. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Shuxiang Xu, Ming Zhang Justification of a Neuron-Adaptive Activation Function. Search on Bibsonomy IJCNN (3) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Yiorgos Makris, Alex Orailoglu DFT guidance through RTL test justification and propagation analysis. Search on Bibsonomy ITC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Or Biran, Owen Rambow Identifying Justifications in Written Dialogs. Search on Bibsonomy ICSC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF written dialog, rst, blogs, argumentation, discourse, justification
22Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg A decision support system for secure information sharing. Search on Bibsonomy SACMAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF flexible information sharing, justification for non-shareability, semantic reasoner, description logic
22Abedelaziz Mohaisen, Ik Rae Jeong, Dowon Hong, Nam-Su Jho, DaeHun Nyang Data Randomization for Lightweight Secure Data Aggregation in Sensor Network. Search on Bibsonomy UIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data randomization, experimental justification, security, sensor network, data aggregation, computation efficiency
22Quoc Bao Vo, Norman Y. Foo, Joe Thurbon Semantics for a theory of defeasible reasoning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF argument-based systems, argumentation-theoretic semantics, defeat, justification, defeasible reasoning
22Susan M. Dray, Clare-Marie Karat, Daniel Rosenberg, David A. Siegel, Dennis R. Wixon Is ROI an effective approach for persuading decision-makers of the value of user-centered design? Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cost-justification, ROI, return on investment, UCD
22Susan A. Sherer, Manash R. Ray, Naser M. Chowdhury Assessing Information Technology Investments with an Integrative Process Framework. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF IT justification, responsibility gap, IT benefits, IT investment
22Ravi S. Sharma 0001, David W. Conrath Evaluating expert systems: a review of applicable approaches. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF impact and justification of AI systems, performance measurement, knowledge engineering
22Amitava Dutta, Sabyasachi Mitra Integrating Heuristic Knowledge and Optimization Models for Communications Network Design. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF communication network design, heuristic design knowledge, TMS, dependency-directed backtracking mechanism, hybrid tool, modular structure, incremental refinement, truth maintenance, CAD, knowledge based systems, decision support systems, computer networks, telecommunications computing, optimization models, blackboard, blackboard architecture, justification, topological design, truth maintenance system, computer communication networks
22Gerald M. Berns Description of FORMAT, a text-processing program. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF frequency dictionary, right justification, indexing, documentation, printing, text processing, formatting, vocabulary, text editing
17Sergei N. Artëmov, Roman Kuznets Logical omniscience as a computational complexity problem. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Sathish Ramani, Dimitri Van De Ville, Thierry Blu, Michael Unser Nonideal Sampling and Regularization Theory. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Matthew Horridge, Bijan Parsia, Ulrike Sattler Laconic and Precise Justifications in OWL. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Melvin Fitting S4LPand Local Realizability. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Loganathan Lingappan, Niraj K. Jha Satisfiability-Based Automatic Test Program Generation and Design for Testability for Microprocessors. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Katie Atkinson, Trevor J. M. Bench-Capon Argumentation and standards of proof. Search on Bibsonomy ICAIL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF standards of proof, argumentation, legal reasoning, purposes
17Ivan Jureta, Stéphane Faulkner Tracing the Rationale Behind UML Model Change Through Argumentation. Search on Bibsonomy ER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Carsten Sinz Compressing Propositional Proofs by Common Subproof Extraction. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. Search on Bibsonomy SNC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method
17Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney Computational Representation of Practical Argument. Search on Bibsonomy Synth. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Loganathan Lingappan, Srivaths Ravi 0001, Niraj K. Jha Satisfiability-based test generation for nonseparable RTL controller-datapath circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Yu Sun 0005, Yuefei Sui Default Description Logics with Reversing Inference Rules. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Tatiana Yavorskaya Multi-agent Explicit Knowledge. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Eugene Goldberg Determinization of Resolution by an Algorithm Operating on Complete Assignments. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Zhangang Lin, Yue Ma 0009, Zuoquan Lin A Fault-Tolerant Default Logic. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Hui Chao Text block geometric shape analysis. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2006 DBLP  DOI  BibTeX  RDF document geometric layout analysis, template creation, page segmentation
17Kedar S. Namjoshi An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Michael Backes 0001, Birgit Pfitzmann, Michael Waidner Low-Level Ideal Signatures and General Integrity Idealization. Search on Bibsonomy ISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Arend Soeteman Legal logic? Or can we do without? Search on Bibsonomy Artif. Intell. Law The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting Cheng SATORI - A Fast Sequential SAT Engine for Circuits. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1320 (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