Search results for "concept"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Jing Peng, Dongqing Yang, Changjie Tang, Jing Zhang, Jianjun Hu	CACS: A Novel Classification Algorithm Based on Concept Similarity.	ADMA	2007	DBLP DOI BibTeX RDF	Concept Similarity, Correlation Computing, Classification, k-NN
17	Csaba Veres	Concept Modeling by the Masses: Folksonomy Structure and Interoperability.	ER	2006	DBLP DOI BibTeX RDF	concept modeling, interoperability, tagging, folksonomy, Web2.0
17	Haixun Wang, Jian Yin 0002, Jian Pei, Philip S. Yu, Jeffrey Xu Yu	Suppressing model overfitting in mining concept-drifting data streams.	KDD	2006	DBLP DOI BibTeX RDF	data streams, classifier, concept drift, classifier ensemble
17	Maheshkumar H. Kolekar, Somnath Sengupta	Semantic concept extraction from sports video for highlight generation.	MobiMedia	2006	DBLP DOI BibTeX RDF	sports highlights, association, semantic concept, a priori algorithm
17	Shahram Ebadollahi, Anni Coden, Michael A. Tanenblatt, Shih-Fu Chang, Tanveer Fathima Syeda-Mahmood, Arnon Amir	Concept-based electronic health records: opportunities and challenges.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	multimedia analytics, electronic health records, concept detection, medical decision support
17	Ygal Bendavid, Samuel Fosso Wamba, Louis A. Lefebvre	Proof of concept of an RFID-enabled supply chain in a B2B e-commerce environment.	ICEC	2006	DBLP DOI BibTeX RDF	process optimization, utility industry, RFID, ERP, supply chain, warehouse, proof of concept
17	Ming Zhong 0013, Xiangji Huang 0001	Concept-based biomedical text retrieval.	SIGIR	2006	DBLP DOI BibTeX RDF	biomedical text retrieval, information retrieval, concept
17	George Forman	Tackling concept drift by temporal inductive transfer.	SIGIR	2006	DBLP DOI BibTeX RDF	machine learning, support vector machine, time series, text classification, concept drift, topic identification, inductive transfer
17	Xinrong Xie, Denys Poshyvanyk, Andrian Marcus	3D visualization for concept location in source code.	ICSE	2006	DBLP DOI BibTeX RDF	information retrieval, software visualization, concept location
17	Fabricio Anastacio, Mario Costa Sousa, Faramarz F. Samavati, Joaquim A. Jorge	Modeling plant structures using concept sketches.	NPAR	2006	DBLP DOI BibTeX RDF	concept sketch, phyllotaxis, sketch-based interface and modeling, non-photorealistic rendering, plant modeling
17	Minghu Jiang, Lin Wang 0006, Yinghua Lu, Shasha Liao	A RBF Network for Chinese Text Classification Based on Concept Feature Extraction.	ICONIP (3)	2006	DBLP DOI BibTeX RDF	concept feature, text classification, RBF network
17	Naouel Moha, Jihene Rezgui, Yann-Gaël Guéhéneuc, Petko Valtchev, Ghizlane El-Boussaidi	Using FCA to Suggest Refactorings to Correct Design Defects.	CLA	2006	DBLP DOI BibTeX RDF	Refactoring, Formal Concept Analysis, Design Defects
17	Tamara Sumner, Faisal Ahmad, Sonal Bhushan, Qianyi Gu, Francis Javier Molina, Stedman Willard, Michael J. Wright, Lynne Davis, Greg Janee	Linking learning goals and educational resources through interactive concept map visualizations.	Int. J. Digit. Libr.	2005	DBLP DOI BibTeX RDF	Science education standards, Web services, Concept maps, Visualization interfaces, Educational digital library
17	Claire J. Thie, Christophe G. Giraud-Carrier	Learning Concept Descriptions with Typed Evolutionary Programming.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	typed evolutionary programming, Concept learning
17	Sriraman Tallam, Neelam Gupta	A concept analysis inspired greedy algorithm for test suite minimization.	PASTE	2005	DBLP DOI BibTeX RDF	test cases, concept analysis, testing requirements, test suite minimization
17	Nelson A. Baloian, Henning Breuer, Wolfram Luther	Algorithm visualization using concept keyboards.	SOFTVIS	2005	DBLP DOI BibTeX RDF	XML-based interface, concept keyboards, algorithm animation, algorithm visualization
17	Igor Ivkovic, Kostas Kontogiannis	Using Formal Concept Analysis to Establish Model Dependencies.	ITCC (2)	2005	DBLP DOI BibTeX RDF	model dependencies, software evolution, formal concept analysis, software modelling, model synchronization
17	Adrian Lienhard, Stéphane Ducasse, Gabriela Arévalo	Identifying traits with formal concept analysis.	ASE	2005	DBLP DOI BibTeX RDF	logical views, formal concept analysis, mixins, traits
17	Alain Gély	A Generic Algorithm for Generating Closed Sets of a Binary Relation.	ICFCA	2005	DBLP DOI BibTeX RDF	Galois or concept lattice, Closure operator, Generation algorithm
17	Yoichi Hiramatsu, Seiji Koide	Ontology modeling tool with concept dictionary.	IUI	2004	DBLP DOI BibTeX RDF	concept dictionary, editing tool, web service, inference, ontology modeling
17	Baoyao Zhou, Siu Cheung Hui, Kuiyu Chang	A Formal Concept Analysis Approach for Web Usage Mining.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	data mining, association rules, knowledge-based systems, knowledge discovery, Formal Concept Analysis, web usage mining, web intelligence
17	Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini	Supporting Concept Assignment in the Comprehension of Web Applications.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concept Assignment Process, Reverse Engineering, Program Comprehension, Web Engineering
17	Michaela M. Black, Ray J. Hickey	Learning classification rules for telecom customer call data under concept drift.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Decision trees, User profiling, Concept drift, Adaptive learning
17	Uri Dekel, Joseph Gil	Visualizing class interfaces with formal concept analysis.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	feature categorization, reverse-engineering, documentation, classes, concept analysis
17	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus	Debugging temporal specifications with concept analysis.	PLDI	2003	DBLP DOI BibTeX RDF	specification debuggers, hierarchical clustering, concept analysis, temporal specifications
17	Ikkyu Choi, Minkoo Kim	Topic distillation using hierarchy concept tree.	SIGIR	2003	DBLP DOI BibTeX RDF	hierarchy concept tree, link analysis, topic distillation
17	Matti Mikkonen, S. Väyrynen, V. Ikonen, M. O. Heikkilä	User and Concept Studies as Tools in Developing Mobile Communication Services for the Elderly.	Pers. Ubiquitous Comput.	2002	DBLP DOI BibTeX RDF	Concept study, Mobile communication services, Mobile device, User study, Elderly people, Disabled people
17	Ying Liu, Naixiao Zhang	On Concept-Based Definition of Domain-Specific Languages.	ICFEM	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics
17	Jun Wang 0142, Bei Yu 0002, Les Gasser	Concept Tree Based Clustering Visualization with Shaded Similarity Matrices.	ICDM	2002	DBLP DOI BibTeX RDF	Clustering Visualization, Shaded Similarity Matrix, Conceptual Clustering, Concept Tree
17	Jens H. Jahnke, Jörg P. Wadsack, Albert Zündorf	A History Concept for Design Recovery Tools.	CSMR	2002	DBLP DOI BibTeX RDF	history concept, reverse engineering, Software maintenance, reengineering, design recovery, software transformation
17	Kathleen Luchini, Chris Quintana, Joseph Krajcik, Chris Farah, Nayan Nandihalli, Kyle Reese, Adam Wieczorek, Elliot Soloway	Scaffolding in the small: designing educational supports for concept mapping on handheld computers.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	concept map, handhelds, scaffolds, learner centered design
17	Giuliano Antoniol, Massimiliano Di Penta, Gerardo Casazza, Ettore Merlo	A Method to Re-Organize Legacy Systems via Concept Analysis.	IWPC	2001	DBLP DOI BibTeX RDF	architectural restructuring, dependency removals, program understanding, concept analysis
17	Takashi Yukawa, Kaname Kasahara, Tsuneaki Kato, Toshiro Kita	An Expert Recommendation System Using Concept-Based Relevance Discernment.	ICTAI	2001	DBLP DOI BibTeX RDF	information retrieval, recommendation system, knowledge management, vector space model, concept base
17	Cosimo Anglano, Attilio Giordana, Giuseppe Lo Bello, Lorenza Saitta	Coevolutionary, Distributed Search for Inducing Concept Description.	ECML	1998	DBLP DOI BibTeX RDF	Coevolution, Concept Learning, Parallel Genetic Algorithms
17	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
17	Miroslav Kubat	Flexible concept learning in real-time systems.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	flexible concepts, rough sets, Concept learning
17	Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts	Program Concept Recognition and Transformation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated concept recognition, software maintenance, software maintenance, program transformations, program understanding, programming theory, software reengineering
17	Francesco Bergadano, Attilio Giordana, Lorenza Saitta	Automated Concept Acquisition in Noisy Environments.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	automated concept acquisition, learning methodology, discriminant descriptions, clusters, machine learning, pattern recognition, computational complexity, computational complexity, artificial intelligence, artificial intelligence, speech recognition, speech recognition, knowledge acquisition, knowledge engineering, knowledge engineering, learning systems, formal logic, graph structure, noisy environments
17	Jerzy W. Bala, Peter Pachowicz, Harry Wechsler	Learning with Noise in Engineering Domains.	ISMIS	1996	DBLP DOI BibTeX RDF
17	Craig Boutilier, Kevin Regan 0001, Paolo Viappiani	Preference elicitation with subjective features.	RecSys	2009	DBLP DOI BibTeX RDF	minimax regret, recommender systems, concept learning, preference elicitation, version space
17	Nida Meddouri, Mondher Maddouri	Boosting Formal Concepts to Discover Classification Rules.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Data mining, Machine Learning, Boosting, Classification rules, Formal Concept
17	Kambiz Badie, Maryam Tayefeh Mahmoudi	View-Point Oriented Manipulation of Concepts: A Matching Perspective.	ICDS	2008	DBLP DOI BibTeX RDF	concept composition, conceptual integration, view-point oriented manipulation, matching
17	Bo Geng, Linjun Yang, Chao Xu 0006, Xian-Sheng Hua 0001	Collaborative learning for image and video annotation.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	concept correlation, image annotation, video annotation
17	Hak Lae Kim, Suk-hyung Hwang, Hong-Gee Kim	FCA-based approach for mining contextualized folksonomy.	SAC	2007	DBLP DOI BibTeX RDF	clustering, tagging, folksonomy, formal concept analysis
17	Jiayu Zhou, Shi Wang, Cungen Cao 0001	A Google-Based Statistical Acquisition Model of Chinese Lexical Concepts.	KSEM	2007	DBLP DOI BibTeX RDF	concept acquisition, text mining, knowledge discovery
17	Yi Ouyang 0005, Yun Ling, Anding Zhu	ECC-Based Fuzzy Clustering Algorithm.	ICFIE	2007	DBLP DOI BibTeX RDF	Unsupervised Clustering Methods, Ecommerce Concept, Kmeans, Fuzzy C-means
17	Thanh Tho Quan, Siu Cheung Hui, Alvis Cheuk M. Fong, Tru Hoang Cao	Automatic Fuzzy Ontology Generation for Semantic Web.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	” probabilistic, uncertainty, fuzzy, concept learning, ontology design, Intelligent Web services and semantic Web, knowledge representation formalisms and methods
17	Hyun-Jun Kim, Jenu Shrestha, Heung-Nam Kim, GeunSik Jo	User Action Based Adaptive Learning with Weighted Bayesian Classification for Filtering Spam Mail.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Weighted Bayesian, Concept Drift, Adaptive Learning, Spam Filtering
17	Zbigniew Les, Magdalena Les	Shape Understanding: Knowledge Generation and Learning.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	shape understanding, shape classes, visual concept, Knowledge discovery, knowledge generation
17	Dana Angluin, Martins Krikis	Learning from Different Teachers.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	programming system, oracle Turing machine, concept learning, teacher, hint, complexity bound
16	Wei Jin 0006, Rohini K. Srihari, Xin Wu	Mining Concept Associations for Knowledge Discovery Through Concept Chain Queries.	PAKDD	2007	DBLP DOI BibTeX RDF	Text Mining, Knowledge Discovery, Link Analysis
16	Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev	A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data.	ICFCA	2007	DBLP DOI BibTeX RDF
16	Christian Zschalig	Bipartite Ferrers-Graphs and Planar Concept Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF
16	Tim B. Kaiser, Stefan E. Schmidt, Cliff A. Joslyn	Concept Lattice Representations of Annotated Taxonomies.	CLA	2006	DBLP DOI BibTeX RDF
16	Karl Erich Wolff, Wendsomde Yameogo	Turing Machine Representation in Temporal Concept Analysis.	ICFCA	2005	DBLP DOI BibTeX RDF
16	Christian Biemann, Karsten Böhm, Gerhard Heyer, Ronny Melz	Automatically Building Concept Structures and Displaying Concept Trails for the Use in Brainstorming Sessions and Content Management Systems.	IICS	2004	DBLP DOI BibTeX RDF
16	Yannis Kalfoglou, Srinandan Dasmahapatra, Yun-Heh Chen-Burger	FCA in Knowledge Technologies: Experiences and Opportunities.	ICFCA	2004	DBLP DOI BibTeX RDF
16	Huaiguo Fu, Engelbert Mephu Nguifo	A Parallel Algorithm to Generate Formal Concepts for Large Data.	ICFCA	2004	DBLP DOI BibTeX RDF
16	Björn Vormbrock	A First Step towards Protoconcept Exploration.	ICFCA	2004	DBLP DOI BibTeX RDF
16	Marc Ricordeau	Q-Concept-Learning: Generalization with Concept Lattice Representation in Reinforcement Learning.	ICTAI	2003	DBLP DOI BibTeX RDF
16	Rohana K. Rajapakse, Michael J. Denham	Concept Based Adaptive IR Model Using FCA-BAM Combination for Concept Representation and Encoding.	ECIR	2002	DBLP DOI BibTeX RDF
16	Kewen Wang 0001, Zhe Wang 0001, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou	Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies.	ISWC	2009	DBLP DOI BibTeX RDF
16	Mohd Zakree Ahmad Nazri, Siti Mariyam Hj. Shamsuddin, Azuraliza Abu Bakar, Salwani Abdullah	A Hybrid Approach for Learning Concept Hierarchy from Malay Text Using GAHC and Immune Network.	ICARIS	2009	DBLP DOI BibTeX RDF	Machine Learning, Semantic Web, Artificial Immune System, Ontology Engineering, Ontology Learning, Immune Network
16	Pawan Goyal 0002, Laxmidhar Behera, T. Martin McGinnity	An Information Retrieval Model Based on Automatically Learnt Concept Hierarchies.	ICSC	2009	DBLP DOI BibTeX RDF
16	Masoud Nikravesh	Concept-based search and questionnaire systems.	Soft Comput.	2008	DBLP DOI BibTeX RDF	PNL, NeuSearch, Z(n)-compact, BISC-DSS, Semantic Web, Fuzzy query, Fuzzy search
16	Shinq-Jen Wu	Reply to "Further Comment on "Optimal Fuzzy Controller Design: Local Concept Approach"".	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
16	Martin Farach-Colton, Yang Huang	A Linear Delay Algorithm for Building Concept Lattices.	CPM	2008	DBLP DOI BibTeX RDF
16	Samrend Saboor, Elske Ammenwerth	A Concept for the Assessment of Electronic Communication in Integrated Information Systems.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Hospital information management, Classification, System architecture
16	Jorge J. Villalón, Rafael A. Calvo	Concept Map Mining: A Definition and a Framework for Its Evaluation.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
16	Shun Hattori, Katsumi Tanaka	Extracting Concept Hierarchy Knowledge from the Web Based on Property Inheritance and Aggregation.	Web Intelligence	2008	DBLP DOI BibTeX RDF
16	Markus Koskela, Alan F. Smeaton, Jorma Laaksonen	Measuring Concept Similarities in Multimedia Ontologies: Analysis and Evaluations.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
16	Masoud Nikravesh	Concept-Based Questionnaire System.	IFSA (2)	2007	DBLP DOI BibTeX RDF
16	Ickjai Lee, Kyungmi Lee	Higher Order Voronoi Diagrams for Concept Boundaries and Tessellations.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
16	Dapeng Liu, Shaochun Xu	A Combined Concept Location Method for Java Programs.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
16	Rui Shi, Chin-Hui Lee, Tat-Seng Chua	Enhancing image annotation by integrating concept ontology and text-based bayesian learning model.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	mixture model, MAP, automatic image annotation, MLE
16	Songze Qiu, Haiyang Wang, Li-zhen Cui	A New Concept Relatedness Measure of Heterogeneous Ontologies in Collaborative System.	CSCWD	2007	DBLP DOI BibTeX RDF
16	Kaori Komiya, Yoshie Sekiguchi, Hiroko Shoji, Toshikazu Kato	MochiFlash: A consensus building support system for cooperative work involving concept sharing.	SMC	2007	DBLP DOI BibTeX RDF
16	Cees G. M. Snoek, Marcel Worring	Are Concept Detector Lexicons Effective for Video Search?	ICME	2007	DBLP DOI BibTeX RDF
16	Yong Xu, Sen-xin Zhou	Distributed Association Rules Mining Based on Pruned Concept Lattices.	FSKD (3)	2007	DBLP DOI BibTeX RDF
16	Yan Liu 0006, QingXian Wang, Lei Guo, Qing Yao, Nan Lv, Qiang Wang 0009	The Optimization in News Search Engine Using Formal Concept Analysis.	FSKD (2)	2007	DBLP DOI BibTeX RDF
16	Xiaojing Liu, Wenbing Wu, Fei Yu, Deng Chang	The Algorithms of Constructing Concept Lattices Based On CAT With Cognitive Diagnosis.	IITA	2007	DBLP DOI BibTeX RDF
16	Yan Wang, Ming Li	Classification Rule Acquisition Based on Extended Concept Lattice.	LSMS (1)	2007	DBLP DOI BibTeX RDF
16	Sattar Hashemi, Ying Yang 0001, Majid Pourkashani, Mohammad Reza Kangavari 0001	To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
16	Jan G. Bazan, Andrzej Skowron, Roman W. Swiniarski	Rough Sets and Vague Concept Approximation: From Sample Approximation to Adaptive Learning.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	higher order vagueness, rough sets, constraints, reinforcement learning, intelligent systems, incremental learning, adaptive learning, Vagueness, approximation space
16	Yiyu Yao, Yaohua Chen	Rough Set Approximations in Formal Concept Analysis.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF
16	Ben Martin, Peter W. Eklund	Asymmetric Page Split Generalized Index Search Trees for Formal Concept Analysis.	ISMIS	2006	DBLP DOI BibTeX RDF
16	Alexey Tsymbal, Mykola Pechenizkiy, Padraig Cunningham, Seppo Puuronen	Handling Local Concept Drift with Dynamic Integration of Classifiers: Domain of Antibiotic Resistance in Nosocomial Infections.	CBMS	2006	DBLP DOI BibTeX RDF
16	Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu 0001	Using Concept-Based Indexing to Improve Language Modeling Approach to Genomic IR.	ECIR	2006	DBLP DOI BibTeX RDF
16	Lishi Zhang, Xiaodong Liu 0001	Concept Lattice and AFS Algebra.	FSKD	2006	DBLP DOI BibTeX RDF
16	Nees Jan van Eck, Ludo Waltman, Jan van den Berg	A Novel Algorithm for Visualizing Concept Associations.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
16	Ming Yin, Dion Hoe-Lian Goh, Ee-Peng Lim	On Discovering Concept Entities from Web Sites.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
16	Ming Li, Tong Wang	An Approach to Image Retrieval Based on Concept Lattices and Rough Set Theory.	PDCAT	2005	DBLP DOI BibTeX RDF
16	Jianping Fan 0001, Hangzai Luo, Ahmed K. Elmagarmid	Concept-oriented indexing of video databases: toward semantic sensitive retrieval and browsing.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
16	Peter D. Neuhaus, Michael O'Sullivan, David Eaton, John Carff, Jerry E. Pratt	Concept Designs for Underwater Swimming Exoskeletons.	ICRA	2004	DBLP DOI BibTeX RDF
16	Andrian Marcus, Andrey Sergeyev, Václav Rajlich, Jonathan I. Maletic	An Information Retrieval Approach to Concept Location in Source Code.	WCRE	2004	DBLP DOI BibTeX RDF
16	Shanzhen Yi, Bo Huang 0001, Weng Tat Chan	Retrieval of Heterogeneous Geographical Information Using Concept Brokering and Upper Level Ontology.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
16	Vasco Furtado, Alexandre Cavalcante	Using Color to Help in the Interactive Concept Formation..	SBIA	2004	DBLP DOI BibTeX RDF
16	Rudolf Wille	Implicational Concept Graphs.	ICCS	2004	DBLP DOI BibTeX RDF
16	César A. Muñoz, Gilles Dowek, Victor Carreño	Modeling and verification of an air traffic concept of operations.	ISSTA	2004	DBLP DOI BibTeX RDF	air traffic management systems, model checking, theorem proving
16	Peter Auer, Ronald Ortner	A New PAC Bound for Intersection-Closed Concept Classes.	COLT	2004	DBLP DOI BibTeX RDF