Search results for "incompleteness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Frederick Yip, Nandan Parameswaran, Pradeep Ray	Rules and Ontology in Compliance Management.	EDOC	2007	DBLP DOI BibTeX RDF
10	Mattijs Ghijsen, Wouter N. H. Jansweijer, Bob J. Wielinga	The effect of task and environment factors on M.A.S. coordination and reorganization.	AAMAS	2007	DBLP DOI BibTeX RDF	coordination cooperation and teamwork, social and organizational structures
10	Jian-Bo Yang, Jun Liu 0001, Jin Wang, How-Sing Sii, Hongwei Wang	Belief Rule-Base Inference Methodology Using the Evidential Reasoning Approach - RIMER.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
10	Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton	Application of abductive ILP to learning metabolic network inhibition from temporal data.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Abductive ILP, Modelling metabolic networks, Bioinformatics
10	Tao Lv 0001, Jianping Fan 0002, Xiaowei Li 0001, Ling-Yi Liu	Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	dynamic factored use-definition chains, observability, data-flow analysis, design verification, coverage metrics
10	Mohua Banerjee, Sushmita Mitra, Ashish Anand	Feature Selection Using Rough Sets.	Multi-Objective Machine Learning	2006	DBLP DOI BibTeX RDF
10	Alexander A. Letichevsky	Basic Protocols: Specification Language for Distributed Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
10	Mark Freischlad, Martina Schnellenbach-Held, Torben Pullmann	Evolutionary Generation of Implicative Fuzzy Rules for Design Knowledge Representation.	EG-ICE	2006	DBLP DOI BibTeX RDF
10	Peter Harvey, Chee Fon Chang, Aditya Ghose	Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing.	ArgMAS	2006	DBLP DOI BibTeX RDF
10	Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Sarvapali D. Ramchurn	Managing Social Influences Through Argumentation-Based Negotiation.	ArgMAS	2006	DBLP DOI BibTeX RDF
10	Giulio Manzonetto, Antonino Salibra	Boolean Algebras for Lambda Calculus.	LICS	2006	DBLP DOI BibTeX RDF
10	Steven P. Miller	Proving the Shalls: Requirements, Proofs, and Model-Based Development.	RE	2006	DBLP DOI BibTeX RDF
10	Gabriel Mateescu, Julio J. Valdés	Distributed Data Mining on Virtual Clusters.	HPCS	2006	DBLP DOI BibTeX RDF
10	Christophe Simon, Philippe Weber	Bayesian Networks Implementation of the Dempster Shafer Theory to Model Reliability Uncertainty.	ARES	2006	DBLP DOI BibTeX RDF
10	Shane Legg	Is There an Elegant Universal Theory of Prediction?	ALT	2006	DBLP DOI BibTeX RDF
10	Hui Li, Yang-Li Xiang, Jie Gu	A New Algorithm of Similarity Measuring for Multi-experts' Qualitative Knowledge Based on Outranking Relations in Case-Based Reasoning Methodology.	IDEAL	2006	DBLP DOI BibTeX RDF
10	Edward L. Jones	Test-driven specification: paradigm and automation.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	specification-driven testing, state box, model-based testing, decision table, functional coverage
10	Hernán Astudillo, Javier Pereira, Claudia A. López	Evaluating Alternative COTS Assemblies from Imperfect Component Information.	QoSA	2006	DBLP DOI BibTeX RDF
10	Wilmer Pereira	Proposal of Fuzzy Object Oriented Model in Extended JAVA.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
10	Katsumi Inoue, Chiaki Sakama	Generality Relations in Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
10	Peter Harvey, Chee Fon Chang, Aditya Ghose	Simple Support-Based Distributed Search.	Canadian AI	2006	DBLP DOI BibTeX RDF
10	Claudia Diamantini, Nacer Boudjlida	About Semantic Enrichment of Strategic Data Models as Part of Enterprise Models.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
10	Kenji Imamoto, Kouichi Sakurai	Enhanced Privacy in Key-Exchange Protocols by One-time ID.	SecPerU	2006	DBLP DOI BibTeX RDF
10	Troy A. Johnson, Rudolf Eigenmann	Context-sensitive domain-independent algorithm composition and selection.	PLDI	2006	DBLP DOI BibTeX RDF	bioinformatics, domain-specific languages, automated planning, algorithm selection, algorithm composition
10	Nanlin Jin	Indirect co-evolution for understanding belief in an incomplete information dynamic game.	GECCO	2006	DBLP DOI BibTeX RDF	game theory, incomplete information, co-evolution, belief
10	Li Yurong, Qiao Bin	Hierarchical Reduction Algorithm of Rough Sets.	ISDA (1)	2006	DBLP DOI BibTeX RDF
10	Akihiro Kashihara, Yasuhiro Kamoshita	Reflection by Knowledge Publishing.	KES (2)	2006	DBLP DOI BibTeX RDF
10	Yuqin Lee, Wenyun Zhao	Domain Requirements Elicitation and Analysis - An Ontology-Based Approach.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
10	Shrihari Vasudevan, Stefan Gächter, Ahad Harati, Roland Siegwart	A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots.	50 Years of Artificial Intelligence	2006	DBLP DOI BibTeX RDF
10	Sang-Jun Lee, Seoung Soo Lee, Jonghwa Kim 0004, Yoon-Jung Kwon	Development of Automated Generation Algorithm for Skipped Surface in Die Design.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
10	Didier Dubois, Henri Prade	Bipolar Representations in Reasoning, Knowledge Extraction and Decision Processes.	RSCTC	2006	DBLP DOI BibTeX RDF
10	Hiroshi Sakai, Michinori Nakata	On Possible Rules and Apriori Algorithm in Non-deterministic Information Systems.	RSCTC	2006	DBLP DOI BibTeX RDF	Possible rules, Min-Max strategy, Max-Max strategy, Rough sets, Apriori algorithm, Non-deterministic information
10	Mehrdad Sabetzadeh	Management of Incomplete and Inconsistent Views.	ASE	2006	DBLP DOI BibTeX RDF
10	Richard Zach	Kurt Gödel and Computability Theory.	CiE	2006	DBLP DOI BibTeX RDF
10	Yuquin Lee, Wenyun Zhao	An Ontology-Based Approach for Domain Requirements Elicitation and Analysis.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
10	Todd J. Green, Val Tannen	Models for Incomplete and Probabilistic Information.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
10	Christophe Roche	Lexical and Conceptual Structures in Ontology.	IEA/AIE	2006	DBLP DOI BibTeX RDF
10	Christophe Roche	How words map concepts.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
10	Peter Harvey, Chee Fon Chang, Aditya Ghose	Support-based distributed search: a new approach for multiagent constraint processing.	AAMAS	2006	DBLP DOI BibTeX RDF
10	Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Sarvapali D. Ramchurn	Managing social influences through argumentation-based negotiation.	AAMAS	2006	DBLP DOI BibTeX RDF	conflict resolution, argumentation-based negotiation
10	Chanseok Park	Parameter estimation of incomplete data in competing risks using the EM algorithm.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
10	V. Vipindeep, Pankaj Jalote	Efficient static analysis with path pruning using coverage data.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	testing, static analysis, program checking
10	Peter Dawyndt, Marc Vancanneyt, Hans E. De Meyer, Jean Swings	Knowledge Accumulation and Resolution of Data Inconsistencies during the Integration of Microbial Information Sources.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	synonymy, error detection/correction, microbiology, Transitive closure, homology, union-find
10	Luciano Baresi, Mauro Pezzè	Formal interpreters for diagram notations.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Semi-formal notations, semantics, graph transformation, high-level Petri nets
10	George C. Necula, Sumit Gulwani	Randomized Algorithms for Program Analysis and Verification.	CAV	2005	DBLP DOI BibTeX RDF
10	Du Zhang	Fixpoint semantics for rule-base anomalies.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
10	Alfred Z. Spector	Semantic Acceleration Helping Realize the Semantic Web Vision or "The Practical Web".	ISWC	2005	DBLP DOI BibTeX RDF
10	Zoran Majkic	Querying with Negation in Data Integration Systems.	IDEAS	2005	DBLP DOI BibTeX RDF
10	Iván Olier, Alfredo Vellido	Comparative Assessment of the Robustness of Missing Data Imputation Through Generative Topographic Mapping.	IWANN	2005	DBLP DOI BibTeX RDF
10	Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters	Genetic Process Mining.	ICATPN	2005	DBLP DOI BibTeX RDF	Genetic Algorithms, Petri Nets, Process Mining, Business Activity Monitoring, Process Discovery, Business Process Intelligence
10	Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata	Integrating UML into SoC Design Process.	DATE	2005	DBLP DOI BibTeX RDF
10	Binh An Truong, Young-Koo Lee, Sungyoung Lee	Modeling Uncertainty in Context-Aware Computing.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
10	Parthasarathy Ramachandran	Discovering User Preferences by Using Time Entries in Click-Through Data to Improve Search Engine Results.	Discovery Science	2005	DBLP DOI BibTeX RDF
10	Hélène Gagliardi, Ollivier Haemmerlé, Nathalie Pernelle, Fatiha Saïs	A Semantic Enrichment of Data Tables Applied to Food Risk Assessment.	Discovery Science	2005	DBLP DOI BibTeX RDF
10	Miro Lehtonen	When a Few Highly Relevant Answers Are Enough.	INEX	2005	DBLP DOI BibTeX RDF
10	Haixuan Yang, Irwin King, Michael R. Lyu	Predictive ranking: a novel page ranking approach by estimating the web structure.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	predictive ranking, link analysis, PageRank
10	Peter Burmeister, Richard Holzer	Treating Incomplete Knowledge in Formal Concept Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
10	Mehrdad Sabetzadeh, Steve M. Easterbrook	An Algebraic Framework for Merging Incomplete and Inconsistent Views.	RE	2005	DBLP DOI BibTeX RDF
10	Zhuowei Li 0001, Amitabha Das, Jianying Zhou 0001	Model Generalization and Its Implications on Intrusion Detection.	ACNS	2005	DBLP DOI BibTeX RDF	Security, Machine Learning, Intrusion Detection, Generalization, Intrusion, Security Infrastructure
10	Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001	Visual specification and analysis of use cases.	SOFTVIS	2005	DBLP DOI BibTeX RDF	visual notation, model checking, UML, requirements
10	David Vallet, Miriam Fernández, Pablo Castells	An Ontology-Based Information Retrieval Model.	ESWC	2005	DBLP DOI BibTeX RDF
10	Amir R. Razavi, Hans Gill, Hans Åhlfeldt, Nosrat Shahsavar	A Data Pre-processing Method to Increase Efficiency and Accuracy in Data Mining.	AIME	2005	DBLP DOI BibTeX RDF
10	Eugene Eberbach	Decision Theory = Performance Measure Theory + Uncertainty Theory.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	resource-bounded reasoning, uncertainty, process algebra, problem solving, decision theory
10	Dan E. Willard	On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Yi Feng 0004, Zhaohui Wu 0001, Zhongmei Zhou	Combining an Order-Semisensitive Text Similarity and Closest Fit Approach to Textual Missing Values in Knowledge Discovery.	KES (2)	2005	DBLP DOI BibTeX RDF
10	Koichi Ota, Akihiro Kashihara	Evaluating Navigation History Comparison.	KES (3)	2005	DBLP DOI BibTeX RDF
10	Peter Harvey, Chee Fon Chang, Aditya K. Ghose	Practical Application of Support-Based Distributed Search.	ICTAI	2005	DBLP DOI BibTeX RDF
10	János Tapolcai, Pin-Han Ho, Xiaohong Jiang 0001, Susumu Horiguchi	Shared Protection Based on Matrix Decomposition in Tropical Semi-Rings.	AINA	2005	DBLP DOI BibTeX RDF
10	Fang Chu, Yizhou Wang 0001, Carlo Zaniolo, Douglas Stott Parker Jr.	Improving Mining Quality by Exploiting Data Dependency.	PAKDD	2005	DBLP DOI BibTeX RDF
10	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
10	Haruhiko Kaiya, Motoshi Saeki	Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach.	QSIC	2005	DBLP DOI BibTeX RDF	Lightweight semantic processing, Requirements Engineering, Thesaurus
10	Ashish Tiwari 0001	An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints.	CSL	2005	DBLP DOI BibTeX RDF
10	Anna Maria Radzikowska	A Fuzzy Approach to Some Set Approximation Operations.	ICANN (2)	2005	DBLP DOI BibTeX RDF
10	Michael Ramati, Yuval Shahar	Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects.	SARA	2005	DBLP DOI BibTeX RDF
10	Scott A. Wallace	S-assess: a library for behavioral self-assessment.	AAMAS	2005	DBLP DOI BibTeX RDF	safe behavior, agents, self-assessment
10	Hongbin Fang, Ling Zhang	Semi-order structure fusion model of quotient spaces under the condition of inconsistency information.	GrC	2005	DBLP DOI BibTeX RDF
10	Giorgos Akrivas, Giorgos B. Stamou, Stefanos D. Kollias	Semantic association of multimedia document descriptions through fuzzy relational algebra and fuzzy reasoning.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
10	Huaiqing Wang, Mingyi Zhang 0002, Dongming Xu, Dan Zhang II	A Framework of Fuzzy Diagnosis.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	fuzzy diagnosis, fuzzy truth function logic, clause-style fuzzy theories, Knowledge representation, fault diagnosis, uncertainty reasoning
10	Hiroshi Sakai	Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-deterministic Information Systems.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
10	Hiroshi Sakai, Akimichi Okuma	Basic Algorithms and Tools for Rough Non-deterministic Information Analysis.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
10	Bonny Banerjee, B. Chandrasekaran 0001	Constructing Diagrams Representing Group Motions.	Diagrams	2004	DBLP DOI BibTeX RDF
10	Gui-Rong Xue, Hua-Jun Zeng, Zheng Chen 0001, Yong Yu 0001, Wei-Ying Ma, Wensi Xi, Weiguo Fan	Optimizing web search using web click-through data.	CIKM	2004	DBLP DOI BibTeX RDF	search engine, iterative algorithm, click-through data, log mining
10	Michel Barbeau, Evangelos Kranakis, Danny Krizanc, Pat Morin	Improving Distance Based Geographic Location Techniques in Sensor Networks.	ADHOC-NOW	2004	DBLP DOI BibTeX RDF
10	Yisong Wang, Mingyi Zhang 0002	Revision Programs with Explicit Negation.	ICTAC	2004	DBLP DOI BibTeX RDF
10	Yong Xia 0006, Martin Glinz	Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification.	APSEC	2004	DBLP DOI BibTeX RDF
10	Junxiang Zhang, Chongfu Huang	Cartographic Representation of the Uncertainty Related to Natural Disaster Risk: Overview and State of the Art.	CASDMKM	2004	DBLP DOI BibTeX RDF
10	Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata	System-on-chip validation using UML and CWL.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	specification modeling, UML, validation and verification, verification process
10	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Symbolic Equivalences for Open Systems.	Global Computing	2004	DBLP DOI BibTeX RDF
10	Rattikorn Hewett	Decision making using incomplete data.	SMC (1)	2004	DBLP DOI BibTeX RDF
10	Anwitaman Datta, Silvia Quarteroni, Karl Aberer	Autonomous Gossiping: A Self-Organizing Epidemic Algorithm for Selective Information Dissemination in Wireless Mobile Ad-Hoc Networks.	ICSNW	2004	DBLP DOI BibTeX RDF	Selective Information Dissemination, Content Driven Communication, Epidemic Algorithm, Any-to-Many Communication, Flexible casting, Mobile Ad-hoc Network (MANET), Self-organization
10	Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini	A Logic-Based Approach for Matching User Profiles.	KES	2004	DBLP DOI BibTeX RDF
10	Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer	Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.	ICSR	2004	DBLP DOI BibTeX RDF
10	Yannis Dimopoulos, Pavlos Moraitis, Alexis Tsoukiàs	Argumentation Based Modeling of Decision Aiding for Autonomous Agents.	IAT	2004	DBLP DOI BibTeX RDF
10	Yinglong Ma, Jun Wei 0001	A Default Extension to Distributed Description Logics.	IAT	2004	DBLP DOI BibTeX RDF
10	Cenk Kocas	Online Price Competition within and between Heterogeneous Retailer Groups.	HICSS	2004	DBLP DOI BibTeX RDF	Price Comparison Shopping, Internet Economics, Oligopoly, Price Competition
10	Victor V. Zakharov, Sergei Volkov	Morphological Tagging of Russian Texts of the XIXth Century.	TSD	2004	DBLP DOI BibTeX RDF
10	Hui Xu 0002, Baoquan Chen	Stylized rendering of 3D scanned real world environments.	NPAR	2004	DBLP DOI BibTeX RDF	non-photorealistic rendering, multi-resolution, 3D scanning, point-based rendering, interactive 3D graphics
10	Takehisa Takahashi, Hajime Sawamura	A Logic of Multiple-Valued Argumentation.	AAMAS	2004	DBLP DOI BibTeX RDF
10	Debbie Richards 0001	Merging individual conceptual models of requirements.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Viewpoint development, Conceptual modeling, Formal concept analysis
10	H. M. Harmain, Robert J. Gaizauskas	CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	software requirements text analysis, evaluation of language processing technology, natural language processing, object-oriented analysis