Search results for "Justification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Colin G. Johnson	Genetic Programming Crossover: Does It Cross over?	EuroGP	2009	DBLP DOI BibTeX RDF
9	Wlodzislaw Duch, Tomasz Maszczyk	Almost Random Projection Machine.	ICANN (1)	2009	DBLP DOI BibTeX RDF	Neural networks, learning, random projections
9	Andrea De Lucia, Fausto Fasano, Claudia Grieco, Genoveffa Tortora	Recovering design rationale from email repositories.	ICSM	2009	DBLP DOI BibTeX RDF
9	John Moses, Malcolm Farrow	Tests for consistent measurement of external subjective software quality attributes.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Subjective software quality attributes, Distribution principle, Minimum rejection principle, Bayesian inference, Error rates, Conditional probability, Multinomial distribution, Data imputation, Consistent measurement
9	Cédric Herzet, Henk Wymeersch, Frederik Simoens, Marc Moeneclaey, Luc Vandendorpe	MAP-Based Code-Aided Hypothesis Testing.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
9	Mary J. Meixell, Nancy C. Shaw, Francis D. Tuggle	A Methodology for Assessing the Value of Knowledge in a Service Parts Supply Chain.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
9	Panagiotis Symeonidis, Alexandros Nanopoulos, Yannis Manolopoulos	Providing Justifications in Recommender Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
9	Shai Ben-David, Reba Schuller Borbely	A notion of task relatedness yielding provable multiple-task learning guarantees.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Classification prediction, Task relatedness, Learning theory, VC-dimension, Multi-task learning, Inductive transfer, Generalization bounds
9	Jaroslav Peregrin	What is the Logic of Inference?	Stud Logica	2008	DBLP DOI BibTeX RDF	nature of logic, logical operators, inference, proof theory, intuitionistic logic
9	Evan Goris	Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Logic of proofs, Bounded arithmetic
9	Jacob Ziv	On Finite Memory Universal Data Compression and Classification of Individual Sequences.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
9	Nikhil Saluja, Kanupriya Gulati, Sunil P. Khatri	SAT-based ATPG using multilevel compatible don't-cares.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Boolean satisfiabilty (SAT), testing, Automatic test pattern generation (ATPG), don't cares
9	Vincent Larivière, Alesia A. Zuccala, Éric Archambault	The declining scientific impact of theses: Implications for electronic thesis and dissertation repositories and graduate studies.	Scientometrics	2008	DBLP DOI BibTeX RDF
9	Gerald-Mark Breen, Ning Jackie Zhang	Introducing Ehealth to Nursing Homes: Theoretical Analysis of Improving Resident Care.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Care deficiencies, Integrated care, Nursing homes, Telemedicine, Ehealth
9	Renato D. C. Monteiro, Takashi Tsuchiya	A strong bound on the integral of the central path curvature and its relationship with the iteration-complexity of primal-dual path-following LP algorithms.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification 65K05, 68Q25, 90C51, 90C05, 90C60
9	Ganesh Sundaramoorthi, Anthony J. Yezzi, Andrea Mennucci	Coarse-to-Fine Segmentation and Tracking Using Sobolev Active Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	coarse-to-fine segmentation, global flows, segmentation, tracking, Active contours, gradient flows
9	Prabir Barooah, João Pedro Hespanha	Estimation From Relative Measurements: Electrical Analogy and Large Graphs.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
9	M. Stuart Lynn	The battle of the covers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
9	Vladimir Katkovnik, Jaakko Astola, Karen O. Egiazarian	Phase Local Approximation (PhaseLa) Technique for Phase Unwrap From Noisy Data.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
9	Yufei Tao 0001, Xiaokui Xiao	Primal or dual: which promises faster spatiotemporal search?	VLDB J.	2008	DBLP DOI BibTeX RDF	Theory, Spatial database, Moving objects, Range search
9	Mark D. Butala, Jonghyun Yun, Yuguo Chen, Richard A. Frazin, Farzad Kamalabadi	Asymptotic convergence of the ensemble Kalman filter.	ICIP	2008	DBLP DOI BibTeX RDF
9	Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
9	Jaime Alonso 0001, Juan José del Coz, Jorge Díez 0001, Oscar Luaces, Antonio Bahamonde	Learning to Predict One or More Ranks in Ordinal Regression Tasks.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
9	Brian Hay, Ronald Dodge, Kara L. Nance	Using Virtualization to Create and Deploy Computer Security Lab Exercises.	SEC	2008	DBLP DOI BibTeX RDF
9	Paulo Pinheiro da Silva, Deborah L. McGuinness, Nicholas Del Rio, Li Ding 0001	Inference Web in Action: Lightweight Use of the Proof Markup Language.	ISWC	2008	DBLP DOI BibTeX RDF
9	Angelika Först, Achim Rettinger, Matthias Nickles	Argumentation- vs. Proposal-Based Negotiation: An Empirical Case Study on the Basis of Game-Theoretic Solution Concepts.	ArgMAS	2008	DBLP DOI BibTeX RDF
9	Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk	Personality-Based Practical Reasoning.	ArgMAS	2008	DBLP DOI BibTeX RDF
9	Ana Bove, Venanzio Capretta	A Type of Partial Recursive Functions.	TPHOLs	2008	DBLP DOI BibTeX RDF
9	Franz Lehner 0001	Tacit Knowledge Management: Do We Need a Re-orientation of Traditional KM Approaches?.	UNISCON	2008	DBLP DOI BibTeX RDF	organisational knowledge, KM paradigm, KM views, KM activities, TKM, Knowledge management, tacit knowledge
9	Yves Louët, Sajjad Hussain	Peak-to-Mean Envelope Power Ratio Statistical Analysis of Continuous OFDM Signal.	VTC Spring	2008	DBLP DOI BibTeX RDF
9	Rahul De'	Control, De-politicization and the eState.	EGOV	2008	DBLP DOI BibTeX RDF
9	Jinsong Tan	Inapproximability of Maximum Weighted Edge Biclique and Its Applications.	TAMC	2008	DBLP DOI BibTeX RDF
9	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Reversible Flowchart Languages and the Structured Reversible Program Theorem.	ICALP (2)	2008	DBLP DOI BibTeX RDF
9	Bernard Boigelot, Julien Brusten, Véronique Bruyère	On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.	ICALP (2)	2008	DBLP DOI BibTeX RDF
9	Kevin M. Carter 0002, Raviv Raich, Alfred O. Hero III	Fine: Information embedding for document classification.	ICASSP	2008	DBLP DOI BibTeX RDF
9	Andreas Blass, Yuri Gurevich	Why Sets?	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
9	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
9	Christopher Lynch, Duc-Khanh Tran	SMELS: Satisfiability Modulo Equality with Lazy Superposition.	ATVA	2008	DBLP DOI BibTeX RDF
9	Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro	Explanation in the DL-LiteFamily of Description Logics.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF
9	Petros A. Ioannou	CDC semi-plenary: "Robust adaptive control: The search for the Holy Grail".	CDC	2008	DBLP DOI BibTeX RDF
9	Florian Schoppmann	The Power of Small Coalitions in Cost Sharing.	WINE	2008	DBLP DOI BibTeX RDF
9	Aris Anagnostopoulos, Ravi Kumar 0001, Mohammad Mahdian	Influence and correlation in social networks.	KDD	2008	DBLP DOI BibTeX RDF	social networks, tagging, correlation, social influence
9	Michael Y. K. Kwan, Kam-Pui Chow, Frank Y. W. Law, Pierre K. Y. Lai	Reasoning About Evidence Using Bayesian Networks. (PDF / PS)	IFIP Int. Conf. Digital Forensics	2008	DBLP DOI BibTeX RDF	Bayesian networks, probability, Digital evidence, hypotheses
9	Eelis van der Weegen, James McKinna	A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.	TYPES	2008	DBLP DOI BibTeX RDF
9	Yih-Kuen Tsay, Bow-Yaw Wang	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.	CIAA	2008	DBLP DOI BibTeX RDF
9	Andrzej Bielecki, Marzena Bielecka, Anna Chmielowiec	Input Signals Normalization in Kohonen Neural Networks.	ICAISC	2008	DBLP DOI BibTeX RDF
9	Stefano Cagnoni, Leonardo Vanneschi, Antonia Azzini, Andrea Tettamanzi	A Critical Assessment of Some Variants of Particle Swarm Optimization.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
9	Jonathan Harel, Christof Koch	On the Optimality of Spatial Attention for Object Detection.	WAPCV	2008	DBLP DOI BibTeX RDF
9	Kai Krajsek, Rudolf Mester, Hanno Scharr	Statistically Optimal Averaging for Image Restoration and Optical Flow Estimation.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
9	Sergio Callegari	Introducing Complex Oscillation Based Test: an application example targeting Analog to Digital Converters.	ISCAS	2008	DBLP DOI BibTeX RDF
9	Raudzatul Fathiyah Mohd Said, Shuzlina Abdul Rahman, Sofianita Mutalib, Marina Yusoff, Azlinah Mohamed	User Technology Readiness Measurement in Fingerprint Adoption at Higher Education Institution.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	Fingerprint Technology, Technology Readiness Index Model, User Readiness, Biometric
9	Reynaldo Giganto, Tony Smith	Derivation of Classes from Use Cases Automatically Generated by a Three-Level Sentence Processing Algorithm.	ICONS	2008	DBLP DOI BibTeX RDF	natural language processing, requirements engineering, use cases, object-oriented analysis
9	Kyung-Soon Lee, W. Bruce Croft, James Allan	A cluster-based resampling method for pseudo-relevance feedback.	SIGIR	2008	DBLP DOI BibTeX RDF	a cluster-based resampling, dominant documents, information retrieval, query expansion, pseudo-relevance feedback
9	Kwangok Jeong, Andrew B. Kahng, Kambiz Samadi	Quantified Impacts of Guardband Reduction on Design Process Outcomes.	ISQED	2008	DBLP DOI BibTeX RDF	Guardband, chip size, yield, runtime, wirelength, design iterations
9	Hongbing Fan, Christian Hundt 0001, Yu-Liang Wu, Jason Ernst	Algorithms and Implementation for Interconnection Graph Problem.	COCOA	2008	DBLP DOI BibTeX RDF
9	Ying-Ju Chen, Yi-Hong Chu, Ming-Syan Chen	Mining Quality-Aware Subspace Clusters.	PAKDD	2008	DBLP DOI BibTeX RDF
9	Graciela Lecireth Meza Lovón, Maria Bernadete Zanusso	Rough Evolutionary Fuzzy System Based on Interactive T-Norms.	IBERAMIA	2008	DBLP DOI BibTeX RDF	Classification, Hybrid System, T-norms, Rule Generation
9	William M. Stevens	Simulating Self-replicating Machines.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Simulation, Self-organisation, Mechatronics, Self-replication
9	Jonah N. Schupbach	Must the Scientific Realist be a Rationalist?	Synth.	2007	DBLP DOI BibTeX RDF
9	Jure Leskovec, Jon M. Kleinberg, Christos Faloutsos	Graph evolution: Densification and shrinking diameters.	ACM Trans. Knowl. Discov. Data	2007	DBLP DOI BibTeX RDF	Densification power laws, small-world phenomena, graph mining, heavy-tailed distributions, graph generators
9	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
9	Svante Janson, Wojciech Szpankowski	Partial fillup and search time in LC tries.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	Digital trees, level-compressed tries, partial fillup, trees, probabilistic analysis, strings, Poissonization
9	Millist W. Vincent, Jixue Liu, Mukesh K. Mohania	On the equivalence between FDs in XML and FDs in relations.	Acta Informatica	2007	DBLP DOI BibTeX RDF
9	Fengling Li, Nam Ling, Stephen A. Chiappari	On the Coding Efficiency of MCTF Update Steps for Scalable Video Coding.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
9	Ning Liu, M. A. Abdelrahman, S. R. Ramaswamy	A Complete Multiagent Framework for Robust and Adaptable Dynamic Job Shop Scheduling.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
9	Eyke Hüllermeier, Yu Yi	In Defense of Fuzzy Association Analysis.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
9	Loganathan Lingappan, Niraj K. Jha	Efficient Design for Testability Solution Based on Unsatisfiability for Register-Transfer Level Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
9	Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham	Improved verification of hardware designs through antecedent conditioned slicing.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
9	Bev Littlewood, David Wright 0001	The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Safety claims, safety arguments, software reliability, Bayesian belief networks, software safety
9	Kapil Bhattad, Krishna R. Narayanan	An MSE-Based Transfer Chart for Analyzing Iterative Decoding Schemes Using a Gaussian Approximation.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
9	Pablo Sánchez 0002, Lidia Fuentes, Andrew Jackson 0003, Siobhán Clarke	Aspects at the Right Time.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF
9	Amalia Amaya	Formal models of coherence and legal epistemology.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	Legal epistemology, Constraint satisfaction, Coherence, Belief revision
9	Krystian Mikolajczyk, Jiri Matas	Improving Descriptors for Fast Tree Matching by Optimal Linear Projection.	ICCV	2007	DBLP DOI BibTeX RDF
9	R. Geoff Dromey	Engineering Large-Scale Software-Intensive Systems.	ASWEC	2007	DBLP DOI BibTeX RDF
9	Jon G. Elerath, Michael G. Pecht	Enhanced Reliability Modeling of RAID Storage Systems.	DSN	2007	DBLP DOI BibTeX RDF
9	Fabrizio Angiulli, Fabio Fassetti	Very efficient mining of distance-based outliers.	CIKM	2007	DBLP DOI BibTeX RDF	data mining, anomaly detection, distance-based outliers
9	Spyros Angelopoulos 0001, Reza Dorrigiv, Alejandro López-Ortiz	On the separation and equivalence of paging strategies.	SODA	2007	DBLP BibTeX RDF
9	Matt Kaufmann, Konrad Slind	Proof Pearl: Wellfounded Induction on the Ordinals Up to epsilon 0.	TPHOLs	2007	DBLP DOI BibTeX RDF
9	Timothy Stephen Cooper, Justine McCormack, Ronan Farrell, Gerard Baldwin	Toward Scalable, Automated Tower-Top Phased Array Calibration.	VTC Spring	2007	DBLP DOI BibTeX RDF
9	Alexandre Delye de Clauzade de Mazieux, Michel Marot, Monique Becker	Correction, Generalisation and Validation of the "Max-Min d-Cluster Formation Heuristic".	Networking	2007	DBLP DOI BibTeX RDF
9	Joonki Noh, Victor Solo	Testing for Space-Time Separability in Functional Mri.	ISBI	2007	DBLP DOI BibTeX RDF
9	Robert Charles, Adigun Ranmi	Wild, Wild Wikis: A way forward.	C5	2007	DBLP DOI BibTeX RDF
9	Masayuki Abe, Serge Fehr	Perfect NIZK with Adaptive Soundness.	TCC	2007	DBLP DOI BibTeX RDF
9	Lukasz Cyra, Janusz Górski	Supporting Compliance with Security Standards by Trust Case Templates.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
9	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
9	Anil Kumar Thurimella, Bernd Bruegge	Evolution in Product Line Requirements Engineering: A Rationale Management Approach.	RE	2007	DBLP DOI BibTeX RDF
9	Nicolas Tsapatsoulis, Sergios Petridis, Stavros J. Perantonis	On the use of spatial relations between objects for image classification.	AIAI	2007	DBLP DOI BibTeX RDF	spatial realations, image classification, object detection
9	Kevin P. Gallagher, Kate M. Kaiser	Best practice for grooming critical mid-level roles.	CPR	2007	DBLP DOI BibTeX RDF	roles, careers, workforce
9	Mahesh Bhat, John Crawford, Ricardo Morin, Kumar Shiv	Performance Characterization of Decimal Arithmetic in Commercial Java Workloads.	ISPASS	2007	DBLP DOI BibTeX RDF	software decimal implementations, commercial Java workloads, binary floating-point numbers, special decimal representations, optimized hardware support, decimal math, BigDecimal class, scale manipulation, SPECjbb2005, SPECjAppServer2004, mission-critical financial workload, Trade Completion, hashing, performance characterization, decimal arithmetic, format conversion
9	Sébastien Destercke, Didier Dubois, Eric Chojnacki	Cautious Conjunctive Merging of Belief Functions.	ECSQARU	2007	DBLP DOI BibTeX RDF	least commitment, dependence, belief functions
9	Leila Amgoud, Jean-François Bonnefon, Henri Prade	The Logical Handling of Threats, Rewards, Tips, and Warnings.	ECSQARU	2007	DBLP DOI BibTeX RDF	Threats/Rewards, Tips/Warnings, Negotiation, Argumentation
9	Dingguo Chen, Jiaben Yang, Ronald R. Mohler	Neural Control Applied to Time Varying Uncertain Nonlinear Systems.	ISNN (1)	2007	DBLP DOI BibTeX RDF
9	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
9	Alexander A. Moldovyan, Nick A. Moldovyan, Peter A. Moldovyanu	Architecture Types of the Bit Permutation Instruction for General Purpose Processors.	IF&GIS	2007	DBLP DOI BibTeX RDF	fast software encryption, controlled bit permutation, new CPU instruction, Cryptography
9	Christian Urban, Stefan Berghofer, Michael Norrish	Barendregt's Variable Convention in Rule Inductions.	CADE	2007	DBLP DOI BibTeX RDF
9	Riccardo Poli, Leonardo Vanneschi	Fitness-proportional negative slope coefficient as a hardness measure for genetic algorithms.	GECCO	2007	DBLP DOI BibTeX RDF	negative slope coefficient, theory, problem difficulty
9	Antoine Manzanera	Sigma-Delta Background Subtraction and the Zipf Law.	CIARP	2007	DBLP DOI BibTeX RDF	?-? modulation, Vector data parallelism, Image processing, Motion detection, Background subtraction
9	Fengling Li, Nam Ling, Stephen A. Chiappari	Multi-Stage MCTF Coding Efficiency Analysis with Directed-Tree Model.	ISCAS	2007	DBLP DOI BibTeX RDF
9	Sying-Jyan Wang, Yan-Ting Chen, Katherine Shu-Min Li	Low Capture Power Test Generation for Launch-off-Capture Transition Test Based on Don't-Care Filling.	ISCAS	2007	DBLP DOI BibTeX RDF
9	Sajjad Hussain, Syed Sibte Raza Abidi	Ontology Driven CPG Authoring and Execution via a Semantic Web Framework.	HICSS	2007	DBLP DOI BibTeX RDF