Search results for "examples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Manfred Göbel	Visualizing Properties of Comprehensive SAGBI Bases - Two Examples.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Algorithmic invariant theory, Comprehensive SAGBI bases, Alternating and symmetric groups, Conjugation
11	Dariu Gavrila, Jan Giebel, Heiko Neumann	Learning Shape Models from Examples.	DAGM-Symposium	2001	DBLP DOI BibTeX RDF
11	Iliano Cervesato	Typed MSR: Syntax and Examples.	MMM-ACNS	2001	DBLP DOI BibTeX RDF
11	Wenjie He, Ming-Jun Lai	Examples of bivariate nonseparable compactly supported orthonormal continuous wavelets.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
11	Greg Reeve, Steve Reeves	mu-Charts and Z: examples and extensions.	APSEC	2000	DBLP DOI BibTeX RDF	mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language
11	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
11	Carlos Ferreira 0001, Beatriz Sousa Santos	Information Visualization in Locating Obnoxious Facility: Some Examples with Mono and Bicriteria Models.	IV	2000	DBLP DOI BibTeX RDF	obnoxious facilities, routing, Information Visualization, location
11	Brigitte Chebel-Morello, E. Lereno, Pierre Baptiste	A New Algorithm to Select Learning Examples from Learning Data.	IDEAL	2000	DBLP DOI BibTeX RDF
11	Alessandra Lumini, Dario Maio	Haruspex: An Image Database System for Query-by-Examples.	ICPR	2000	DBLP DOI BibTeX RDF
11	Michael Ogg	A middleware overview: goals, research issues, and coded examples (abstract).	PODC	2000	DBLP DOI BibTeX RDF
11	Bruno Cernuschi-Frías, Enrique Carlos Segura	On Learning Mean Values in Hopfield Associative Memories Trained with Noisy Examples Using the Hebb Rule.	IJCNN (4)	2000	DBLP DOI BibTeX RDF	Clustering, Neural Networks, Classification, Unsupervised Learning
11	Jiang Gao, Xiaoqing Ding, Jing Zheng	Image Pattern Recognition Based on Examples - A Combined Statistical and Structural-Syntactic Approach.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
11	Roni Khardon, Heikki Mannila, Dan Roth	Reasoning with Examples: Propositional Formulae and Database Dependencies.	Acta Informatica	1999	DBLP DOI BibTeX RDF
11	Berthier A. Ribeiro-Neto, Alberto H. F. Laender, Altigran Soares da Silva	Extracting Semi-Structured Data Through Examples.	CIKM	1999	DBLP DOI BibTeX RDF
11	Cynthia A. Thompson, Mary Elaine Califf	Improving Learning by Choosing Examples Intelligently in Two Natural Language Tasks.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
11	Ryuichi Takahashi, Noriyoshi Yoshida	Diagonal Examples for Design Space Exploration in an Educational Environment CITY-1.	MSE	1999	DBLP DOI BibTeX RDF
11	S. M. Achasova	Two Examples of Distributed Architecture for Solving Combinatorial Optimization Problems.	PaCT	1999	DBLP DOI BibTeX RDF
11	M. R. K. Krishna Rao, Abdul Sattar 0001	Learning Logic Programs with Local Variables from Positive Examples.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
11	Dominique Bouthinon, Henry Soldano	An Inductive Logic Programming Framework to Learn a Concept from Ambiguous Examples.	ECML	1998	DBLP DOI BibTeX RDF
11	Jutta Eusterbrock	Program Synthesis from Examples by Theory Formation.	ISMIS	1997	DBLP DOI BibTeX RDF
11	Jörg Raisch, Eberhard Klein, Siu O'Young, Christian Meder, Alexander Itigin	Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
11	Dejan Markovic, Jack R. Hagemeister, C. S. Raghavendra 0001, Sanjay Bhansali	Semi-automatic Generation of Parallelizable Patterns from Source Code Examples.	WPC	1997	DBLP DOI BibTeX RDF
11	Julio Tanomaru	Evolving Turing Machines from Examples.	Artificial Evolution	1997	DBLP DOI BibTeX RDF
11	Ursula Martin	Theorem Proving with Group Presentations: Examples and Questions.	CADE	1996	DBLP DOI BibTeX RDF
11	Tevfik Bultan, Jeffrey Fischer, Richard Gerber 0001	Compositional Verification by Model Checking for Counter-Examples.	ISSTA	1996	DBLP DOI BibTeX RDF
11	Juan A. Carrasco, Angel Calderón	Regenerative Randomization: Theory and Application Examples.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
11	Pascal Jappy, Marie-Catherine Daniel-Vatonne, Olivier Gascuel, Colin de la Higuera	Learning from Recursive, Tree Structured Examples.	ECML	1994	DBLP DOI BibTeX RDF
11	Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy	Examples of Automatic Theorem Proving a Real Geometry.	ISSAC	1994	DBLP DOI BibTeX RDF
11	Ibrahim F. Imam, Ryszard S. Michalski	Should Decision Trees be Learned from Examples of from Decision Rules?	ISMIS	1993	DBLP DOI BibTeX RDF	machine learning, decision trees, inductive learning, decision rules
11	Wing Cheung Tam	Teaching loop invariants to beginners by examples.	SIGCSE	1992	DBLP DOI BibTeX RDF
11	Kevin J. Lang	Random DFA's Can Be Approximately Learned from Sparse Uniform Examples.	COLT	1992	DBLP DOI BibTeX RDF
11	Barry W. Boehm, Rony Ross	Theory-W Software Project Management: Principles and Examples.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Theory-W software project management, software engineering, information systems, case study, project engineering
11	Michael Britt	APEX1, a library of dynamic programming examples.	SIGCSE	1989	DBLP DOI BibTeX RDF
11	Martin Gfeller	A Future APL: Examples and Problems.	APL	1989	DBLP DOI BibTeX RDF	APL
11	Leonard Pitt, Leslie G. Valiant	Computational limitations on learning from examples.	J. ACM	1988	DBLP DOI BibTeX RDF
11	Yukihide Takayama	QPC: QJ-based Proof Compiler - Simple Examples and Analysis.	ESOP	1988	DBLP DOI BibTeX RDF
11	J. Philip Benkard	Some APL2 Programming Examples Using Nested Arrays.	APL	1988	DBLP DOI BibTeX RDF	APL
11	F. Hendriks	APL and Finite Elements for Solving Convection-Diffusion Problems, with Examples from Gas Bearing Design.	APL	1988	DBLP DOI BibTeX RDF	APL
11	Ronald T. House	Thoughts on "Extended Pascal - Illustrative Examples".	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
11	Sjouke Mauw	An Algebraic Specification of Process Algebra, Including Two Examples.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
11	Ronald N. Goldman	Markov Chains and Computer Aided Geometric Design II - Examples and Subdivision Matrices.	ACM Trans. Graph.	1985	DBLP DOI BibTeX RDF
11	Bengt Nordström	Programming with abstract data types, some examples.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Graphs, Mappings, Pascal, Pascal, Pointers
11	Dines Bjørner	Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
10	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
10	Steven C. H. Hoi, Rong Jin 0001, Jianke Zhu, Michael R. Lyu	Semisupervised SVM batch mode active learning with applications to image retrieval.	ACM Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF	batch mode active learning, human-computer interaction, support vector machines, Content-based image retrieval, active learning, semisupervised learning
10	Rafael Guzmán-Cabrera, Paolo Rosso, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, David Pinto Avendaño	Semi-supervised Word Sense Disambiguation Using the Web as Corpus.	CICLing	2009	DBLP DOI BibTeX RDF
10	Yun-Chao Gong, Chuanliang Chen, Min Shen, Zengmei Fu	Semi-supervised Discriminant Analyze with Instance-Level Constraints.	HPCC	2008	DBLP DOI BibTeX RDF
10	Steven C. H. Hoi, Rong Jin 0001, Jianke Zhu, Michael R. Lyu	Semi-supervised SVM batch mode active learning for image retrieval.	CVPR	2008	DBLP DOI BibTeX RDF
10	Jiangtao Ren, Zhengyuan Qiu, Wei Fan 0001, Hong Cheng 0001, Philip S. Yu	Forward Semi-supervised Feature Selection.	PAKDD	2008	DBLP DOI BibTeX RDF	feature selection, semi-supervised learning
10	Carlos Pinto, João Gama 0001	Incremental discretization, application to data with concept drift.	SAC	2007	DBLP DOI BibTeX RDF
10	Margarita Osadchy, Daniel Keren	Incorporating the Boltzmann Prior in Object Detection Using SVM.	CVPR (2)	2006	DBLP DOI BibTeX RDF
10	Ulf Brefeld, Thomas Gärtner 0001, Tobias Scheffer, Stefan Wrobel	Efficient co-regularised least squares regression.	ICML	2006	DBLP DOI BibTeX RDF
10	Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde	Generating Annotated Behavior Models from End-User Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation
10	Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder	Timid acquisition of constraint satisfaction problems.	SAC	2005	DBLP DOI BibTeX RDF	machine learning, constraint satisfaction
10	Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.	TACAS	2005	DBLP DOI BibTeX RDF
10	Masayuki Nakamura, Hiroki Nomiya, Kuniaki Uehara	Improvement of Boosting Algorithm by Modifying the Weighting Rule.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	hard example, weighting rule, errorbound, NadaBoost, AdaBoost
10	Yi Lu Murphey, Hong Guo, Lee A. Feldkamp	Neural Learning from Unbalanced Data.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	unbalanced data, data noise, neural networks, machine learning
10	Katsuaki Kawachi, Takeo Kanade, Hiromasa Suzuki	A lightweight algorithm for real-time motion synthesis.	VRST	2004	DBLP DOI BibTeX RDF	character animation, inverse kinematics
10	HuaMin Feng, Tat-Seng Chua	A bootstrapping approach to annotating large image collection.	Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF	active learning, image annotation, bootstrapping, co-training
10	Davide Sangiorgi	Taming Mobile Processes Using Types.	SEFM	2003	DBLP DOI BibTeX RDF
10	Andrew Skabar	Single-Class Classification Augmented with Unlabeled Data: A Symbolic Approach.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
10	Deborah R. Carvalho, Alex Alves Freitas	A Genetic Algorithm-Based Solution for the Problem of Small Disjuncts.	PKDD	2000	DBLP DOI BibTeX RDF
10	Eric McCreath	A Probabilistic Identification Result.	ALT	2000	DBLP DOI BibTeX RDF
10	Laurence Capus, Nicole Tourigny	A Cognitive Model for Automatic Narrative Summarization in a Self-Educational System.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
10	Jianchao Han, Nick Cercone	Typical Example Selection for Learning Classifiers.	AI	2000	DBLP DOI BibTeX RDF	machine learning, classification, Data reduction
10	Todd Eavis, Nathalie Japkowicz	A Recognition-Based Alternative to Discrimination-Based Multi-layer Perceptrons.	AI	2000	DBLP DOI BibTeX RDF
10	Rajesh Parekh, Codrin M. Nichitiu, Vasant G. Honavar	A Polynominal Time Incremental Algorithm for Learning DFA.	ICGI	1998	DBLP DOI BibTeX RDF
10	Hiroshi Sakamoto	Finding a One-Variable Pattern from Incomplete Data.	ALT	1998	DBLP DOI BibTeX RDF
10	Michèle Sebag	Using Constraints to Building Version Spaces.	ECML	1994	DBLP DOI BibTeX RDF
10	Yves Kodratoff, Gheorghe Tecuci	Learning Based on Conceptual Distance.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	conceptual distance, hierarchical conceptual clustering, artificial intelligence, artificial intelligence, knowledge acquisition, knowledge acquisition, learning systems, cohesiveness, numerical methods, concept learning, symbolic methods
10	Richard J. Enbody, David Hung-Chang Du	Near-optimal n-layer channel routing.	DAC	1986	DBLP DOI BibTeX RDF
10	Michael A. Bauer 0001	Soundness and Completeness of a Synthesis Algorithm Based on Example Computations	J. ACM	1985	DBLP DOI BibTeX RDF
10	Robert P. Nix	Editing by Example.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
9	Yuanjie Yan, Yuxuan Bu, Furao Shen, Jian Zhao 0013	Improving the transferability of adversarial examples with separable positive and negative disturbances.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
9	Yuexin Xiang, Tiantian Li, Wei Ren 0002, Jie He, Tianqing Zhu, Kim-Kwang Raymond Choo	AdvEWM: Generating image adversarial examples by embedding digital watermarks.	J. Inf. Secur. Appl.	2024	DBLP DOI BibTeX RDF
9	Mayra Alexandra Macas Carrasco, Chun-Ming Wu 0001, Walter Fuertes	Adversarial examples: A survey of attacks and defenses in deep learning-enabled cybersecurity systems.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
9	Masahiro Sanka, Songling Shan	An Ore-Type Condition for Hamiltonicity in Tough Graphs and the Extremal Examples.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
9	Jun Liu 0071, Jiantao Zhou 0001, Haiwei Wu, Weiwei Sun 0009, Jinyu Tian	Generating Robust Adversarial Examples against Online Social Networks (OSNs).	ACM Trans. Multim. Comput. Commun. Appl.	2024	DBLP DOI BibTeX RDF
9	Lei Xu, Junhai Zhai	Generating adversarial examples with collaborative generative models.	Int. J. Inf. Sec.	2024	DBLP DOI BibTeX RDF
9	Jiale Duan, Linyao Qiu, Guangjun He, Ling Zhao, Zhenshi Zhang, Haifeng Li 0007	A Region-Adaptive Local Perturbation-Based Method for Generating Adversarial Examples in Synthetic Aperture Radar Object Detection.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
9	Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf 0002	Learning from positive and negative examples: New proof for binary alphabets.	Inf. Process. Lett.	2024	DBLP DOI BibTeX RDF
9	Wen Li, Hengyou Wang, Lianzhi Huo, Qiang He 0003, Linlin Chen, Zhiquan He, Wing W. Y. Ng	Low-rank matrix recovery with total generalized variation for defending adversarial examples.	Frontiers Inf. Technol. Electron. Eng.	2024	DBLP DOI BibTeX RDF
9	Sensen Guo, Xiaoyu Li, Peican Zhu, Baocang Wang, Zhiying Mu, Jinxiong Zhao	MixCam-attack: Boosting the transferability of adversarial examples with targeted data augmentation.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
9	Andrzej Piegat, Marcin Plucinski	Solution of the basic tolerant interval and fuzzy equation using Shifted Membership Function method with examples of applications.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
9	Zizhong Zhu, Shuang Li, Yaokun Liu, Xiaowang Zhang, Zhiyong Feng 0002, Yuexian Hou	High-level preferences as positive examples in contrastive learning for multi-interest sequential recommendation.	World Wide Web (WWW)	2024	DBLP DOI BibTeX RDF
9	Ping Chen, Ming Xu, Jianxiang Qi	DeepFake detection against adversarial examples based on D-VAEGAN.	IET Image Process.	2024	DBLP DOI BibTeX RDF
9	Julia Nako, Costas Psychalinos, Fabian Khateb, Ahmed S. Elwakil	Bilinear Double-Order Filter Designs and Application Examples.	IEEE Access	2024	DBLP DOI BibTeX RDF
9	Nikolaos Halidias	Option pricing: Examples and open problems.	Monte Carlo Methods Appl.	2024	DBLP DOI BibTeX RDF
9	Ebrahim Ali Nehary, Sreeraman Rajan	Phonocardiogram Classification by Learning From Positive and Unlabeled Examples.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
9	Wenzhao Liu, Wanli Zhang, Kuiwu Yang, Yue Chen, Kaiwei Guo, Jianghong Wei	Enhancing Generalization in Few-Shot Learning for Detecting Unknown Adversarial Examples.	Neural Process. Lett.	2024	DBLP DOI BibTeX RDF
9	Ye Peng, Guobin Fu, Qi Yu, Yingguang Luo, Jia Hu, Chaofan Duan	Enhancing the anti-steganalysis ability of steganography via adversarial examples.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
9	Stan Lipovetsky	Specific Features of Polynomials in Several Examples.	Axioms	2024	DBLP DOI BibTeX RDF
9	Tatsuya Oyama, Kota Yoshida, Shunsuke Okura, Takeshi Fujino	Adversarial Examples Created by Fault Injection Attack on Image Sensor Interface.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
9	Tao Bai, Yiming Cao, Yonghao Xu, Bihan Wen	Stealthy Adversarial Examples for Semantic Segmentation in Remote Sensing.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
9	Yu Zhang, Jianqi Chen, Liqin Liu, Keyan Chen, Zhenwei Shi, Zhengxia Zou	Generating Imperceptible and Cross-Resolution Remote Sensing Adversarial Examples Based on Implicit Neural Representations.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
9	Chao-Lin Liu, Wei-Ting Chang, Chang-Ting Chu, Ti-Yong Zheng	Machine learning and data analysis for word segmentation of classical Chinese poems: illustrations with Tang and Song examples.	Digit. Scholarsh. Humanit.	2024	DBLP DOI BibTeX RDF
9	Haozheng Yu, Bing Fan, Bing Xu, Xiaogang Zhu	SharpenNet: Detecting Anti-Forensics USM Sharpening Adversarial Examples Based on ConvNeXt.	J. Circuits Syst. Comput.	2024	DBLP DOI BibTeX RDF
9	Julia Nako, Costas Psychalinos, Ahmed S. Elwakil	Complex-order controller design examples and their implementation.	Int. J. Circuit Theory Appl.	2024	DBLP DOI BibTeX RDF
9	Suphanut Jamonnak, Jiajing Guo, Wenbin He, Liang Gou, Liu Ren	OW-Adapter: Human-Assisted Open-World Object Detection with a Few Examples.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
9	Fan-Hsun Tseng, Jiang-Yi Zeng, Chi-Yuan Chen, Hsin-Hung Cho	Effective Adversarial Examples Detection Improves Screw Detection in Dust Pollution Within Industry System.	IEEE Trans. Consumer Electron.	2024	DBLP DOI BibTeX RDF