Search results for "examples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Endre Boros, Toshihide Ibaraki, Kazuhisa Makino	Boolean Analysis of Incomplete Examples.	SWAT	1996	DBLP DOI BibTeX RDF
13	Sten Agerholm	LCF Examples in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
13	Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa	Interactive Generation of Graphical User Interfaces by Multiple Visual Examples.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	visual parsing, visualization, graphical user interfaces, programming by example, constraint hierarchies
13	Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa, Tomihisa Kamada	Declarative Programming of Graphical Interfaces by Visual Examples.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF	visualization, constraints, graphical user interface, direct manipulation, layouts, programming by example
13	Jerzy W. Grzymala-Busse	On the Unknown Attribute Values in Learning from Examples.	ISMIS	1991	DBLP DOI BibTeX RDF
13	Murray Eisenberg, Howard A. Peelle	APL thinking: examples.	APL	1987	DBLP DOI BibTeX RDF	APL
13	Johann A. Makowsky	Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract).	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
12	Anderson A. Ferreira, Adriano Veloso, Marcos André Gonçalves, Alberto H. F. Laender	Effective self-training author name disambiguation in scholarly digital libraries.	JCDL	2010	DBLP DOI BibTeX RDF	name disambiguation, bibliographic citations
12	Priyanka Garg, S. Sundararajan	Active learning in partially supervised classification.	CIKM	2009	DBLP DOI BibTeX RDF	partially supervised classification, positive example based learners, active learning
12	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Integrality gaps for Sherali-Adams relaxations.	STOC	2009	DBLP DOI BibTeX RDF	Sherali-Adams hierarchy, lift-and-project methods, local-global metric spaces
12	Charles X. Ling, Jun Du	Active learning with direct query construction.	KDD	2008	DBLP DOI BibTeX RDF	classification, active learning, supervised learning
12	Emanuel Kitzelmann	Analytical Inductive Functional Programming.	LOPSTR	2008	DBLP DOI BibTeX RDF
12	Jelena Tesic, Apostol Natsev, Lexing Xie, John R. Smith	Data Modeling Strategies for Imbalanced Learning in Visual Search.	ICME	2007	DBLP DOI BibTeX RDF
12	Jelena Tesic, Apostol Natsev, John R. Smith	Cluster-based data modeling for semantic video search.	CIVR	2007	DBLP DOI BibTeX RDF	imbalanced learning, clustering, semantic search, query by example, TRECVID, content modeling
12	Edson Takashi Matsubara, Maria Carolina Monard, Ronaldo C. Prati	On the Class Distribution Labelling Step Sensitivity of CO-TRAINING.	IFIP AI	2006	DBLP DOI BibTeX RDF
12	Chan-Yun Yang, Che-Chang Hsu, Jr-Syu Yang	Learning SVM with Varied Example Cost: A k NN Evaluating Approach.	CIS	2006	DBLP DOI BibTeX RDF	Learning cost, Classification, Pattern recognition, Support vector machine, k nearest neighbor
12	George V. Lashkia, Laurence Anthony	Relevant, irredundant feature selection and noisy example elimination.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
12	Guillaume Cleuziou, Lionel Martin, Christel Vrain	Disjunctive Learning with a Soft-Clustering Method.	ILP	2003	DBLP DOI BibTeX RDF
12	Hwanjo Yu, Jiawei Han 0001, Kevin Chen-Chuan Chang	PEBL: positive example based learning for Web page classification using SVM.	KDD	2002	DBLP DOI BibTeX RDF	Mapping-Convergence (M-C) algorithm, SVM (Support Vector Machine), labeled data, unlabeled data
12	Steven A. Wolfman, Tessa A. Lau, Pedro M. Domingos, Daniel S. Weld	Mixed initiative interfaces for learning tasks: SMARTedit talks back.	IUI	2001	DBLP DOI BibTeX RDF	machine learning applications, programming by demonstration, mixed initiative
12	Shun-ichi Amari	Training Error, Generalization Error and Learning Curves in Neural Learning.	ANNES	1995	DBLP DOI BibTeX RDF	overtraining, training error, generalization error, learning curve
12	Tom Bylander	Learning Linear Threshold Functions in the Presence of Classification Noise.	COLT	1994	DBLP DOI BibTeX RDF
12	Ian H. Witten, Bruce A. MacDonald	The Other Side of the Coin: Teaching Artificial Learning Systems.	ICCAL	1989	DBLP DOI BibTeX RDF
12	M. Natchez, T. Prose	Creating effective hypercard online documentation and training.	SIGDOC	1989	DBLP DOI BibTeX RDF
11	Afrodita Iorgulescu	Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
11	Mark Grechanik, Chen Fu, Qing Xie 0003, Collin McMillan, Denys Poshyvanyk, Chad M. Cumby	Exemplar: EXEcutable exaMPLes ARchive.	ICSE (2)	2010	DBLP DOI BibTeX RDF
11	Karl Meerbergen, Kresimir Fresl, Toon Knapen	C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	C++, Bindings, BLAS, LAPACK, traits
11	Michael G. Ross, Leslie Pack Kaelbling	Segmentation According to Natural Examples: Learning Static Segmentation from Motion Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
11	Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld	Debugging into Examples.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Program comprehension, dynamic analysis, test coverage
11	Diederik Aerts, Bart D'Hooghe	Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory.	QI	2009	DBLP DOI BibTeX RDF
11	Marcel Bruch, Martin Monperrus, Mira Mezini	Learning from examples to improve code completion systems.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	code completion, code recommender, content assist, integrated development environment
11	Clara Rocha, Luis C. Dias	An algorithm for ordinal sorting based on ELECTRE with categories defined by examples.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Multi-criteria decision aiding, Aggregation/disaggregation approaches, ELECTRE, Sorting problem
11	Joachim Lambek	Pregroup Grammars and Chomsky's Earliest Examples.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Computational linguistics, Categorial grammars, Pregroup grammars
11	Nazli Ikizler, David A. Forsyth	Searching for Complex Human Activities with No Visual Examples.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	HMM, Motion capture, Video retrieval, Activity, Human action recognition
11	Lacey Montgomery, James H. Cross II, T. Dean Hendrix, Larry A. Barowski	Testing the jGRASP structure identifier with data structure examples from textbooks.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	testing, data structures, program visualization, algorithm animation
11	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah 0001, Mohamed Jmaiel	Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.	ICDCN	2008	DBLP DOI BibTeX RDF	distributed algorithms, mobile agents, spanning tree, proofs
11	Quanyan Zhu	A Lagrangian approach to constrained potential games: Theory and examples.	CDC	2008	DBLP DOI BibTeX RDF
11	Leszek Luchowski	Collecting 3D Content: Examples from Art and Medicine.	ICCVG	2008	DBLP DOI BibTeX RDF	3D imaging, virtual museum, digital content
11	Frédéric Gava	BSP Functional Programming: Examples of a Cost Based Methodology.	ICCS (1)	2008	DBLP DOI BibTeX RDF	BSP Functional Programming, Cost Prediction
11	Ana Luísa Duboc, Aline Paes, Gerson Zaverucha	Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.	ILP	2008	DBLP DOI BibTeX RDF
11	Bin Chen, Guangri Quan	NP-Hard Problems of Learning from Examples.	FSKD (2)	2008	DBLP DOI BibTeX RDF
11	Bernadette Bouchon-Meunier	Fuzzy logic to cope with complex problems: some examples of real-world applications.	CSTST	2008	DBLP DOI BibTeX RDF	data mining, machine learning, complexity, fuzzy logic, similarity, knowledge discovery in databases (KDD), inductive learning, real-world applications
11	Nazim Fatès, Lucas Gerin	Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems.	ACRI	2008	DBLP DOI BibTeX RDF
11	Jie Chen 0001, Ruiping Wang 0001, Shengye Yan, Shiguang Shan, Xilin Chen 0001, Wen Gao 0001	Enhancing Human Face Detection by Resampling Examples Through Manifolds.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
11	J. B. Rainsberger	Ask for Examples.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	misunderstanding, collaboration, communication, test, specification, customer, user, example
11	Johannes Christian, Horst Krieger, Andreas Holzinger, Reinhold Behringer	Virtual and Mixed Reality Interfaces for e-Training: Examples of Applications in Light Aircraft Maintenance.	HCI (7)	2007	DBLP DOI BibTeX RDF	pervasive e-education, performance support, human computer interaction, augmented reality, usability engineering, e-training
11	Frank W. Samuelson, Nicholas Petrick, Sophie Paquerault	Advantages and Examples of Resampling for Cad Evaluation.	ISBI	2007	DBLP DOI BibTeX RDF
11	Sorin P. Voinigescu, Sean T. Nicolson, Mehdi Khanpour, Keith K. W. Tang, Kenneth H. K. Yau, N. Seyedfathi, A. Timonov, A. Nachman, George V. Eleftheriades, Peter Schvan, Ming-Ta Yang	CMOS SOCs at 100 GHz: System Architectures, Device Characterization, and IC Design Examples.	ISCAS	2007	DBLP DOI BibTeX RDF
11	Jianzhong Chen, Stephen H. Muggleton, Jose Santos 0001	Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract).	ILP	2007	DBLP DOI BibTeX RDF
11	Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis	Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.	WADS	2007	DBLP DOI BibTeX RDF
11	Qiguo Duan, Duoqian Miao, Kaimin Jin	A Rough Set Approach to Classifying Web Page Without Negative Examples.	PAKDD	2007	DBLP DOI BibTeX RDF	Support Vector Machine, rough set, Web page classification
11	Ricardo Bastos Cavalcante Prudêncio, Teresa Bernarda Ludermir	Active Learning to Support the Generation of Meta-examples.	ICANN (1)	2007	DBLP DOI BibTeX RDF
11	Chunpeng Li, Shihong Xia, Zhaoqi Wang	Pose Synthesis Using the Inverse of Jacobian Matrix Learned from Examples.	VR	2007	DBLP DOI BibTeX RDF
11	Bernd S. W. Schröder	Examples of Powers of Ordered Sets with the Fixed Point Property.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06A07
11	Pavel A. Dmitriev, Carl Lagoze	Mining Generalized Graph Patterns Based on User Examples.	ICDM	2006	DBLP DOI BibTeX RDF
11	Grace A. Lewis, Lutz Wrage	A Process for Context-Based Technology Evaluation: Examples for the Evaluation of Web Services Technology.	ICCBSS	2006	DBLP DOI BibTeX RDF
11	Tracy Hammond, Randall Davis	Interactive learning of structural shape descriptions from automatically generated near-miss examples.	IUI	2006	DBLP DOI BibTeX RDF	near-miss, user interfaces, active learning, shape description, sketch recognition, structural description, ladder
11	Hiroaki Ohshima, Satoshi Oyama, Katsumi Tanaka	Sibling Page Search by Page Examples.	ICADL	2006	DBLP DOI BibTeX RDF
11	Martin J. Eppler	Toward a Pragmatic Taxonomy of Knowledge Maps: Classification Principles, Sample Typologies, and Application Examples.	IV	2006	DBLP DOI BibTeX RDF
11	Ivona Bezáková, Alistair Sinclair, Daniel Stefankovic, Eric Vigoda	Negative Examples for Sequential Importance Sampling of Binary Contingency Tables.	ESA	2006	DBLP DOI BibTeX RDF
11	Aurélien Lemay, Joachim Niehren, Rémi Gilleron	Learning n-Ary Node Selecting Tree Transducers from Completely Annotated Examples.	ICGI	2006	DBLP DOI BibTeX RDF
11	Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo	Examples of Integration of Induction and Deduction in Knowledge Discovery.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
11	Michael Bruce-Lockhart, Theodore S. Norvell	Interactive embedded examples: a demonstration.	ITiCSE	2006	DBLP DOI BibTeX RDF	The Teaching Machine, visualization, algorithms, education, data structures, object-oriented programming, programming, mental model, program animation
11	Jan Robert Menzel, Lutz Priese, Monika Schuth	Some Examples of Semi-rational DAG Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
11	Ralf Klamma, Mohamed Amine Chatti, Erik Duval, Sebastian Fiedler, Hans G. K. Hummel, Ebba Thora Hvannberg, Andreas Kaibel, Barbara Kieslinger, Milos Kravcik, Effie Lai-Chong Law, Ambjörn Naeve, Peter Scott, Marcus Specht, Colin Tattersall, Riina Vuorikari	Social Software for Professional Learning: Examples and Research Issues.	ICALT	2006	DBLP DOI BibTeX RDF
11	Jun-ichi Motoyama, Shinpei Urazawa, Tomofumi Nakano, Nobuhiro Inuzuka	A Mining Algorithm Using Property Items Extracted from Sampled Examples.	ILP	2006	DBLP DOI BibTeX RDF
11	Jeffrey Stylos, Brad A. Myers	Mica: A Web-Search Tool for Finding API Components and Examples.	VL/HCC	2006	DBLP DOI BibTeX RDF
11	Dali Zangurashvili	Some Categorical Algebraic Properties: Counter-Examples for Functor Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation
11	Jean Charles Gilbert, Clóvis C. Gonzaga, Elizabeth W. Karas	Examples of ill-behaved central paths in convex optimization.	Math. Program.	2005	DBLP DOI BibTeX RDF	Penalty function methods, Convex optimization, Nonlinear programming, Interior point algorithm, Central path
11	Bruno Apolloni, Andrea Brega, Dario Malchiodi, Christos Orovas, Anna Maria Zanaboni	A Fuzzy Method for Learning Simple Boolean Formulas from Examples.	Computational Intelligence for Modelling and Prediction	2005	DBLP DOI BibTeX RDF
11	Hwann-Tzong Chen, Tyng-Luh Liu, Chiou-Shann Fuh	Learning Effective Image Metrics from Few Pairwise Examples.	ICCV	2005	DBLP DOI BibTeX RDF
11	Jirí Hroza, Jan Zizka	Selecting Interesting Articles Using Their Similarity Based Only on Positive Examples.	CICLing	2005	DBLP DOI BibTeX RDF
11	Shihong Du, Qiao Wang, Qiming Qin, Yipeng Yang	Fuzzy Description of Topological Relations II: Computation Methods and Examples.	ICNC (3)	2005	DBLP DOI BibTeX RDF
11	Atsuko K. Yamazaki, J. Rudi Strickler	Contribution of Biological Studies to the Understanding and Modeling of Skilled Performance: Some Examples.	KES (4)	2005	DBLP DOI BibTeX RDF
11	Jean-Loup Chappelet, Kristian Pierre Kilchenmann	Interactive Tools for e-Democracy: Examples from Switzerland.	TCGOV	2005	DBLP DOI BibTeX RDF
11	Pragnesh Jay Modi, Peter Woo Tae Kim	Classification of Examples by Multiple Agents with Private Features.	IAT	2005	DBLP DOI BibTeX RDF
11	Lior Wolf, Ian Martin	Robust Boosting for Learning from Few Examples.	CVPR (1)	2005	DBLP DOI BibTeX RDF
11	Terry Moreland, Chih Jeng Kenneth Tan	Performance of Linear Algebra Code: Intel Xeon EM64T and ItaniumII Case Examples.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	Systems of linear algebraic equations, Architecture specific tuning, Eigensolvers, SVD, Eigenvalues, Linear solver, Diagonalizer
11	Frank J. Balbach	Teaching Classes with High Teaching Dimension Using Few Examples.	COLT	2005	DBLP DOI BibTeX RDF
11	Juan Raposo, Alberto Pan, Manuel Álvarez, Justo Hidalgo	Automatically Generating Labeled Examples for Web Wrapper Maintenance.	Web Intelligence	2005	DBLP DOI BibTeX RDF
11	Martti Soininen	Segments of the Mobile Internet Industry - Examples from Finland and Japan.	ICMB	2005	DBLP DOI BibTeX RDF
11	Alex Levinshtein, Cristian Sminchisescu, Sven J. Dickinson	Learning Hierarchical Shape Models from Examples.	EMMCVPR	2005	DBLP DOI BibTeX RDF
11	Haiyi Zhang, Jin Lei	A positive extension matrix algorithmAE18 of learning from examples.	GrC	2005	DBLP DOI BibTeX RDF
11	Tsau Young Lin	Granular computing: examples, intuitions and modeling.	GrC	2005	DBLP DOI BibTeX RDF
11	Xiaoli Li 0001, Rohit Joshi, Sreeram Ramachandaran, Tze-Yun Leong	Classifying Biomedical Citations without Labeled Training Examples.	ICDM	2004	DBLP DOI BibTeX RDF
11	Werner Winiwarter	Automatic Acquisition of Transfer Rules from Translation Examples.	EsTAL	2004	DBLP DOI BibTeX RDF
11	Mikhail Alexandrov, Xavier Blanco, Pavel Makagonov	Testing Word Similarity: Language Independent Approach with Examples from Romance.	NLDB	2004	DBLP DOI BibTeX RDF
11	Thijs Westerveld, Arjen P. de Vries	Multimedia Retrieval Using Multiple Examples.	CIVR	2004	DBLP DOI BibTeX RDF
11	Arkady Bolotin	Replacing Indicator Variables by Fuzzy Membership Functions in Statistical Regression Models: Examples of Epidemiological Studies.	ISBMDA	2004	DBLP DOI BibTeX RDF
11	Michael Pieper, Renate Anderweit, Beate Schulte, Ulrike Peter, Jutta Croll, Iris Cornelssen	Methodological Approaches to Identify Honorable Best Practice in Barrier-Free Web Design - Examples from Germany's 1st BIENE Award Competition.	User Interfaces for All	2004	DBLP DOI BibTeX RDF
11	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
11	Bing Liu 0001, Yang Dai, Xiaoli Li 0001, Wee Sun Lee, Philip S. Yu	Building Text Classifiers Using Positive and Unlabeled Examples.	ICDM	2003	DBLP DOI BibTeX RDF
11	Igor Rojdestvenski	Objective and subjective relations in data visualization. Examples from molecular biological data collections.	IV	2003	DBLP DOI BibTeX RDF
11	Nina S. T. Hirata, Roberto Hirata Jr.	Design of Order Statistic Filters from Examples.	SIBGRAPI	2003	DBLP DOI BibTeX RDF
11	Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns	Problems and Solutions for Markup for Mathematical Examples and Exercises.	MKM	2003	DBLP DOI BibTeX RDF	markup for mathematics documents, knowledge representation
11	John Minor Ross	Guiding students through programming puzzles: value and examples of Java game assignments.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
11	Radim Belohlávek	Fuzzy closure operators II: induced relations, representation, and examples.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Fuzzy equivalence, Fuzzy quasiorder, Consequence relation, Closure operator
11	Shigeaki Sakurai, Yumi Ichimura, Akihiro Suyama, Ryohei Orihara	Acquisition of a Knowledge Dictionary from Training Examples Including Multiple Values.	ISMIS	2002	DBLP DOI BibTeX RDF
11	Ian H. Witten	Examples of Practical Digital Libraries: Collections Built Internationally Using Greenstone.	ICADL	2002	DBLP DOI BibTeX RDF
11	Spyros G. Tzafestas, Elpida Tzafestas	Human-Machine Interaction in Intelligent Robotic Systems: A Unifying Consideration with Implementation Examples.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	intelligent robotic system, Human-Machine Interface (HMI), natural language HMI, graphical HMI, force sensing/tactile HMI, kinesthetic HMI