Search results for "Justification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Karl Branting, James C. Lester	Justification Structures for Document Reuse.	EWCBR	1996	DBLP DOI BibTeX RDF
16	Simon Robert Smith	Formal justification in requirements engineering.		1996	RDF
16	Timothy R. Colburn	Heuristics, justification, and defeasible reasoning.	Minds Mach.	1995	DBLP DOI BibTeX RDF
16	Susan Bridges	A model for justification production by expert planning systems.	Int. J. Hum. Comput. Stud.	1995	DBLP DOI BibTeX RDF
16	Taner Bilgiç, I. Burhan Türksen	Measurement-theoretic justification of connectives in fuzzy set theory.	Fuzzy Sets Syst.	1995	DBLP DOI BibTeX RDF
16	Jaehong Park, Chanhee Oh, M. Ray Mercer	Improved sequential ATPG using functional observation information and new justification methods.	ED&TC	1995	DBLP DOI BibTeX RDF
16	Insung Park, Dong Sam Ha, Gyoochan Sim	A New Method for Partial Scan Design Based on Propagation and Justification Requirements of Faults.	ITC	1995	DBLP DOI BibTeX RDF
16	Manfred Jaeger	Minimum Cross-Entropy Reasoning: A Statistical Justification.	IJCAI	1995	DBLP BibTeX RDF
16	Eunok Paek	A justification-based approach to causal reasoning.	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
16	Millist W. Vincent, Bala Srinivasan 0002	Update Anomalies and the Justification for 4NF in Relational Databases.	Inf. Sci.	1994	DBLP DOI BibTeX RDF
16	John L. Pollock	Justification and Defeat.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
16	Glenn T. Jayaputera, K. E. Cheng	SOFTEAM: A Design History and Justification Maintenance Tool.	Aust. Comput. J.	1994	DBLP BibTeX RDF
16	Robert F. Hadley	Justification, Probability, and Consistency.	Comput. Intell.	1994	DBLP DOI BibTeX RDF
16	George Haramis	General Aspects of an Information System (IS) for Financial Justification of Investments in Tourism Marketing Information Systems (TMIS's) Development.	ENTER	1994	DBLP DOI BibTeX RDF
16	Gerhard Schurz	Probabilistic Justification of Default Reasoning.	KI	1994	DBLP DOI BibTeX RDF
16	Millist W. Vincent, Bala Srinivasan 0002	Key-Based Update Anomalies and the Justification for 4NF in Database Design.	Australasian Database Conference	1994	DBLP BibTeX RDF
16	Jie Yang 0002	Prioritized justification based nonmonotonic logic and its applications.		1994	RDF
16	Qingfang Chen, Daozheng Wei	DLJ: A dynamic line-justification algorithm for test generation.	J. Comput. Sci. Technol.	1993	DBLP DOI BibTeX RDF
16	Gheorghe Tecuci	Plausible Justification Trees: A Framework for Deep and Dynamic Integration of Learning Strategies.	Mach. Learn.	1993	DBLP DOI BibTeX RDF
16	Millist W. Vincent, Bala Srinivasan 0002	Redundancy and the Justification for Fourth Normal Form in Relational Databases.	Int. J. Found. Comput. Sci.	1993	DBLP DOI BibTeX RDF
16	Marc Denecker, Danny De Schreye	Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs.	LPNMR	1993	DBLP BibTeX RDF
16	Eun Sei Park, M. Ray Mercer	Switch-Level ATPG Using Constraint-Guided Line Justification.	ITC	1993	DBLP DOI BibTeX RDF
16	Philippe Smets	Quantifying Beliefs by Belief Functions: An Axiomatic Justification.	IJCAI	1993	DBLP BibTeX RDF
16	Michael D. Wolfe	A theoretical justification for Japanese nemawashi / ringi group decision making and an implementation of a nemawashi / ringi group decision support system.	Decis. Support Syst.	1992	DBLP DOI BibTeX RDF
16	Frank Klawonn, Erhard Schwecke	On the axiomatic justification of Dempster's rule of combination.	Int. J. Intell. Syst.	1992	DBLP DOI BibTeX RDF
16	T. Yung Kong, Jayaram K. Udupa	A justification of a fast surface tracking algorithm.	CVGIP Graph. Model. Image Process.	1992	DBLP DOI BibTeX RDF
16	Ana Cristina Bicharra Garcia, H. Craig Howard	Acquiring design knowledge through design decision justification.	Artif. Intell. Eng. Des. Anal. Manuf.	1992	DBLP DOI BibTeX RDF
16	Ashwin Srinivasan 0001, Stephen H. Muggleton, Michael Bain 0001	The Justification of Logical Theories based on Data Compression.	Machine Intelligence 13	1992	DBLP BibTeX RDF
16	Frans Voorbraak	On the Justification of Dempster's Rule of Combination.	Artif. Intell.	1991	DBLP DOI BibTeX RDF
16	Dorothea Blostein, Lippold Haken	Justification of Printed Music.	Commun. ACM	1991	DBLP DOI BibTeX RDF
16	Jeffrey C. Schlimmer, Tom M. Mitchell, John P. McDermott	Justification-Based Refinement of Expert Knowledge.	Knowledge Discovery in Databases	1991	DBLP BibTeX RDF
16	Ryohei Orihara	Analogical reasoning as a form of hypothetical reasoning and justification-based knowledge acquisition.	ALT	1991	DBLP BibTeX RDF
16	Eunok Paek	A justification-based theory of explanation.		1991	RDF
16	Malay K. Kundu, Sankar K. Pal	Automatic selection of object enhancement operator with quantitative justification based on fuzzy set theoretic measures.	Pattern Recognit. Lett.	1990	DBLP DOI BibTeX RDF
16	Wayne D. Grover, Witold A. Krzymien	A proposal to use the justification bits of a DS-3 stream for signaling.	IEEE Trans. Commun.	1990	DBLP DOI BibTeX RDF
16	Jun Arima	Analog by Simulation - A Weak Justification Method (Preliminary Report).	ALT	1990	DBLP BibTeX RDF
16	B. Cohen	Justification of formal methods for system specification.	Softw. Eng. J.	1989	DBLP DOI BibTeX RDF
16	Nicole Bidoit, Richard Hull 0001	Minimalism, Justification and Non-Monotonicity in Deductive Databases.	J. Comput. Syst. Sci.	1989	DBLP DOI BibTeX RDF
16	Michael R. Wick, James R. Slagle	The partitioned support network for expert system justification.	IEEE Trans. Syst. Man Cybern.	1989	DBLP DOI BibTeX RDF
16	Lawrence Birnbaum, Gregg Collins, Bruce Krulwich	Issues in the Justification-Based Diagnosis of Planning Failures.	ML	1989	DBLP BibTeX RDF
16	Yvon Maday, Rafael Muñoz	Spectral element multigrid. II. Theoretical justification.	J. Sci. Comput.	1988	DBLP DOI BibTeX RDF
16	N. G. de Bruijn	The use of justification systems for integrated semantics.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF
16	Cliff B. Jones	VDM Proof Obligations and their Justification.	VDM Europe	1987	DBLP DOI BibTeX RDF
16	Leon S. Levy	A Metaprogramming Method and Its Economic Justification.	IEEE Trans. Software Eng.	1986	DBLP DOI BibTeX RDF
16	Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli	New Front-End and Line Justification Algorithm for Automatic Test Generation.	ITC	1986	DBLP BibTeX RDF
16	James W. Cortada	Managing DP Hardware: Capacity Planning, Cost Justification, Availability, and Energy Management (Englewood Cliffs, N.J.: Prentice-Hall, Inc., 1983).	Int. CMG Conference	1985	DBLP BibTeX RDF
16	Antanas Zilinskas	On justification of use of stochastic functions for multimodal optimization models.	Ann. Oper. Res.	1984	DBLP DOI BibTeX RDF
16	Jack D. Tubbs	A note on the justification of landsat data transformations.	Pattern Recognit.	1984	DBLP DOI BibTeX RDF
16	Luiz Ary Messina	Justification of CAD systems.	Comput. Graph.	1984	DBLP DOI BibTeX RDF
16	M. F. Smith 0001	Modular hardware of reduced performance for dedicated microprocessor applications: examples and justification.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
16	Henry C. Co, Jianhua Liu	Simulation and decision analysis in FMS justification.	WSC	1984	DBLP BibTeX RDF
16	Beverly J. Wolfe, Mark A. Christobek	A simulation for the justification and planning of a continuous slab caster.	WSC	1984	DBLP BibTeX RDF
16	Krzysztof R. Apt	Formal Justification of a Proof System for Communicating Sequential Processes	J. ACM	1983	DBLP DOI BibTeX RDF
16	B. Cohen	Justification of formal methods for system specification.	Softw. Microsystems	1982	DBLP DOI BibTeX RDF
16	John T. Kearns	A more satisfactory description of the semantics of justification.	Notre Dame J. Formal Log.	1981	DBLP DOI BibTeX RDF
16	Alison M. Pringle	Justification with Fewer Hyphens.	Comput. J.	1981	DBLP DOI BibTeX RDF
16	R. E. Powell	Justification and financial analysis for CAD.	DAC	1980	DBLP DOI BibTeX RDF
16	Ronald D. Gordon	A Qualitative Justification for a Measure of Program Clarity.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
16	Laurent Sikóssy	Impertinent Question-Answering Systems: justification and theory.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Artificial intelligence, User model, Discontinuity, Question answering systems, Data base management systems, User goals
16	Edgar H. Sibley	Economic Justification of an OSCL/OSRL.	ACM SIGOPS Oper. Syst. Rev.	1976	DBLP DOI BibTeX RDF
16	Ross T. Newkirk, James K. Mullin	Simulated demand in large-scale batch processor acquisitions: Role and justification.	ANSS	1974	DBLP BibTeX RDF
16	Richard B. Freibrux	Effective planning for and justification of the extension of data processing in hospitals.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
16	Charles E. Radke	A justification of, and an improvement on, a useful rule for predicting circuit-to-pin ratios.	DAC	1969	DBLP DOI BibTeX RDF
16	George Z. Kunkel	A computer-assisted page composing system: featuring hyphenless justification.	AFIPS Fall Joint Computing Conference	1966	DBLP DOI BibTeX RDF
16	Paul C. Gilmore	A Proof Method for Quantification Theory: Its Justification and Realization.	IBM J. Res. Dev.	1960	DBLP DOI BibTeX RDF
9	Jorge Ortiz 0001, David E. Culler	Multichannel reliability assessment in real world WSNs.	IPSN	2010	DBLP DOI BibTeX RDF	sensor network, routing, wireless, link, multichannel
9	Mojtaba Shahin, Peng Liang 0001, Mohammad Reza Khayyambashi	Rationale visualization of software architectural design decision using compendium.	SAC	2010	DBLP DOI BibTeX RDF	compendium tool, design rationale, architectural design decision
9	David Ginat	Impasse, Conflict, and Learning of CS Notions.	ISSEP	2010	DBLP DOI BibTeX RDF	Impasse, Recursion, Induction, Conflict, Rigor
9	Cuiping Li 0001, Jiawei Han 0001, Guoming He, Xin Jin 0001, Yizhou Sun, Yintao Yu, Tianyi Wu	Fast computation of SimRank for static and dynamic information networks.	EDBT	2010	DBLP DOI BibTeX RDF	graph, similarity measure, information network, SimRank
9	Ioannis A. Raptis, Kimon P. Valavanis, Abraham Kandel, Wilfrido Alejandro Moreno	System Identification for a Miniature Helicopter at Hover Using Fuzzy Models.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Takagi-Sugeno fuzzy systems, Unmanned helicopter, Estimation, Identification
9	Ryan T. Anderson, Girish Chowdhary 0001, Eric N. Johnson	Comparison of RBF and SHL Neural Network Based Adaptive Control.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	SHL, MRAC, Neural network, RBF, Adaptive control, Comparison
9	Conor Nugent, Dónal Doyle, Padraig Cunningham	Gaining insight through case-based explanation.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Keyword Case-based explanation
9	Jon G. Elerath, Michael G. Pecht	A Highly Accurate Method for Assessing Reliability of Redundant Arrays of Inexpensive Disks (RAID).	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
9	Tapan P. Bagchi	Models for software defects and testing strategies.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	SW testing, imperfect inspection, type I and type II errors, software engineering, defect modeling
9	Jon M. Kleinberg, Aleksandrs Slivkins, Tom Wexler	Triangulation and embedding using small sets of beacons.	J. ACM	2009	DBLP DOI BibTeX RDF	Distributed algorithms, embeddings, triangulation, metric spaces, doubling dimension
9	Ruben Juanes, Sébastien F. Matringe	Unified Formulation for High-Order Streamline Tracing on Two-Dimensional Unstructured Grids.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Streamline methods, Streamline tracing, Stream function, Darcy flow, Petroleum reservoir simulation, Mixed finite elements, Groundwater
9	Ren-June Wang	Knowledge, Time, and Logical Omniscience.	WoLLIC	2009	DBLP DOI BibTeX RDF
9	Marie-Hélène Gorisse	The Art of Non-asserting: Dialogue with Nagarjuna.	ICLA	2009	DBLP DOI BibTeX RDF
9	John Harrison 0001	Without Loss of Generality.	TPHOLs	2009	DBLP DOI BibTeX RDF
9	Dongjun Lee	Extension of colgate's passivity condition for variable-rate haptics.	IROS	2009	DBLP DOI BibTeX RDF
9	Florian Kerschbaum, Daniel Dahlmeier, Axel Schröpfer, Debmalya Biswas	On the practical importance of communication complexity for secure multi-party computation protocols.	SAC	2009	DBLP DOI BibTeX RDF	synchronization, performance measurement, experimentation, secure multi-party computation
9	Dmitry Chistilin	The Main Principles of Simulation Modeling of the Sustainable Development Complexes System: Case of World Economy.	Complex (2)	2009	DBLP DOI BibTeX RDF	the self-organization, global system, sustainable development
9	Jean-Gabriel Ganascia	AI Viewed as a "Science of the Culture".	KI	2009	DBLP DOI BibTeX RDF
9	Tossapon Boongoen, Qiang Shen 0001	Intelligent hybrid approach to false identity detection.	ICAIL	2009	DBLP DOI BibTeX RDF	false identity detection, terrorist data, link analysis, hybrid algorithm
9	Sandra António, João Araújo 0001, Carla T. L. L. Silva	Adapting the i* Framework for Software Product Lines.	ER Workshops	2009	DBLP DOI BibTeX RDF	i* Framework, Requirements Engineering, Software Product Line, Feature Model, Goal-Oriented Approach
9	Jerry Scripps, Pang-Ning Tan, Abdol-Hossein Esfahanian	Measuring the effects of preprocessing decisions and network forces in dynamic network analysis.	KDD	2009	DBLP DOI BibTeX RDF	data mining, networks, dynamic networks
9	Mikhail Krivenko, Vitaly Vasilyev	Sequential latent semantic indexing.	KDD Workshop on Data Mining using Matrices and Tensors	2009	DBLP DOI BibTeX RDF	clustering, latent semantic indexing, matrix approximation
9	Christopher T. Johnston, Paul J. Lyons, Donald G. Bailey	User evaluation and overview of a visual language for real time image processing on FPGAs.	CHINZ	2009	DBLP DOI BibTeX RDF	FPGA, image processing, visual programming language, HDL
9	Jerry Overton, Jon G. Hall, Lucia Rapanotti, Yijun Yu	Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
9	David Allenotor, Ruppa K. Thulasiram, Parimala Thulasiraman	A novel application of option pricing to distributed resources management.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Yunhui He	Modified Generalized Discriminant Analysis Using Kernel Gram-Schmidt Orthogonalization in Difference Space for Face Recognition.	WKDD	2009	DBLP DOI BibTeX RDF
9	Nafeesa Bohra, Hermann de Meer, Aftab Ahmad Memon	Analysing the Orbital Movement and Trajectory of LEO (Low Earth Orbit) Satellite Relative to Earth Rotation.	PSATS	2009	DBLP DOI BibTeX RDF	Orbital movement, Trajectory, LEOs
9	David Eppstein, Michael T. Goodrich, Lowell Trott	Going off-road: transversal complexity in road networks.	GIS	2009	DBLP DOI BibTeX RDF	edge crossings, multiscale-dispersed graphs, ray-shooting data structures, road networks, geometric graphs, line transversals
9	Joost van Beusekom, Faisal Shafait, Thomas M. Breuel	Automatic Line Orientation Measurement for Questioned Document Examination.	IWCF	2009	DBLP DOI BibTeX RDF
9	Panagiotis Symeonidis, Alexandros Nanopoulos, Yannis Manolopoulos	MoviExplain: a recommender system with explanations.	RecSys	2009	DBLP DOI BibTeX RDF	recommender systems, explanations
9	Hong Liu 0012, Jayathi Raghavan	A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Compartmental Analysis, Query-Based Modeling Process, Kolb Cognitive Complexity, Validation and Verification
9	Martin Welk, Guy Gilboa, Joachim Weickert	Theoretical Foundations for Discrete Forward-and-Backward Diffusion Filtering.	SSVM	2009	DBLP DOI BibTeX RDF
9	Rua-Huan Tsaih, Wanying Lin, Shin-Ying Huang	Exploring Fraudulent Financial Reporting with GHSOM.	PAISI	2009	DBLP DOI BibTeX RDF	Financial Reporting Fraud, Growing Hierarchical Self-Organizing Map, Knowledge Extraction
9	Roel J. Wieringa	Design science as nested problem solving.	DESRIST	2009	DBLP DOI BibTeX RDF	nested problems, practical problems, regulative cycle, design science
9	Uriel Feige, Nicole Immorlica, Vahab S. Mirrokni, Hamid Nazerzadeh	PASS Approximation.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF