Search results for "Justification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Tao Chen, Yurong Zeng, Lin Wang 0001, Jinlong Zhang	Evaluating IT Investment Using a Hybrid Approach of Fuzzy Risk Analysis and Real Options.	FSKD (1)	2007	DBLP DOI BibTeX RDF
9	Haruka Nakao, Shigeo Yoshikawa, Daniel Port, Yuko Miyamoto, Masafumi Katahira	Comparing Model Generated with Expert Generated IV&V Activity Plans.	ESEM	2007	DBLP DOI BibTeX RDF
9	Mingfeng Jiang, Ling Xia, Guofa Shou	Noninvasive Electroardiographic Imaging: Application of Hybrid Methods for Solving the Electrocardiography Inverse Problem.	FIMH	2007	DBLP DOI BibTeX RDF
9	Azhar Ali Shah, Daniel Barthel, Natalio Krasnogor	Grid and Distributed Public Computing Schemes for Structural Proteomics: A Short Overview.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
9	Georges Gonthier	The Four Colour Theorem: Engineering of a Formal Proof.	ASCM	2007	DBLP DOI BibTeX RDF
9	Tilman Lange, Joachim M. Buhmann	Kernel-Based Grouping of Histogram Data.	ECML	2007	DBLP DOI BibTeX RDF
9	Xavier Lacaze, Philippe A. Palanque	DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.	INTERACT (2)	2007	DBLP DOI BibTeX RDF
9	Limin Wang, Chunhong Cao, Xiongfei Li, Haijun Li	Finding the Optimal Feature Representations for Bayesian Network Learning.	PAKDD	2007	DBLP DOI BibTeX RDF
9	Miao Liu, Hai-Feng Guo, Zhengxin Chen	On Multi-Relational Data Mining for Foundation of Data Mining.	AICCSA	2007	DBLP DOI BibTeX RDF
9	Norman P. Archer	Is Return on Investment a Valid Criterion for Investing in Mobile Healthcare?	ICMB	2007	DBLP DOI BibTeX RDF
9	Vivek Bannore, Leszek Swierkowski	Fast Iterative Super-Resolution for Image Sequences.	DICTA	2007	DBLP DOI BibTeX RDF
9	Georgios Chalkiadakis, Evangelos Markakis, Craig Boutilier	Coalition formation under uncertainty: bargaining equilibria and the Bayesian core stability concept.	AAMAS	2007	DBLP DOI BibTeX RDF	multilateral bargaining, coalition formation
9	Fredrik Degerlund, Marina Waldén, Kaisa Sere	Implementation Issues Concerning the Action Systems Formalism.	PDCAT	2007	DBLP DOI BibTeX RDF
9	Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme	A decision-theoretic approach to robust optimization in multivalued graphs.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Lorenz optima, k best solutions, Shortest path, Minimum spanning tree, Robust optimization, Multicriteria optimization
9	James Gibbons, Steve Ruth	Municipal Wi-Fi: Big Wave or Wipeout?	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	municipal Wi-Fi, wireless services
9	Louis E. Loeb	Psychology, epistemology, and skepticism in Hume's argument about induction.	Synth.	2006	DBLP DOI BibTeX RDF	Garrett, Reason, Induction, Internalism, Externalism, Hume
9	Didier Dubois, Eyke Hüllermeier, Henri Prade	A systematic approach to the assessment of fuzzy association rules.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	Association rules, Fuzzy sets, Quality measures, Fuzzy partition
9	Kaile Su, Qingliang Chen, Abdul Sattar 0001, Weiya Yue, Guanfeng Lv, Xizhong Zheng	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	formal verification, SAT, authentication protocol, knowledge structure
9	Yasuo Yamane, Tadashi Hoshiai, Hiroshi Tsuda, Manabu Ohta, Kaoru Katayama, Hiroshi Ishikawa 0004	Multi-vector feature space based on pseudo-Euclidean space and oblique basis.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Pseudo-Euclidean space, Oblique basis, Quadratic-form distance, Earth mover’s distance, Multi-vector feature space, Similarity search, Feature space
9	Claudia Perlich, Foster J. Provost	Distribution-based aggregation for relational learning with identifier attributes.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	networks, aggregation, relational learning, identifiers
9	Yung-Chieh Lin, Feng Lu 0002, Kwang-Ting Cheng	Pseudofunctional testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
9	Stéphane Lafon, Ann B. Lee	Diffusion Maps and Coarse-Graining: A Unified Framework for Dimensionality Reduction, Graph Partitioning, and Data Set Parameterization.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	compression (coding), clustering similarity measures, clustering, Machine learning, information visualization, Markov processes, graph algorithms, quantization, text analysis, knowledge retrieval, graph-theoretic methods
9	Fabio Belloni, Visa Koivunen	Beamspace Transform for UCA: Error Analysis and Bias Reduction.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
9	Peng Hui Tan, Lars K. Rasmussen	Asymptotically optimal nonlinear MMSE multiuser detection based on multivariate Gaussian approximation.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
9	Matthias Nückles, Alexandra Winter, Jörg Wittwer, Markus Herbert, Sandra Hübner	How do Experts Adapt their Explanations to a Layperson's Knowledge in Asynchronous Communication? An Experimental Study.	User Model. User Adapt. Interact.	2006	DBLP DOI BibTeX RDF	adaptive instructional explanations, advice-giving and recommender systems, audience design, cognitive processes in writing and written communication, human experts’ adaptation strategies, human tutoring, personalization techniques, user-adapted communication, computer-mediated communication, natural language generation
9	Robert M. Bell, Patrick Haffner, Chris Volinsky	Modifying boosted trees to improve performance on task 1 of the 2006 KDD challenge cup.	SIGKDD Explor.	2006	DBLP DOI BibTeX RDF	boosted trees, nonstandard loss function, real AdaBoost, classification, multiple instance learning
9	Bin He 0001, Kevin Chen-Chuan Chang	Automatic complex schema matching across Web query interfaces: A correlation mining approach.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	bagging predictors, Data integration, ensemble, schema matching, deep Web, correlation mining
9	Sehoon Yea, William A. Pearlman	A Wavelet-Based Two-Stage Near-Lossless Coder.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
9	Laurent Younes	Combining geodesic interpolating splines and affine transformations.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
9	Jorge F. Silva, Shrikanth S. Narayanan	Average divergence distance as a statistical discrimination measure for hidden Markov models.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
9	Shannon M. Hughes, Ingrid Daubechies	Simpler Alternatives to Information Theoretic Similarity Metrics for Multimodal Image Alignment.	ICIP	2006	DBLP DOI BibTeX RDF
9	Jieping Ye, Tao Xiong, Qi Li 0001, Ravi Janardan, Jinbo Bi, Vladimir Cherkassky, Chandra Kambhamettu	Efficient model selection for regularized linear discriminant analysis.	CIKM	2006	DBLP DOI BibTeX RDF	regularization, model selection, linear discriminant analysis, dimension reduction
9	Alistair A. McEwan, Steve A. Schneider	A verified development of hardware using CSP∥B.	MEMOCODE	2006	DBLP DOI BibTeX RDF
9	Carsten Schürmann, Mark-Oliver Stehr	An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.	LPAR	2006	DBLP DOI BibTeX RDF
9	Thanh Ha Dang, Christophe Marsala, Bernadette Bouchon-Meunier, Alain Boucher	Discrimination-Based Criteria for the Evaluation of Classifiers.	FQAS	2006	DBLP DOI BibTeX RDF
9	Emma Hart, Hugues Bersini, Francisco C. Santos	Tolerance vs Intolerance: How Affinity Defines Topology in an Idiotypic Network.	ICARIS	2006	DBLP DOI BibTeX RDF
9	Valentin Gherman, Hans-Joachim Wunderlich, Jürgen Schlöffel, Michael Garbers	Deterministic Logic BIST for Transition Fault Testing.	ETS	2006	DBLP DOI BibTeX RDF	Deterministic logic BIST, delay test
9	Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens	Justifying Goal Models.	RE	2006	DBLP DOI BibTeX RDF
9	Weihang Wu, Tim Kelly	Managing Architectural Design Decisions for Safety-Critical Software Systems.	QoSA	2006	DBLP DOI BibTeX RDF
9	Stamos T. Karamouzis	The Use of Psychophysiological Measures for Designing Adaptive Learning Systems.	AIAI	2006	DBLP DOI BibTeX RDF
9	Swapna S. Gokhale, Robert E. Mullen	Queuing Models for Field Defect Resolution Process.	ISSRE	2006	DBLP DOI BibTeX RDF
9	Jinhui Yuan, Jianmin Li 0001, Bo Zhang 0010	Learning concepts from large scale imbalanced data sets using support cluster machines.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	concept modelling, kernel k-means, clustering, support vector machines, large scale, imbalance
9	D. Sculley, Carla E. Brodley	Compression and Machine Learning: A New Perspective on Feature Space Vectors.	DCC	2006	DBLP DOI BibTeX RDF
9	Sylvie Boldo	Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms.	IJCAR	2006	DBLP DOI BibTeX RDF
9	Jianhua Gong, Jieping Zhou, Wenhang Li, Hui Lin 0002	Design and implementation of an intelligent virtual geographic environment for the simulation of SARS transmission.	VRCIA	2006	DBLP DOI BibTeX RDF	severe acute respiratory syndrome (SARS), virtual geographic environments, multi-agent simulation
9	Joan Boyar, Martin R. Ehmsen, Kim S. Larsen	Theoretical Evidence for the Superiority of LRU-2 over LRU for the Paging Problem.	WAOA	2006	DBLP DOI BibTeX RDF
9	Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng 0012, Hillel Miller, Magdy S. Abadir	Extracting a Simplified View of Design Functionality Based on Vector Simulation.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
9	Amy Tracy Wells	Usability: reconciling theory and practice.	SIGDOC	2006	DBLP DOI BibTeX RDF	hypermedia/hypertext, usability, user interface, cognitive processes
9	David G. Haigh, Thomas J. W. Clarke, Paul M. Radmore	A mathematical framework for active circuits based on port equivalence using limit variables.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Jun Wang 0012, Arjen P. de Vries, Marcel J. T. Reinders	A User-Item Relevance Model for Log-Based Collaborative Filtering.	ECIR	2006	DBLP DOI BibTeX RDF
9	Sheila Sherlock, William G. Chismar	What Airline Reservation Systems Tell Us about the Future of EHRs.	HICSS	2006	DBLP DOI BibTeX RDF
9	Koen Milis, Stijn Viaene, Pieter M. A. Ribbers	On How the Feasibility Study Is Influenced by an ICT Project's Main Trigger.	HICSS	2006	DBLP DOI BibTeX RDF	ICT projects, Project trigger, ICT governance, Feasibility study
9	Jin Hyuk Yang, In-Jeong Chung	Automatic Generation of Service Ontology from UML Diagrams for Semantic Web Services.	ASWC	2006	DBLP DOI BibTeX RDF	state-chart and UML, Ontology, Semantic Web, OWL-S
9	Carlos Benavídez, José L. Fuertes, Emmanuelle Gutiérrez y Restrepo, Loïc Martínez	Semi-automatic Evaluation of Web Accessibility with HERA 2.0.	ICCHP	2006	DBLP DOI BibTeX RDF
9	Orna Kupferman	Sanity Checks in Formal Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
9	Bassel Daou, Gregor von Bochmann	Generalizing the Submodule Construction Techniques for Extended State Machine Models.	FORTE	2006	DBLP DOI BibTeX RDF
9	A. Bendali, R. Labedan, F. Domingue, V. Nerguizian	Holes Effects on RF MEMS Parallel Membranes Capacitors.	CCECE	2006	DBLP DOI BibTeX RDF
9	Christopher Richard Wren, Emmanuel Munguia Tapia	Toward Scalable Activity Recognition for Sensor Networks.	LoCA	2006	DBLP DOI BibTeX RDF
9	Sergei N. Artëmov, Roman Kuznets	Logical Omniscience Via Proof Complexity.	CSL	2006	DBLP DOI BibTeX RDF
9	Lew Boon Kian	Test Cost Saving and Challenges in the Implementation of x6 and x8 Parallel Testing on Freescale 16-bit HCS12 Micro-controller Product Family.	DELTA	2006	DBLP DOI BibTeX RDF
9	Damien Marshall, Seamus C. McLoone, David J. Roberts 0001, Declan Delaney, Tomás Ward	Exploring the Effect of Curvature on the Consistency of Dead Reckoned Paths for Different Error Threshold Metrics.	DS-RT	2006	DBLP DOI BibTeX RDF
9	Daw-Tung Lin, Ming-Ju Liu	Face Occlusion Detection for Automated Teller Machine Surveillance.	PSIVT	2006	DBLP DOI BibTeX RDF
9	Shubin Zhao	Multi-scale MAP Estimation of High-Resolution Images.	PSIVT	2006	DBLP DOI BibTeX RDF	wavelet transform, Super-resolution, MAP estimation
9	Dawei Song 0001, Peter Bruza	Text Based Knowledge Discovery with Information Flow Analysis.	APWeb	2006	DBLP DOI BibTeX RDF
9	Nissim Sabag, Elena Trotskovsky, Pinchas Schechner	Internship as an Obligatory Requirement for the Degree of B.Sc. in Electronic and Electrical Engineering.	ITRE	2006	DBLP DOI BibTeX RDF
9	Pannagadatta K. Shivaswamy, Tony Jebara	Permutation invariant SVMs.	ICML	2006	DBLP DOI BibTeX RDF
9	Paul Ormerod, Bridget Rosewell	Validation and Verification of Agent-Based Models in the Social Sciences.	EPOS	2006	DBLP DOI BibTeX RDF	Verification, agents, validation, agent-based models, behaviour
9	Wenye Li 0001, Kin-Hong Lee, Kwong-Sak Leung	Clustering with a Semantic Criterion Based on Dimensionality Analysis.	ICONIP (2)	2006	DBLP DOI BibTeX RDF
9	Tuan Zea Tan, Geok See Ng, Hiok Chai Quek, Stephen C. L. Koh	Ovarian Cancer Prognosis by Hemostasis and Complementary Learning.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
9	Anatoli Torokhti, Phil G. Howlett, Charles E. M. Pearce	Optimal Recursive Estimation of Raw Data.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	error minimization, stochastic vector, optimal estimate
9	Joshua D. Guttman, Amy L. Herzog	Rigorous automated network security management.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Filtering routers, IP security protocols, Formal methods, Network security, Security management
9	Sevan G. Ficici, Ofer Melnik, Jordan B. Pollack	A game-theoretic and dynamical-systems analysis of selection methods in coevolution.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
9	Shane Greenstein	Not a mellifluous march to maturity.	IEEE Micro	2005	DBLP DOI BibTeX RDF
9	Katarína Cechlárová, Tamás Fleiner	On a generalization of the stable roommates problem.	ACM Trans. Algorithms	2005	DBLP DOI BibTeX RDF	Irving's algorithm, stable roommates problem, stable marriage problem
9	David Bell	Graded Relative Evidence.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF
9	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
9	Marcelo Arenas, Leonid Libkin	An information-theoretic approach to normal forms for relational and XML data.	J. ACM	2005	DBLP DOI BibTeX RDF	normalization algorithms, XML, design, relational databases, Information theory, normal forms
9	Tore Dybå	An Empirical Investigation of the Key Factors for Success in Software Process Improvement.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	software process improvement, Empirical software engineering, critical success factors, organizational issues, survey research
9	I-Chung Lee, Cheng-Shang Chang, Ching-Ming Lien	On the throughput of multicasting with incremental forward error correction.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
9	Xudong Yao, Jianxin Zhou	A local minimax characterization for computing multiple nonsmooth saddle critical points.	Math. Program.	2005	DBLP DOI BibTeX RDF	Locally Lipschitz Continuous Functionals, Nonsmooth Critical Points, Minimax Characterization
9	Alan D. Fekete, Dimitrios Liarokapis, Elizabeth J. O'Neil, Patrick E. O'Neil, Dennis E. Shasha	Making snapshot isolation serializable.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	multiversion concurrency, weak isolation, Concurrency control, consistency, serializability, anomaly, snapshot isolation
9	Frédéric Flin, Jean-Bruno Brzoska, David Coeurjolly, Romeu André Pieritz, Bernard Lesaffre, Cécile Coléou, Pascal Lamboley, Olivier Teytaud, Gérard Vignoles, Jean-François Delesse	Adaptive estimation of normals and surface area for discrete 3-D objects: application to snow binary data from X-ray tomography.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
9	Dirk Wilking	Agile Methods for Embedded Systems.	XP	2005	DBLP DOI BibTeX RDF
9	Sathish Ramani, Dimitri Van De Ville, Michael Unser	Sampling in practice: is the best reconstruction space bandlimited?	ICIP (2)	2005	DBLP DOI BibTeX RDF
9	T. Scott Ankrum, Alfred H. Kromholz	Structured Assurance Cases: Three Common Standards.	HASE	2005	DBLP DOI BibTeX RDF
9	Dushyant Bansal, Paul A. S. Ward	Third-Party Flow Control.	CNSR	2005	DBLP DOI BibTeX RDF	third-party, peer-to-peer, congestion control, TCP, flow control
9	Ron Lavi, Noam Nisan	Online ascending auctions for gradually expiring items.	SODA	2005	DBLP BibTeX RDF
9	Manuel Rodríguez, João Gabriel Silva, Patricia Rodríguez-Dapena, Han van Loon, Fernando Aldea-Montero	Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards.	ICCBSS	2005	DBLP DOI BibTeX RDF
9	Abdullah J. Al-Shehab, Robert T. Hughes, Graham Winstanley	Facilitating Organisational Learning Through Causal Mapping Techniques in IS/IT Project Risk Management.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
9	Roland H. Kaschek	Modelling Ontology Use for Information Systems.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
9	Kuntal Ghosh, Sandip Sarkar, Kamales Bhaumik	Image Enhancement by High-Order Gaussian Derivative Filters Simulating Non-classical Receptive Fields in the Human Visual System.	PReMI	2005	DBLP DOI BibTeX RDF
9	Paolo Boldi, Massimo Santini 0001, Sebastiano Vigna	PageRank as a function of the damping factor.	WWW	2005	DBLP DOI BibTeX RDF	approximation, PageRank, Web graph
9	Rafael M. Terol, Patricio Martínez-Barco, Fernando Llopis, Trinitario Martínez	An Application of NLP Rules to Spoken Document Segmentation Task.	NLDB	2005	DBLP DOI BibTeX RDF
9	Jeremy Rogers, Steve R. Gunn	Identifying Feature Relevance Using a Random Forest.	SLSFS	2005	DBLP DOI BibTeX RDF
9	Yung-Chieh Lin, Feng Lu 0002, Kai Yang, Kwang-Ting Cheng	Constraint extraction for pseudo-functional scan-based delay testing.	ASP-DAC	2005	DBLP DOI BibTeX RDF
9	Risivardhan Thonangi, Vikram Pudi	ACME: An Associative Classifier Based on Maximum Entropy Principle.	ALT	2005	DBLP DOI BibTeX RDF
9	Laurian Hobby, John Booker, D. Scott McCrickard, Christa M. Chewar, Jason Zietz	Facilitating and automating empirical evaluation.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	HCI, design, interaction, reuse, critical parameters
9	Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue, Hideo Fujiwara	Design for Testability Based on Single-Port-Change Delay Testing for Data Paths.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
9	Kazuko Kambe, Michiko Inoue, Hideo Fujiwara, Tsuyoshi Iwagaki	Efficient Constraint Extraction for Template-Based Processor Self-Test Generation.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
9	Tsuyoshi Shinogi, Hiroyuki Yamada, Terumine Hayashi, Shinji Tsuruoka, Tomohiro Yoshikawa	A Test Cost Reduction Method by Test Response and Test Vector Overlapping for Full-Scan Test Architecture.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF