Search results for "inconsistencies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Girts Linde	Equivalence Problem of Composite Class Diagrams.	FCT	2001	DBLP DOI BibTeX RDF
15	Akira Notsu, Osamu Katai, Hiroshi Kawakami	A Framework of Caring Interaction by a Network Model of Client's Concepts Based on a Nursing Theory and Naive Psychological Approaches.	Active Media Technology	2001	DBLP DOI BibTeX RDF	Nursing Theory, Perceptual Balance, Naive Psychology, Agent, Caring
15	Sven Hartmann	Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
15	Tom Mens	A Formal Foundation for Object-Oriented Software Evolution.	ICSM	2001	DBLP DOI BibTeX RDF	object-oriented software evolution, evolution conflict, graph rewriting, software upgrading, software merging, formal foundation, domain independence
15	Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat	An integrated environment for the presentation of consistent SMIL 2.0 documents.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
15	Wolfgang D. Rencken, Wendelin Feiten, Martin Soika	Large Consistent Geometric Landmark Maps.	Sensor Based Intelligent Robots	2000	DBLP DOI BibTeX RDF
15	Martin Mauve	Consistency in replicated continuous interactive media.	CSCW	2000	DBLP DOI BibTeX RDF	replicated continuous interactive media, consistency
15	Gio Wiederhold	Precision in Processing Data from Heterogeneous Resources (Invited Paper).	BNCOD	2000	DBLP DOI BibTeX RDF
15	Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez	Guaranteeing Coherent Software Systems when Composing Coordinated Components.	COORDINATION	2000	DBLP DOI BibTeX RDF
15	Wolfgang Heidrich, Katja Daubert, Jan Kautz, Hans-Peter Seidel	Illuminating micro geometry based on precomputed visibility.	SIGGRAPH	2000	DBLP DOI BibTeX RDF	frame buffer tricks, illuminatiion effects, texture mapping, graphics hardware, Monte Carlo techniques, reflectance & shading models
15	Herbert Hecht	What are the Most Critical Challenges to Integrating High Assurance Systems?.	HASE	1999	DBLP DOI BibTeX RDF
15	Carola Wenk	Applying an Edit Distance to the Matching of Tree Ring Sequences in Dendrochronology.	CPM	1999	DBLP DOI BibTeX RDF
15	Baoqiu Cui, Terrance Swift, David Scott Warren	A Case Study in Using Preference Logic Grammars for Knowledge Representations.	LPNMR	1999	DBLP DOI BibTeX RDF
15	John C. Grundy, John G. Hosking, Warwick B. Mugridge	Inconsistency Management for Multiple-View Software Development Environments.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	integrated software development environments, multiple views, collaborative software development, Inconsistency management
15	Axel van Lamsweerde, Robert Darimont, Emmanuel Letier	Managing Conflicts in Goal-Driven Requirements Engineering.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Goal-driven requirements engineering, divergent requirements, specification transformation, viewpoints, lightweight formal methods, conflict management
15	Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.	ICRE	1998	DBLP DOI BibTeX RDF	managing inconsistency, requirement engineering, restructuring
15	Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais	Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.	AIMSA	1998	DBLP DOI BibTeX RDF
15	Jerzy W. Grzymala-Busse, Xihong Zou	Classification Strategies Using Certain and Possible Rules.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
15	George M. Wyner, Jintae Lee	Applying specialization to process models.	COOCS	1995	DBLP DOI BibTeX RDF
15	Jochen Liedtke	A Short Note on Implementing Thread Exclusiveness and Address Space Locking.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
15	Jin-Kao Hao, F. Trousset, Jean Jacques	Prototyping an Inconsistency Checking Tool for Software Process Models.	SEKE	1992	DBLP DOI BibTeX RDF
15	Edward A. Lee	Consistency in Dataflow Graphs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	synchronous dataflow graphs, dataflow graphsemantics, token-flow model, graphtheory, programming languages, deadlock, programming theory, consistency checks, dataflow graphs, dataflow graph
15	Gilles Barbedette	Schema Modifications in the LISPO2 Persistent Object-Oriented Language.	ECOOP	1991	DBLP DOI BibTeX RDF
15	David W. Tong, Kevin C. Zalondek, Christopher H. Jolly	Automated diagnosis of analog circuits.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
15	Makoto Takashima, Atsuhiko Ikeuchi, Shoichi Kojima, Toshikazu Tanaka, Tamaki Saitou, Jun-ichi Sakata	A Circuit Comparison System with Rule-Based Functional Isomorphism Checking.	DAC	1988	DBLP BibTeX RDF
15	E. Balkovich, W. Chiu, Leon Presser, R. Wood	Comments on a Paper by Gaver.	J. ACM	1974	DBLP DOI BibTeX RDF
8	Natalia Stakhanova, Ali A. Ghorbani 0001	Managing intrusion detection rule sets.	EUROSEC	2010	DBLP DOI BibTeX RDF	detection rules, intrusion detection signatures
8	Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni	An experience in using a tool for evaluating a large set of natural language requirements.	SAC	2010	DBLP DOI BibTeX RDF	natural language automated analysis, natural language processing, requirements analysis
8	Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt	A standard-driven implementaion of WS-BPEL 2.0.	SAC	2010	DBLP DOI BibTeX RDF	standard-driven, XPath, WS-BPEL, OASIS
8	Faezeh Ensan, Ebrahim Bagheri	A framework for handling revisions in distributed ontologies.	SAC	2010	DBLP DOI BibTeX RDF	modular ontologies, description logic, revision
8	Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz	Inductive reasoning and semantic web search.	SAC	2010	DBLP DOI BibTeX RDF	semantic web search, ontologies, semantic web, description logics, semantic search, conjunctive queries, inductive reasoning
8	Ebrahim Bagheri, Faezeh Ensan	Evidential reasoning for the treatment of incoherent terminologies.	SAC	2010	DBLP DOI BibTeX RDF	debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning
8	Natarajan Viswanathan, Gi-Joon Nam, Jarrod A. Roy, Zhuo Li 0001, Charles J. Alpert, Shyam Ramji, Chris Chu	ITOP: integrating timing optimization within placement.	ISPD	2010	DBLP DOI BibTeX RDF	placement, timing optimization, physical synthesis
8	Andy J. Wellings, MinSeong Kim	Asynchronous event handling and safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	safety critical Java, threads, real-time specification for Java, asynchronous events
8	Annette Bieniusa, Arie Middelkoop, Peter Thiemann 0001	Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.	PODC	2010	DBLP DOI BibTeX RDF	irrevocable transactions, consistency, software transactional memory
8	Tony Gorschek, Ewan D. Tempero, Lefteris Angelis	A large-scale empirical study of practitioners' use of object-oriented concepts.	ICSE (1)	2010	DBLP DOI BibTeX RDF	inheritance depth, number of methods, survey, encapsulation
8	Annika Wolff, Paul Mulholland, Zdenek Zdráhal	Visual summaries of data: a spatial hypertext approach to user feedback.	HT	2010	DBLP DOI BibTeX RDF	id3 decision trees, spatial hypertext, organisation, categorisation, inquiry learning
8	Fabien De Marchi, Stéphane Lopes, Jean-Marc Petit	Unary and n-ary inclusion dependency discovery in relational databases.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Inclusion dependency discovery, Relational databases
8	Paolo Cottone, Luca Pieti, Valentina Schiavinato, Dorian Soru, Massimiliano Martinelli, Diego Varotto, Giuseppe Mantovani	"Solving" ambiguity in the virtual space: communication strategies in a collaborative virtual environment.	Cogn. Technol. Work.	2009	DBLP DOI BibTeX RDF	Virtual reality, CMC, Cooperation, Negotiation, Ambiguity
8	E. F. Codd	Derivability, redundancy and consistency of relations stored in large data banks.	SIGMOD Rec.	2009	DBLP DOI BibTeX RDF
8	Matteo Cristani, Elisa Burato	Approximate solutions of moral dilemmas in multiple agent system.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF
8	Patrizio Pelliccione, Paola Inverardi, Henry Muccini	CHARMY: A Framework for Designing and Verifying Architectural Specifications.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
8	Cydney B. Nielsen, Shaun D. Jackman, Inanç Birol, Steven J. M. Jones	ABySS-Explorer: Visualizing Genome Sequence Assemblies.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
8	Jorge Casillas, Pedro Martínez, Alicia D. Benítez	Learning consistent, complete and compact sets of fuzzy rules in conjunctive normal form for regression problems.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Regression problems, Flexible fuzzy rules, Interpretability constrains, Multiobjective optimization, Genetic fuzzy systems
8	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
8	Xavier Amatriain, Josep M. Pujol, Nuria Oliver	I Like It... I Like It Not: Evaluating User Ratings Noise in Recommender Systems.	UMAP	2009	DBLP DOI BibTeX RDF
8	Omprakash Gnawali, Rodrigo Fonseca, Kyle Jamieson, David Moss, Philip Alexander Levis	Collection tree protocol.	SenSys	2009	DBLP DOI BibTeX RDF	CTP, sensor network, routing, collection
8	G. S. Mahalakshmi 0001, T. V. Geetha	Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming.	ICLA	2009	DBLP DOI BibTeX RDF	Indian logic, Nyaya Sastra, Reason fallacies, Argumentation, Defect
8	Alexander Behm, Shengyue Ji, Chen Li 0001, Jiaheng Lu	Space-Constrained Gram-Based Indexing for Efficient Approximate String Search.	ICDE	2009	DBLP DOI BibTeX RDF
8	Fernando Pech-May, Ivan López-Arévalo, Víctor Jesús Sosa Sosa	Validator for Clinical Practice Guidelines.	IWANN (2)	2009	DBLP DOI BibTeX RDF	computerizing clinical practice guidelines, Clinical practice guidelines
8	Kerem Rizvanoglu, Özgürol Öztürk	Cross-Cultural Understanding of the Dual Structure of Metaphorical Icons: An Explorative Study with French and Turkish Users on an E-Learning Site.	HCI (14)	2009	DBLP DOI BibTeX RDF	user interfaces, culture, Metaphor, icon, understanding
8	Robert Williams, John Nash	Computer-Based Assessment: From Objective Tests to Automated Essay Grading. Now for Automated Essay Writing?	UNISCON	2009	DBLP DOI BibTeX RDF	Automated essay writing, Automated essay grading, Gatherer
8	Viara Popova, Alexei Sharpanskykh	Constraint-based modelling and analysis of organisations.	SAC	2009	DBLP DOI BibTeX RDF	consistency of a specification, organisation design, validity of a specification, constraints, organisation modeling
8	Hari Kannan	Ordering decoupled metadata accesses in multiprocessors.	MICRO	2009	DBLP DOI BibTeX RDF
8	Fabian M. Suchanek, Mauro Sozio, Gerhard Weikum	SOFIE: a self-organizing framework for information extraction.	WWW	2009	DBLP DOI BibTeX RDF	ontology, information extraction, automated reasoning
8	J. Andrés Díaz Pace, Juan P. Carlino, Martin Blech, Álvaro Soria, Marcelo R. Campo	Assisting the synchronization of UCM-based architectural documentation with implementation.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
8	Quantin Hayez, Bertrand Mareschal, Yves De Smet	New GAIA Visualization Methods.	IV	2009	DBLP DOI BibTeX RDF
8	Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide	Copy-on-write in the PHP language.	POPL	2009	DBLP DOI BibTeX RDF	php, graph rewriting
8	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history
8	Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski	Typing for Conflict Detection in Access Control Policies.	MCETECH	2009	DBLP DOI BibTeX RDF
8	Jun Jiang, Jun Cheng 0002, Xinglin Chen	Noise-Residue Filtering Based on Unsupervised Clustering for Phase Unwrapping.	ISVC (2)	2009	DBLP DOI BibTeX RDF
8	Dieter Hutter	Semantic Management of Heterogeneous Documents.	MICAI	2009	DBLP DOI BibTeX RDF
8	Santiago E. Conant-Pablos, Dulce J. Magaña-Lozano, Hugo Terashima-Marín	Pipelining Memetic Algorithms, Constraint Satisfaction, and Local Search for Course Timetabling.	MICAI	2009	DBLP DOI BibTeX RDF
8	Hildeberto Mendonça, Jean-Yves Lionel Lawson, Olga Vybornova, Benoît Macq, Jean Vanderdonckt	A fusion framework for multimodal interactive applications.	ICMI	2009	DBLP DOI BibTeX RDF	context-sensitive interaction, speech recognition, multi-modal fusion
8	Shin Ando, Einoshin Suzuki	Detection of unique temporal segments by information theoretic meta-clustering.	KDD	2009	DBLP DOI BibTeX RDF	information-theoretic meta-clustering, temporal data mining
8	Ron Bekkerman, Martin Scholz, Krishnamurthy Viswanathan	Improving clustering stability with combinatorial MRFs.	KDD	2009	DBLP DOI BibTeX RDF	clustering stability, combinatorial MRF, comraf
8	Rares Vernica, Chen Li 0001	Efficient top-k algorithms for fuzzy search in string collections.	KEYS	2009	DBLP DOI BibTeX RDF
8	Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley	Applying genetic algorithms to decision making in autonomic computing systems.	ICAC	2009	DBLP DOI BibTeX RDF	genetic algorithm, distributed systems, evolutionary algorithm, autonomic computing, intelligent control
8	Fred Cohen	Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
8	Yesid Jarma, Golnaz Karbaschi, Marcelo Dias de Amorim, Farid Benbadis, Guillaume Chelius	VAPS: Positioning with spatial constraints.	WOWMOM	2009	DBLP DOI BibTeX RDF
8	Aniket Kittur, Ed H. Chi, Bongwon Suh	What's in Wikipedia?: mapping topics and conflict using socially annotated category structure.	CHI	2009	DBLP DOI BibTeX RDF	visualization, annotation, mapping, wiki, Wikipedia, social computing, conflict, distributed collaboration
8	Hildeberto Mendonça	High level data fusion on a multimodal interactive application platform.	EICS	2009	DBLP DOI BibTeX RDF	context-sensitive interaction, speech recognition, ambient intelligence, multimodal fusion
8	Katharina Tschumitschew, Frank Klawonn	AVEDA: Statistical Tests for Finding Interesting Visualisations.	KES (1)	2009	DBLP DOI BibTeX RDF
8	Wenfei Fan, Floris Geerts, Xibei Jia	Conditional Dependencies: A Principled Approach to Improving Data Quality.	BNCOD	2009	DBLP DOI BibTeX RDF
8	Lyndsey C. Pickup, Andrew Zisserman	Automatic retrieval of visual continuity errors in movies.	CIVR	2009	DBLP DOI BibTeX RDF	continuity, movie
8	Norton Trevisan Roman, Cristiano D. Ferreira, Luis A. A. Meira, Rodrigo Carvalho Rezende, Luciano A. Digiampietri, Jorge Jambeiro Filho	Attribute-value specification in customs fraud detection: a human-aided approach.	D.GO	2009	DBLP BibTeX RDF
8	Mauricio Alférez, Ana Moreira 0001, Uirá Kulesza, João Araújo 0001, Ricardo Mateus 0001, Vasco Amaral 0001	Detecting feature interactions in SPL requirements analysis models.	FOSD	2009	DBLP DOI BibTeX RDF	software product lines requirements, feature interactions
8	Daniel Makoto Tokunaga, Luiz Ricardo Nakamura, Romero Tori	Non-photorealistic 3D video-avatar.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF	non-photorealistic augmented reality, video-avatar, game design
8	Raphaela Groten, Jens Hölldampf, Angelika Peer, Martin Buss	Predictability of a Human Partner in a Pursuit Tracking Task without Haptic Feedback.	ACHI	2009	DBLP DOI BibTeX RDF
8	Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt	Expressive scoping of distributed aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, distribution, scheme, operational semantics, scope, dynamic deployment
8	Jörg Kienzle, Wisam Al Abed, Jacques Klein	Aspect-oriented multi-view modeling.	AOSD	2009	DBLP DOI BibTeX RDF	aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation
8	Alexandre Papadopoulos, Barry O'Sullivan	Compiling All Possible Conflicts of a CSP.	CP	2009	DBLP DOI BibTeX RDF
8	Matteo Maria Andreozzi, Giovanni Stea, Carlo Vallati	A framework for large-scale simulations and output result analysis with ns-2.	SimuTools	2009	DBLP DOI BibTeX RDF	statistical analysis, network simulation, NS-2, simulation tools
8	Catherine Roussey, Óscar Corcho, Luis Manuel Vilches Blázquez	A catalogue of OWL ontology antipatterns.	K-CAP	2009	DBLP DOI BibTeX RDF	ontology, debugging, OWL, antipattern
8	Mathieu d'Aquin	Formally measuring agreement and disagreement in ontologies.	K-CAP	2009	DBLP DOI BibTeX RDF	ontologies, consensus, agreement, disagreement, controversy
8	R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook	Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base.	ICSE Companion	2009	DBLP DOI BibTeX RDF
8	Miryung Kim, David Notkin	Discovering and representing systematic code changes.	ICSE	2009	DBLP DOI BibTeX RDF
8	Iris Groher, Alexander Egyed	Selective backtracking of model changes.	ICSE Companion	2009	DBLP DOI BibTeX RDF
8	Sudheendra Hangal, Monica S. Lam	Automatic dimension inference and checking for object-oriented programs.	ICSE	2009	DBLP DOI BibTeX RDF
8	Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose	From Formal Access Control Policies to Runtime Enforcement Aspects.	ESSoS	2009	DBLP DOI BibTeX RDF
8	Narasimha Bolloju, Sherry X. Sun	Enhancing the quality of use case models and activity diagrams using a differential quality model.	DESRIST	2009	DBLP DOI BibTeX RDF	quality dependencies, activity diagrams, use case models
8	Ben J. H. van Basten, Sander E. M. Jansen, Ioannis Karamouzas	Exploiting Motion Capture to Enhance Avoidance Behaviour in Games.	MIG	2009	DBLP DOI BibTeX RDF	motion capture, motion analysis, collision avoidance, human-human interaction
8	Benjamin Long, Erik Reinhard	Real-time fluid simulation using discrete sine/cosine transforms.	SI3D	2009	DBLP DOI BibTeX RDF	DCT/DST transforms, real-time fluid simulation, real-time rendering
8	Václav Klimes	Detecting and Correcting Errors in an English Tectogrammatical Annotation.	TSD	2009	DBLP DOI BibTeX RDF
8	Oleksiy Busaryev, Tamal K. Dey, Joshua A. Levine	Repairing and meshing imperfect shapes with Delaunay refinement.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	Delaunay mesh generation, piecewise-smooth complexes, shape repair, topology
8	Khurram Khurshid, Claudie Faure, Nicole Vincent	A Novel Approach for Word Spotting Using Merge-Split Edit Distance.	CAIP	2009	DBLP DOI BibTeX RDF	Edit Distance, Dynamic Time warping, Word Spotting
8	Essam Mansour 0001, Hagen Höpfner	An approach to detecting relevant updates to cached data using XML and active databases.	EDBT	2009	DBLP DOI BibTeX RDF
8	Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella	Self-deceptive decision making: normative and descriptive insights.	AAMAS (2)	2009	DBLP BibTeX RDF	self-deception, wishful thinking, multi-agent systems, decision theory
8	Zhe Chen 0011, Gilles Motet	A Language-Theoretic View on Guidelines and Consistency Rules of UML.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
8	K. Rustan M. Leino, Ronald Middelkoop	Proving Consistency of Pure Methods and Model Fields.	FASE	2009	DBLP DOI BibTeX RDF