Search results for "contradiction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Djamal Benslimane, Fenglin Liu	On Checking the Compatibility of Web Services' Policies.	PDCAT	2007	DBLP DOI BibTeX RDF
11	Wai Lap Leung, Kai Ming Yu	Development of Online Game-Based Learning for TRIZ.	Edutainment	2007	DBLP DOI BibTeX RDF	online game, edutainment, TRIZ
11	Ruth Manor	Solving the Heap.	Synth.	2006	DBLP DOI BibTeX RDF
11	Jianping Wu, Ke Xu 0002	Research on Next-Generation Internet Architecture.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	multi-dimension scalability, authentic IPv6 addressing, 4over6, IPv6, next-generation Internet
11	Mehdi Kharrazi, Husrev T. Sencar, Nasir D. Memon	Improving Steganalysis by Fusion Techniques: A Case Study with Image Steganography.	Trans. Data Hiding Multim. Secur.	2006	DBLP DOI BibTeX RDF
11	Gabriele Guidi 0001, Bernard D. Frischer, Michele Russo, Alessandro Spinetti, Luca Carosso, Laura Loredana Micoli	Three-dimensional acquisition of large and detailed cultural heritage objects.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	3D Acquisition, Uncertainty, Resolution, Virtual archaeology, Laser radar
11	Santiago Ontañón, Enric Plaza	Arguments and Counterexamples in Case-Based Joint Deliberation.	ArgMAS	2006	DBLP DOI BibTeX RDF
11	Paulo Sousa 0001, Nuno Ferreira Neves, Paulo Veríssimo	Proactive resilience through architectural hybridization.	SAC	2006	DBLP DOI BibTeX RDF	secret sharing, intrusion tolerance, proactive recovery
11	Jean Sallantin, Christopher Dartnell, Mohammad Afshar	A Pragmatic Logic of Scientific Discovery.	Discovery Science	2006	DBLP DOI BibTeX RDF
11	Luc Fabresse, Christophe Dony, Marianne Huchard	Scl: A Simple, Uniform and Operational Language for Component-Oriented Programming in Smalltalk.	ISC	2006	DBLP DOI BibTeX RDF	unanticipated composition, component property, connector, component-oriented programming
11	Shoushui Chen, Xin Yang 0007	A new adaptive diffusion equation for image noise removal and feature preservation.	ICPR (3)	2006	DBLP DOI BibTeX RDF
11	Anbu Yue, Yue Ma 0009, Zuoquan Lin	Four-Valued Semantics for Default Logic.	Canadian AI	2006	DBLP DOI BibTeX RDF
11	Xiaoping Liu 0003, Hui Shi, Zhengqiang Mao, Liping Zheng	Study on Constraint Information Visualization in CSCD.	CSCWD	2006	DBLP DOI BibTeX RDF
11	Xiaoping Liu 0003, Hui Shi, Zhengqiang Mao, Qiang Lu	Constraint Information Visualization Methodology for Cooperative Design.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
11	Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo	Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
11	Gequn Liu, Weiguo Liu	Instructing the Innovation of Control Strategies by TRIZ.	ISDA (1)	2006	DBLP DOI BibTeX RDF
11	Christian Müller-Schloer, Bernhard Sick	Emergence in Organic Computing Systems: Discussion of a Controversial Concept.	ATC	2006	DBLP DOI BibTeX RDF
11	Radoslaw P. Katarzyniak	Grounding Crisp and Fuzzy Ontological Concepts in Artificial Cognitive Agents.	KES (3)	2006	DBLP DOI BibTeX RDF
11	Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler	Automatic Fault Localization for Property Checking.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
11	Jesus Millor, José Halloy, Jean-Marc Amé, Jean-Louis Deneubourg	Individual Discrimination Capability and Collective Choice in Social Insects.	ANTS Workshop	2006	DBLP DOI BibTeX RDF
11	Wendy L. Cukier, Susan Cody, Eva J. Nesselroth	Genres of Spam: Expectations and Deceptions.	HICSS	2006	DBLP DOI BibTeX RDF
11	Josep Pegueroles, Marcel Fernandez, Francisco Rico-Novella, Miguel Soriano	A Practical Solution for Distribution Rights Protection in Multicast Environments.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
11	Marco Andreetto, Silvio Savarese, Pietro Perona	Carving from Ray-Tracing Constraints: IRT-Carving.	3DPVT	2006	DBLP DOI BibTeX RDF
11	Ryosuke Nagura, Yohei Seki, Noriko Kando, Masaki Aono	A method of rating the credibility of news documents on the web.	SIGIR	2006	DBLP DOI BibTeX RDF	web document credibility, information filtering
11	Andreas S. Rath, Mark Kröll, Keith Andrews, Stefanie N. Lindstaedt, Michael Granitzer, Klaus Tochtermann	Synergizing Standard and Ad-Hoc Processes.	PAKM	2006	DBLP DOI BibTeX RDF	knowledge utilization, ad-hoc process mining, process engineer services, process modeling, knowledge capturing, process visualization
11	Mehdi Rezaei, Moncef Gabbouj, Imed Bouazizi	Delay Constrained Fuzzy Rate Control for Video Streaming over DVB-H.	IIH-MSP	2006	DBLP DOI BibTeX RDF
11	Qi Han 0002, Zhifang Wang, Xiamu Niu	A Non-uniform Quantizing Approach to Protect Biometric Templates.	IIH-MSP	2006	DBLP DOI BibTeX RDF
11	David W. Binkley, Mark Harman, Jens Krinke	Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.	SCAM	2006	DBLP DOI BibTeX RDF
11	Junzhou Luo, Wei Li 0017, Jiuxin Cao, Liang Ge	Integrating Heterogeneous E-learning Systems.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
11	Renato Bruni	On exact selection of minimally unsatisfiable subformulae.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	infeasibility analysis, MUS selection, (Un)Satisfiability
11	Moira Burke, Anthony J. Hornof, Erik Nilsen, Nicholas Gorman	High-cost banner blindness: Ads increase perceived workload, hinder visual search, and are forgotten.	ACM Trans. Comput. Hum. Interact.	2005	DBLP DOI BibTeX RDF	banner ads, World Wide Web, Animation, eye tracking, visual search
11	Kuntal Ghosh, Sandip Sarkar, Kamales Bhaumik	A possible mechanism of zero-crossing detection using the concept of the extended classical receptive field of retinal ganglion cells.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
11	Ghi Paul Im, Richard L. Baskerville	A longitudinal study of information system threat categories: the enduring problem of human error.	Data Base	2005	DBLP DOI BibTeX RDF	information infrastructure protection, information system threat, information system threat taxonomy, software quality and reliability, information security, computer security, human error, software defects
11	Mehdi Jazayeri	Species evolve, individuals age.	IWPSE	2005	DBLP DOI BibTeX RDF
11	M. G. Ilieva, Olga Ormandjieva	Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation.	NLDB	2005	DBLP DOI BibTeX RDF
11	Thorsten Schöler, Christian Müller-Schloer	An Observer/Controller Architecture for Adaptive Reconfigurable Stacks.	ARCS	2005	DBLP DOI BibTeX RDF
11	Christian Thiel 0002, Friedhelm Schwenker, Günther Palm	Using Dempster-Shafer Theory in MCF Systems to Reject Samples.	Multiple Classifier Systems	2005	DBLP DOI BibTeX RDF
11	Guillermo Morales-Luna	Geometric Aspects Related to Solutions of #kSAT.	MICAI	2005	DBLP DOI BibTeX RDF	Hypercube Geometry, SAT, Hypergraphs, Counting
11	Zhendong Wu, Shanping Li, Jian Xu 0001	A Topology Control Method for Multi-path Wireless Sensor Networks.	ICESS	2005	DBLP DOI BibTeX RDF	Sensor Networks, Load balance, Energy efficiency, Topology Control, Multi-path
11	Qutaibah Althebyan, Henry Hexmoor	A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance Systems.	WRAC	2005	DBLP DOI BibTeX RDF
11	Gabriele Guidi 0001, Laura Loredana Micoli, Michele Russo, Bernard D. Frischer, Monica De Simone, Alessandro Spinetti, Luca Carosso	3D Digitization of a Large Model of Imperial Rome.	3DIM	2005	DBLP DOI BibTeX RDF
11	Zongkai Yang, Qingtang Liu, Kun Yan, Wanting Deng, Jing Jin	Integration of Digital Rights Management into Learning Content Management System.	ITCC (1)	2005	DBLP DOI BibTeX RDF
11	Matt Ganis, David Leip, Fred Grossman, Joe Bergin	Introducing Agile Development (XP) into a Corporate Webmaster Environment - An Experience Report.	AGILE	2005	DBLP DOI BibTeX RDF
11	Yanfei Xu	A P2P Based Personal Digital Library for Community.	PDCAT	2005	DBLP DOI BibTeX RDF
11	Charles M. Higgins	Nondirectional motion may underlie insect behavioral dependence on image speed.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
11	York Sure, Jochen Haller	Towards Cross-Domain Security Properties Supported by Ontologies.	WISE Workshops	2004	DBLP DOI BibTeX RDF
11	Iacopo Carreras, Imrich Chlamtac, Hagen Woesner, Csaba Király 0002	BIONETS: BIO-inspired NExt generaTion networkS.	WAC	2004	DBLP DOI BibTeX RDF
11	Jana Hintze, Maic Masuch	Designing a 3D Authoring Tool for Children.	C5	2004	DBLP DOI BibTeX RDF
11	Mike Burmester, Yvo Desmedt, Rebecca N. Wright, Alec Yasinsac	Accountable Privacy.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
11	Christian Müller-Schloer	Organic computing: on the feasibility of controlled emergence.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	observer/controller architecture, emergence, artificial life, organic computing
11	Jonathan Barzilai	Notes on utility theory.	SMC (1)	2004	DBLP DOI BibTeX RDF
11	Nikolai G. Nikolov	A Logic of Inequalities.	AIMSA	2004	DBLP DOI BibTeX RDF
11	Susan Gasson	The Management of Distributed Organizational Knowledge.	HICSS	2004	DBLP DOI BibTeX RDF
11	Juan Quemada	Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.	FORTE	2004	DBLP DOI BibTeX RDF
11	Josep Lluís Ferrer-Gomila, Magdalena Payeras-Capellà, Llorenç Huguet i Rotger	Optimality in Asynchronous Contract Signing Protocols.	TrustBus	2004	DBLP DOI BibTeX RDF
11	Dong Lu, Peter A. Dinda	GridG: generating realistic computational grids.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF
11	Vladimir Sidorov, Vitaly Telerman	Industrial Application of External Black-Box Functions in Constraint Programming Solver.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
11	Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki	Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.	RSFDGrC	2003	DBLP DOI BibTeX RDF	paraconsistent logic program, intelligent control, traffic signal control, defeasible deontic reasoning
11	Jason J. Jung, Kyung-Yong Jung, GeunSik Jo	Ontological Cognitive Map for Sharing Knowledge between Heterogeneous Businesses.	ISCIS	2003	DBLP DOI BibTeX RDF
11	Martin Kutrib	Dimension- and Time-Hierarchies for Small Time Bounds.	FCT	2003	DBLP DOI BibTeX RDF
11	Stéphane Nicolas, Bernard Moulin, Guy W. Mineau	Sesei: A CG-Based Filter for Internet Search Engines.	ICCS	2003	DBLP DOI BibTeX RDF
11	Nicolas Peltier	A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models.	TABLEAUX	2003	DBLP DOI BibTeX RDF
11	Austen Rainer, Tracy Hall, Nathan Baddoo	Persuading Developers to 'Buy into' Software Process Improvement: Local Opinion and Empirical Evidence.	ISESE	2003	DBLP DOI BibTeX RDF	empirical study, case study, software process, software process improvement, content analysis, change, opinions
11	Gérard Le Lann	Asynchrony and Real-Time Dependable Computing.	WORDS	2003	DBLP DOI BibTeX RDF
11	Dong Lu, Peter A. Dinda	Synthesizing Realistic Computational Grids.	SC	2003	DBLP DOI BibTeX RDF
11	Lilian Mitrou, Konstantinos Moulinos	Privacy and Data Protection in Electronic Communications.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
11	Anbulagan, John Thornton 0001, Abdul Sattar 0001	Dynamic Variable Filtering for Hard Random 3-SAT Problems.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Search, Constraints, Problem Solving
11	Andreas Crauser, Paolo Ferragina	A Theoretical and Experimental Study on the Construction of Suffix Arrays in External Memory.	Algorithmica	2002	DBLP DOI BibTeX RDF	External-memory model, Full-text and word-based models, Suffix array, Large data sets, Text indexing
11	Jean-François Hermant, Gérard Le Lann	Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors
11	Paulo Veríssimo, António Casimiro	The Timely Computing Base Model and Architecture.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	timely computing base, partial synchrony models, Distributed systems, real-time systems
11	Ilario Benetti, Domenico Beneventano, Sonia Bergamaschi, Francesco Guerra 0001, Maurizio Vincini	An Information Integration Framework for E-Commerce.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	information retrieval, e-commerce
11	Csilla Farkas, Gábor Ziegler, Attila Meretei, András Lörincz	Anonymity and accountability in self-organizing electronic communities.	WPES	2002	DBLP DOI BibTeX RDF	self-organizing community, privacy, authentication, anonymity, accountability
11	Micah Beck, Terry Moore, James S. Plank	An end-to-end approach to globally scalable network storage.	SIGCOMM	2002	DBLP DOI BibTeX RDF	IBP, end-to-end design, exNode, internet backplane protocol, store and forward network, wide area storage, scalability, asynchronous communications, network storage, logistical networking
11	César F. Pimentel, Maria R. Cravo	Extending SNePSwD with Permissive Belief Revision.	ICCS	2002	DBLP DOI BibTeX RDF
11	Igor V. Morozov, Genri E. Norman, Vladimir V. Stegailov	Dynamic and Stochastic Properties of Molecular Systems: From Simple Liquids to Enzymes.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
11	Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky, Sergey Ostanin	Sequential Circuits Applicable for Detecting Different Types of Faults.	IOLTW	2002	DBLP DOI BibTeX RDF
11	Morten Tollefsen, Magne Lunde	Videophones: Useful Assistive Devices for Visually Impaired Persons?	ICCHP	2002	DBLP DOI BibTeX RDF
11	George Mavrotas, Danae Diakoulaki, Y. Caloghirou	A combinatorial multicriteria approach for corporate funding under policy restrictions.	Oper. Res.	2001	DBLP DOI BibTeX RDF	Project selection, Integer programming, Fractional programming, Multiple criteria
11	Dogan Özdemir, Lale Akarun	Fuzzy algorithms for combined quantization and dithering.	IEEE Trans. Image Process.	2001	DBLP DOI BibTeX RDF
11	Jaroslaw Francik	Algorithm Animation Using Data Flow Tracing.	Software Visualization	2001	DBLP DOI BibTeX RDF
11	Vijay Raghavan 0002, Jeremy P. Spinrad	Robust algorithms for restricted domains.	SODA	2001	DBLP BibTeX RDF
11	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez	A Certified Polynomial-Based Decision Procedure for Propositional Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
11	Ken Kaneiwa, Satoshi Tojo	An Order-Sorted Resolution with Implicitly Negative Sorts.	ICLP	2001	DBLP DOI BibTeX RDF
11	Jia Wang, Insup Lee 0001	Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis.	ISC	2001	DBLP DOI BibTeX RDF
11	Khemdut Purang	Alma/Carne: Implementation of a Time-Situated Meta-Reasoner.	ICTAI	2001	DBLP DOI BibTeX RDF
11	E. J. Lowe	Opening plenary talk: Recent advances in metaphysics.	FOIS	2001	DBLP DOI BibTeX RDF
11	Hiroshi Nakano	A Modality for Recursion.	LICS	2000	DBLP DOI BibTeX RDF	Lambda and Combinatory Caluculi, Type Systems and Type Theory, Specifications, Modal and Temporal Logics, Logics of Programs
11	Augusto Ciuffoletti	Self-stabilization - beyond the token ring circulation (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
11	José Gomes, Olivier D. Faugeras	Level Sets and Distance Functions.	ECCV (1)	2000	DBLP DOI BibTeX RDF
11	Wolfgang Förstner	On Weighting and Choosing Constraints for Optimally Reconstructing the Geometry of Image Triplets.	ECCV (2)	2000	DBLP DOI BibTeX RDF	image triplets, trilinear constraints, calibration, orientation, optimal estimation
11	Min-Yi Wang, Mingtian Zhou, Shaowen Yao 0001	Cooperative Mobile Agents in Dynamic Network Environment.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
11	Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret	Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices.	AISC	2000	DBLP DOI BibTeX RDF
11	Shinji Miyano, Katsuhiko Sato, Kenji Numata	Universal Test Interface for Embedded-DRAM Testing.	IEEE Des. Test Comput.	1999	DBLP DOI BibTeX RDF
11	Alfons H. Salden, Bart M. ter Haar Romeny, Max A. Viergever	Linearised Euclidean Shortening Flow of Curve Geometry.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	linearised shortening flow, frame field, similarity jet, metric, connection, scale-space, curvature, torsion
11	Christian Lebiere	The dynamics of cognition: An ACT-R model of cognitive arithmetic.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
11	Eric McCreath, Mark D. Reid	A Noise Resistant Model Inference System.	Discovery Science	1999	DBLP DOI BibTeX RDF
11	Michael Schroeder 0001, Daniela Alina Plewe, Andreas Raab	ULTIMA RATIO - A Visual Language for Argumentation.	IV	1999	DBLP DOI BibTeX RDF	Argumentation, Reasoning, Visualisation, Conflict Resolution
11	José Gomes, Olivier D. Faugeras	Reconciling Distance Functions and Level Sets.	Scale-Space	1999	DBLP DOI BibTeX RDF
11	Susanne Bødker	Scenarios in User-Centered Design - Setting the Stage for Reflection and Action.	HICSS	1999	DBLP DOI BibTeX RDF
11	Huan Liu 0001, Hongjun Lu, Ling Feng, Farhad Hussain	Efficient Search of Reliable Exceptions.	PAKDD	1999	DBLP DOI BibTeX RDF