Search results for "axiomatic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Cengiz Togay, Ali H. Dogru	Component Oriented Design Based on Axiomatic Design Theory and COSEML.	ISCIS	2006	DBLP DOI BibTeX RDF	Axiomatic Design Theory, COSEML, Collaboration Diagrams
80	Carola Eschenbach	Viewing composition tables as axiomatic systems.	FOIS	2001	DBLP DOI BibTeX RDF	axiomatic system, composition table, ontology, constraint propagation, terminology
80	Ken Robinson	Reconciling Axiomatic and Model-Based Specifications Using the B Method.	ZB	2000	DBLP DOI BibTeX RDF	formal specification, refinement, B Method, axiomatic, model-based
75	Sandro Morasca, Lionel C. Briand	Towards A Theoretical Framework For Measuring Software Attributes.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software attribute measurement, software product properties, construct validity, unambiguous definition, hierarchical axiomatic framework, measurement scales, software engineering, software metrics, theoretical foundations, theoretical framework, axiomatic approaches, consistent measures
70	Hui Fang 0001, ChengXiang Zhai	Semantic term matching in axiomatic approaches to information retrieval.	SIGIR	2006	DBLP DOI BibTeX RDF	axiomatic model, constraints, feedback, query expansion, retrieval heuristics
60	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
52	Hassan Aït-Kaci, Yutaka Sasaki	An Axiomatic Approach to Feature Term Generalization.	ECML	2001	DBLP DOI BibTeX RDF
51	Sreenivas Gollapudi, Aneesh Sharma	An axiomatic approach for result diversification.	WWW	2009	DBLP DOI BibTeX RDF	axiomatic framework, facility dispersion, approximation algorithms, search engine, wikipedia, diversification
51	Jiandong Jiang, Fang Xu 0002, Xinrong Zhen, Xian Zhang, Yangyu Wang, Libin Zhang	Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Small agricultural machinery, Axiomatic design, Ontology, Gearbox
51	Ergün Eraslan, Diyar Akay, Mustafa Kurt	Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory.	CDVE	2006	DBLP DOI BibTeX RDF	Fuzzy Axiomatic Design, Usability, Conformance Testing, Cooperative Engineering
51	Conrad Mueller	Axiomatic computational model.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	programming language, model of computation, axiomatic semantics
51	V. Sridhar, M. Narasimha Murty	Belief revision - an axiomatic approach.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	defeasible beliefs, inheritance network, multiple implications, nonmonotonic inference rule, belief revision, multiple inheritance, logical inference, Axiomatic approach
47	Werner Damm	A Microprogramming Logic.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior
42	Renate A. Schmidt, Ullrich Hustadt	The axiomatic translation principle for modal logic.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Translation approach, small model property, completeness, decidability
42	Paul-André Melliès	Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
42	Hui Fang 0001, ChengXiang Zhai	An exploration of axiomatic approaches to information retrieval.	SIGIR	2005	DBLP DOI BibTeX RDF	TF-IDF weighting, asxiomatic model, constraints, formal models, retrieval heuristics
42	Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky	Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
42	Marcelo P. Fiore, Gordon D. Plotkin, A. John Power	Complete Cuboidal Sets in Axiomatic Domain Theory.	LICS	1997	DBLP DOI BibTeX RDF
41	Emina Torlak, Mandana Vaziri, Julian Dolby	MemSAT: checking axiomatic specifications of memory models.	PLDI	2010	DBLP DOI BibTeX RDF	sat, bounded model checking, memory models, axiomatic specifications
41	Reid Andersen, Christian Borgs, Jennifer T. Chayes, Uriel Feige, Abraham D. Flaxman, Adam Kalai, Vahab S. Mirrokni, Moshe Tennenholtz	Trust-based recommendation systems: an axiomatic approach.	WWW	2008	DBLP DOI BibTeX RDF	recommendation systems, reputation systems, trust networks, axiomatic approach
41	Ken Robinson	Reconciling Axiomatic and Model-Based Specifications Reprised.	ABZ	2008	DBLP DOI BibTeX RDF	classical B, formal specification, refinement, axiomatic, model-based, Event B
41	Fan Ding, Bin Wang 0004	An Axiomatic Approach to Exploit Term Dependencies in Language Model.	AIRS	2008	DBLP DOI BibTeX RDF	Language Model, Term Dependency, Axiomatic Approach, Retrieval Heuristics
41	Mehmet Mutlu Yenisey	Axiomatic Design Approach for E-Commercial Web Sites.	HCI (1)	2007	DBLP DOI BibTeX RDF	Axiomatic Design, Usability, Web page
41	Sheau-Farn Max Liang	An Axiomatic Method for Cross Cultural Usability Analysis.	HCI (10)	2007	DBLP DOI BibTeX RDF	Axiomatic Design, Culture Similarities, Cross Cultural Usability
41	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
41	Joo Y. Jung, Samir B. Billatos	An expert system for assembly based on Axiomatic Design principles.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	Axiomatic design, design for assembly, expert systems, knowledge base
37	Ming-Luen Chang, Ji-Hyun Lee	Symbiosis: Creativity with Affective Response.	HCI (13)	2007	DBLP DOI BibTeX RDF	Creativity Approach, Axiomatic Design Method, Affective Response
37	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
33	Yoshinao Isobe, Markus Roggenbach	A Complete Axiomatic Semantics for the CSP Stable-Failures Model.	CONCUR	2006	DBLP DOI BibTeX RDF
33	Joan Gispert, Antoni Torrens	Axiomatic Extensions of IMT3 Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics
33	Guy Lebanon	Axiomatic geometry of conditional models.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
33	Jinpyoung Jung, Kang-Soo Lee, Nam P. Suh	Automatically Assembled Shape Generation Using Genetic Algorithm in Axiomatic Design.	KES (1)	2005	DBLP DOI BibTeX RDF
33	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind	Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.	IPDPS	2004	DBLP DOI BibTeX RDF
33	Dongmo Zhang, Norman Y. Foo	Axiomatic Analysis of Negotiation Protocols.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
33	Petr Cintula	About axiomatic systems of product fuzzy logic.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Product logic, Fuzzy logic, Many-valued logic
33	Simone Tini	An Axiomatic Semantics for the Synchronous Language Gentzen.	FoSSaCS	2001	DBLP DOI BibTeX RDF
33	Randal J. Peters, Ken Barker 0001	Change Propagation in an Axiomatic Model of Schema Evolution for Objectbase Management Systems.	FMLDO	2000	DBLP DOI BibTeX RDF
32	Ronan Cummins, Colm O'Riordan	An axiomatic comparison of learned term-weighting schemes in information retrieval: clarifications and extensions.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	Axiomatic constraints, Information retrieval, Genetic programming
32	Siegfried Gottwald	Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches.	Stud Logica	2006	DBLP DOI BibTeX RDF	higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets
32	Vicent Caselles, Jean-Michel Morel, Catalina Sbert	An axiomatic approach to image interpolation.	ICIP (3)	1997	DBLP DOI BibTeX RDF	data interpolation, interpolation algorithms, absolute minimal Lipschitz extension model, experiments, image restoration, image restoration, points, curves, image interpolation, dynamic range, axiomatic approach, elliptic partial differential equations
32	Arnold Jonk, Arnold W. M. Smeulders	An axiomatic approach to clustering line-segments.	ICDAR	1995	DBLP DOI BibTeX RDF	line-segments clustering, clustering-hierarchy, hierarchical ordering, scale-invariant clustering, pattern recognition, computer vision, edges, lines, scale-invariance, axiomatic approach
32	C. A. R. Hoare	An Axiomatic Basis for Computer Programming.	Commun. ACM	1969	DBLP DOI BibTeX RDF	axiomatic method, formal language definition, machine-independent programming, program documentation, theory of programming' proofs of programs, programming language design
29	Amel Borgi, Saoussen Bel Hadj Kacem, Khaled Ghédira	Approximate Reasoning in a Symbolic Multi-valued Framework.	Computer and Information Science	2008	DBLP DOI BibTeX RDF
29	Varadraj Prabhu Gurupur, Urcun John Tanik	Software cultivation using the artificial intelligence design framework.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
29	Tong-Jun Li, Wen-Xiu Zhang, Jianmin Ma	Rough sets on atomic Boolean lattices.	GrC	2005	DBLP DOI BibTeX RDF
29	Renate A. Schmidt, Ullrich Hustadt	A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae.	CADE	2003	DBLP DOI BibTeX RDF
29	Bernhard Reus	Extensional Sigma-Spaces in Type Theory.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	synthetic domain theory, type theory, realizability, domain theory, constructive logic
29	William M. Farmer, Joshua D. Guttman, F. Javier Thayer	Little Theories.	CADE	1992	DBLP DOI BibTeX RDF
28	Ergün Eraslan	Usability Evaluation of Mp3/CD Players: A Multi-Criteria Decision Making Approach.	HCI (10)	2009	DBLP DOI BibTeX RDF	Fuzzy Axiomatic Design Theory (FADT), Semantic Differential Scale, Usability, Analytic Hierarchy Process (AHP), TOPSIS
28	Chenguang Luo, Shengchao Qin, Zongyan Qiu	Verifying BPEL-like programs with Hoare logic.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL
28	Libor Behounek, Petr Cintula	Features of Mathematical Theories in Formal Fuzzy Logic.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
28	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
28	Alon Altman, Moshe Tennenholtz	Ranking systems: the PageRank axioms.	EC	2005	DBLP DOI BibTeX RDF	axiomatic theory, multi-agent systems, PageRank
28	Yingzhou Zhang, Baowen Xu	A survey of semantic description frameworks for programming languages.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	hybrid semantics, semantic description frameworks, operational semantics, formal semantics, denotational semantics, axiomatic semantics
28	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
28	Claudio Masolo, Laure Vieu	Atomicity vs. Infinite Divisibility of Space.	COSIT	1999	DBLP DOI BibTeX RDF	ontology of space, axiomatic theories of space, qualitative spatial reasoning, spatial data representation
28	Olaf Kummer, Mark-Oliver Stehr	Petri's Axioms of Concurrency- A Selection of Recent Results.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics Axiomatic theory of concurrency/causality
28	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
28	Dieter Nazareth	The Semantic Treatment of Polymorphic Specification Languages.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, algebraic semantics, axiomatic specification
28	Michael Young, David L. Levine, Richard N. Taylor	Comments on "Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
28	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
28	Pankaj Jalote	Testing the Completeness of Specifications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
28	T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler	A Theory of Abstract Data Types for Program Development: Bridging the Gap?	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF	axiomatic theories, incomplete specifications, parameterisation, conservative extension, namability, implementation, interpretation, abstract data types, program development, stepwise refinement
28	Richard Kennaway, C. A. R. Hoare	A Theory of Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF	axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
28	Richard P. Reitman	A Mechanism for Information Control in Parallel Systems.	SOSP	1979	DBLP DOI BibTeX RDF	Axiomatic logic, Information control, Concurrency, Synchronization, Consistency, Information security
27	Saeed Salehi	Axiomatic (and Non-Axiomatic) Mathematics.	CoRR	2020	DBLP BibTeX RDF
23	Xiaodong Liu 0001, Witold Pedrycz, Tianyou Chai, Mingli Song	The Development of Fuzzy Rough Sets with the Use of Structures and Algebras of Axiomatic Fuzzy Sets.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
23	Moataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi	Computational complexities of axiomatic extensions of monoidal t-norm based logic.	Soft Comput.	2009	DBLP DOI BibTeX RDF
23	Tryphon T. Georgiou, Johan Karlsson, Mir Shahrouz Takyar	Metrics for Power Spectra: An Axiomatic Approach.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
23	C. A. R. Hoare	Viewpoint - Retrospective: an axiomatic basis for computer programming.	Commun. ACM	2009	DBLP DOI BibTeX RDF
23	Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova	An axiomatic approach to algebrization.	STOC	2009	DBLP DOI BibTeX RDF	algebrization, independence, relativization
23	Radu Mardare, Alberto Policriti	A Complete Axiomatic System for a Process-Based Spatial Logic.	MFCS	2008	DBLP DOI BibTeX RDF
23	Ming-qing Zhao, Qiang Yang 0002, De-zhi Gao	Axiomatic Definition of Knowledge Granularity and Its Constructive Method.	RSKT	2008	DBLP DOI BibTeX RDF	Information system, Granular computing, Axiomation
23	Sandro Morasca	Refining the axiomatic definition of internal software attributes.	ESEM	2008	DBLP DOI BibTeX RDF	internal software attributes, complexity, coupling, cohesion, size
23	Siddharth Naik, Holger Boche	Extension of axiomatic framework for resource allocation strategies for varying number of users in a wireless system.	CISS	2008	DBLP DOI BibTeX RDF
23	Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg	An axiomatic basis for communication.	SIGCOMM	2007	DBLP DOI BibTeX RDF	routing, protocols, concepts, definitions, naming, addressing
23	William Zhu 0001, Fei-Yue Wang 0001	Axiomatic Systems of Generalized Rough Sets.	RSKT	2006	DBLP DOI BibTeX RDF	Data mining, Rough set, Granular computing, Covering
23	Anatole Chessel, Frédéric Cao, Ronan Fablet	Interpolating Orientation Fields: An Axiomatic Approach.	ECCV (4)	2006	DBLP DOI BibTeX RDF
23	Brian Huffman, John Matthews, Peter White	Axiomatic Constructor Classes in Isabelle/HOLCF.	TPHOLs	2005	DBLP DOI BibTeX RDF
23	Charles S. Kenney, Marco Zuliani, B. S. Manjunath	An Axiomatic Approach to Corner Detection.	CVPR (1)	2005	DBLP DOI BibTeX RDF
23	Marina Meila	Comparing clusterings: an axiomatic view.	ICML	2005	DBLP DOI BibTeX RDF
23	I. D. Zaslavsky	Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic.	TbiLLC	2005	DBLP DOI BibTeX RDF	three-valued predicate, Luk-theory, Luk-consistent theory, Lukcomplete theory, Luk-decidable theory
23	Pavol Král	An Axiomatic Approach to Cardinalities of IF Sets.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	IF sets, cardinality
23	Sifeng Liu, Yi Lin 0001	An axiomatic definition for the degree of greyness of grey numbers.	SMC (3)	2004	DBLP DOI BibTeX RDF
23	Talal Ali Al-Hawary, D. George McRae	Toward an Elementary Axiomatic Theory of the Category of LP-Matroids.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	strong map, category, matroid
23	Agnieszka Rusinowska	Axiomatic and Strategic Approaches to Bargaining Problems.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
23	Jo Erskine Hannay	Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.	ICALP	2003	DBLP DOI BibTeX RDF
23	Furio Honsell, Marino Miculan, Ivan Scagnetto	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.	ICALP	2001	DBLP DOI BibTeX RDF	induction, logical frameworks, higher-order abstract syntax
23	Eladio Domínguez, Angel R. Francés	An Axiomatic Approach to Digital Topology.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF	lighting function, digital space
23	Helmut Thiele	On Axiomatic Characterizations of Fuzzy Approximation Operators.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	Rough sets, fuzzy rough sets, approximation operators
23	Nicolaos B. Karayiannis	An axiomatic approach to soft learning vector quantization and clustering.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
23	Helmut Thiele	Towards axiomatic foundations for defuzzification theory.	KES (2)	1998	DBLP DOI BibTeX RDF
23	Marcelo P. Fiore, Gordon D. Plotkin	An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.	CSL	1996	DBLP DOI BibTeX RDF
23	Shai Herzog, Scott Shenker, Deborah Estrin	Sharing the "Cost" of Multicast Trees: An Axiomatic Analysis.	SIGCOMM	1995	DBLP DOI BibTeX RDF	Internet
23	Andrew W. Appel	Axiomatic Bootstrapping: A Guide for Compiler Hackers.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	bootstrapping
23	Heather Alexander	Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches".	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Formal specification, prototyping
23	Shaula Yemini, Daniel M. Berry	An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	ALGOL-68
23	Hans-Juergen Boehm	Side Effects and Aliasing Can Have Simple Axiomatic Descriptions.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
23	Stephen D. Brookes	On the Axiomatic Treatment of Concurrency.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
23	Albert R. Meyer, John C. Mitchell	Axiomatic Definability and Completeness for Recursive Programs.	POPL	1982	DBLP DOI BibTeX RDF