Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	James Brotherston, Richard Bornat, Cristiano Calcagno	Cyclic proofs of program termination in separation logic.	POPL	2008	DBLP DOI BibTeX RDF	cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions
17	Charles J. Petrie	No Science without Semantics.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	semantics, computer science, grand challenge, formal definitions
17	Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor	A practical dynamic single assignment transformation.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	reaching definitions, parallelization, Data flow analysis, arrays, single assignment
17	Daniel K. Lee, Karl Crary, Robert Harper 0001	Towards a mechanized metatheory of standard ML.	POPL	2007	DBLP DOI BibTeX RDF	language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
17	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
17	Wilfred Ng, Wai Yeung Lam, Peter T. Wood, Mark Levene	XCQ: A queriable XML compression system.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Document type definitions, XML, Performance, Query processing, Compression algorithms
17	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson	Verifying the SET Purchase Protocols.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	deductive verification, electronic commerce, security protocols, Isabelle, inductive definitions
17	Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig	Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion
17	Juan Manuel Serrano, Sascha Ossowski	A semantic framework for the recursive specification of interaction protocols.	SAC	2005	DBLP DOI BibTeX RDF	recursive definitions, standards for agents and MAS, interaction protocols, agent-based software engineering, agent communication languages and protocols, organisational models
17	Marcos André Gonçalves, Edward A. Fox, Layne T. Watson, Neill A. Kipp	Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries.	ACM Trans. Inf. Syst.	2004	DBLP DOI BibTeX RDF	applications., taxonomy, definitions, foundations
17	Xavier Caicedo	Implicit connectives of algebraizable logics.	Stud Logica	2004	DBLP DOI BibTeX RDF	implicit and explicit definitions, connectives, quasivarieties, Algebraizable logics
17	Jinxi Xu, Ralph M. Weischedel, Ana Licuanan	Evaluation of an extraction-based approach to answering definitional questions.	SIGIR	2004	DBLP DOI BibTeX RDF	information extraction, question answering, summarization, definitions
17	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
17	Thomas Streicher	Inductive Construction of Repletion.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	synthetic domain theory, denotational semantics, inductive definitions, constructive logic
17	Jo Ann Lane, David Zubrow	Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report).	ICSE	1997	DBLP DOI BibTeX RDF	counting rules, software measurement definitions, software measurement goals, software process improvement, productivity, cycle time, software development cost
17	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
17	Pavel Brazdil, Stephen H. Muggleton	Learning to Relate Terms in a Multiple Agent Environment.	EWSL	1991	DBLP DOI BibTeX RDF	language differences, learning concept definitions, learning unknown concepts, predicate vocabulary, learning in distributed systems, knowledge integration
17	Raymond T. Boute	Representational and Denotational Semantics of Digital Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems
17	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
17	Richard Kennaway, C. A. R. Hoare	A Theory of Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF	axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
17	Mandalay Grems	Glossaries for computing and data processing.	Commun. ACM	1961	DBLP DOI BibTeX RDF	computing, definitions, data processing, terminology, glossary
17	Dan Preston, Carla E. Brodley, Roni Khardon, Damien Sulla-Menashe, Mark A. Friedl	Redefining class definitions using constraint-based clustering: an application to remote sensing of the earth's surface.	KDD	2010	DBLP DOI BibTeX RDF	constraint-based clustering, kdd-process, mining scientific data, remote sensing, class discovery
17	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
17	Olga Acosta	Automatic Extraction of Lexical Relations from Analytical Definitions Using a Constraint Grammar.	Canadian AI	2009	DBLP DOI BibTeX RDF
17	Imène Kadi, Nihal Pekergin, Jean-Marc Vincent	Different Monotonicity Definitions in Stochastic Modelling.	ASMTA	2009	DBLP DOI BibTeX RDF
17	Maria Carolina Vanegas, Isabelle Bloch, Henri Maître, Jordi Inglada	Approximate Parallelism between Fuzzy Objects: Some Definitions.	WILF	2009	DBLP DOI BibTeX RDF
17	Katie Retzinger	Confounding definitions: using a continuum to understand interactivity.	SIGDOC	2009	DBLP DOI BibTeX RDF	user-to-documents, user-to-system, user-to-user, interaction, interactivity, control, time, active, passive, continuum
17	Bohdan S. Butkiewicz	An Approach to Theory of Fuzzy Signals - Basic Definitions.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
17	Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi	The Anticipatory Approach: Definitions and Taxonomies.	The Challenge of Anticipation	2008	DBLP DOI BibTeX RDF
17	Leonardo Lezcano, Miguel-Ángel Sicilia, Pablo Serrano-Balazote	Combining OpenEHR Archetype Definitions with SWRL Rules - A Translation Approach.	WSKS (1)	2008	DBLP DOI BibTeX RDF	Electronic healthcare records, clinical archetypes, ontologies, OWL, SWRL
17	Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe	SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.	SAT	2008	DBLP DOI BibTeX RDF
17	Gijs van den Broek, Jürgen Schönwälder, Aiko Pras, Matús Harvan	SNMP Trace Analysis Definitions. (PDF / PS)	AIMS	2008	DBLP DOI BibTeX RDF	simple network management protocol, traffic modeling
17	Maarten Mariën, Johan Wittocx, Marc Denecker	Integrating Inductive Definitions in SAT.	LPAR	2007	DBLP DOI BibTeX RDF
17	Alejandro Figueroa 0001, Günter Neumann	A Multilingual Framework for Searching Definitions on Web Snippets.	KI	2007	DBLP DOI BibTeX RDF
17	Mathias Röhl, Stefan Morgenstern	Composing simulation models using interface definitions based on web service descriptions.	WSC	2007	DBLP DOI BibTeX RDF
17	Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey 0001, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise	Using process definitions to drive user interactions with digital government systems.	DG.O	2007	DBLP BibTeX RDF	dispute resolution, process driven interfaces, prototyping, process, online dispute resolution, process definition
17	ZhiWu Li 0001, MengChu Zhou	Clarifications on the Definitions of Elementary Siphons in Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
17	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Symmetry, Constraint satisfaction problems
17	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.	LPAR	2006	DBLP DOI BibTeX RDF
17	Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil	Automatic Fault Tree Derivation from Little-JIL Process Definitions.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
17	Steven Obua	Checking Conservativity of Overloaded Definitions in Higher-Order Logic.	RTA	2006	DBLP DOI BibTeX RDF
17	Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo	Succinct System of Minimal Generators: A Thorough Study, Limitations and New Definitions.	CLA	2006	DBLP DOI BibTeX RDF
17	Jin Li 0002, Xiaofeng Chen 0001, Tsz Hon Yuen, Yanming Wang	Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant.	CIS	2006	DBLP DOI BibTeX RDF
17	David M. Northcutt	Using monte carlo simulation to choose among alternative statistical definitions.	WSC	2005	DBLP BibTeX RDF
17	James Brotherston	Cyclic Proofs for First-Order Logic with Inductive Definitions.	TABLEAUX	2005	DBLP DOI BibTeX RDF
17	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
17	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
17	Catharina Riedemann	Matching Names and Definitions of Topological Operators.	COSIT	2005	DBLP DOI BibTeX RDF
17	Stephan Schulz 0002	Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.	TestCom	2004	DBLP DOI BibTeX RDF
17	Pietro Di Gianantonio, Marino Miculan	Unifying Recursive and Co-recursive Definitions in Sheaf Categories.	FoSSaCS	2004	DBLP DOI BibTeX RDF
17	Henric Alsterman, Mauro Onori	Definitions, Limitations and Approaches of Evolvable Assembly System Platforms.	BASYS	2004	DBLP DOI BibTeX RDF
17	Li Ding 0002, Pinaki Mazumder	Dynamic Noise Margin: Definitions and Model.	VLSI Design	2004	DBLP DOI BibTeX RDF
17	Bing Liu 0001, Chee Wee Chin, Hwee Tou Ng	Mining topic-specific concepts and definitions on the web.	WWW	2003	DBLP DOI BibTeX RDF	definition mining, domain concept mining, information integration, web content mining, knowledge compilation
17	Ya Bing Chen, Tok Wang Ling, Mong-Li Lee	Automatic Generation of XQuery View Definitions from ORA-SS Views.	ER	2003	DBLP DOI BibTeX RDF
17	Wendy L. Cukier, Denise Shortt, Irene Devine	Gender and information technology: implications of definitions.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF	information technology, gender, human resources, institutional theory
17	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
17	Jean-Raymond Abrial, Louis Mussat	On Using Conditional Definitions in Formal Theories.	ZB	2002	DBLP DOI BibTeX RDF
17	Lee A. Freeman	Information Systems Knowledge: Foundations, Definitions, and Applications.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	models of knowledge, information systems knowledge, instrument development, knowledge
17	William H. Sanders, John F. Meyer	Stochastic Activity Networks: Formal Definitions and Concepts.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
17	Heiko Mantel	Possibilistic Definitions of Security - An Assembly Kit.	CSFW	2000	DBLP DOI BibTeX RDF	information flow, security models, non-interference
17	Ferruccio Damiani	Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.	FoSSaCS	2000	DBLP DOI BibTeX RDF
17	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Definitions of Equivalence for Transformational Synthesis of Embedded Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	transformational synthesis, PRES+, explicit notion, Ethernet network coprocessor, embedded systems, Petri nets, computational model, equivalence, embedded systems design, data transformation, formal notation, design cycles, complex task
17	Kazem Taghva, Jeff Gilbreth	Recognizing acronyms and their definitions.	Int. J. Document Anal. Recognit.	1999	DBLP DOI BibTeX RDF	Information retrieval, Feature extraction, OCR, Precision, Knowledge extraction, Recall
17	Peter Dybjer, Anton Setzer	A Finite Axiomatization of Inductive-Recursive Definitions.	TLCA	1999	DBLP DOI BibTeX RDF
17	Dan Corbett	A Case for Variable-Arity Relations: Definitions and Domains.	ICCS	1999	DBLP DOI BibTeX RDF
17	Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, Andreas Stafylopatis	Average-Case Complexity for the Execution of Recursive Definitions on Relational Databases.	Acta Informatica	1998	DBLP DOI BibTeX RDF
17	Margaret M. Burnett, Herkimer J. Gottfried	Graphical Definitions: Expanding Spreadsheet Languages Through Direct Manipulation and Gestures.	ACM Trans. Comput. Hum. Interact.	1998	DBLP DOI BibTeX RDF	forms/3, gestures, direct manipulation, programming by demonstration
17	Robert Demolombe	Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique.	FQAS	1998	DBLP DOI BibTeX RDF
17	Marilyne Macrelle, Cyrille Desmoulins	Macro-Definitions, a Basic Component for Interoperability between ILEs at the Knowledge Level: Application to Geometry.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
17	Gianpiero Cattaneo, Luciano Margara	Topological Definitions of Chaos Applied to Cellular Automata Dynamics.	MFCS	1998	DBLP DOI BibTeX RDF
17	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Variable Precision Reaching Definitions Analysis for Software Maintenance.	CSMR	1997	DBLP DOI BibTeX RDF
17	Seán Matthews	A Practical Implementation of Simple Consequence Relations Using Inductive Definitions.	CADE	1997	DBLP DOI BibTeX RDF
17	Patrick Cousot, Radhia Cousot	Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.	CAV	1995	DBLP DOI BibTeX RDF
17	Sten Agerholm	Non-primitive Recursive Function Definitions.	TPHOLs	1995	DBLP DOI BibTeX RDF
17	Floriana Esposito, Donato Malerba, Giovanni Semeraro	Traps and Pitfalls when Learning Logical Definitions from Relations.	ISMIS	1994	DBLP DOI BibTeX RDF
17	Karl-Heinz Buth	Simulation of SOS Definitions with Term Rewriting Systems.	ESOP	1994	DBLP DOI BibTeX RDF
17	Lars-Henrik Eriksson	Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.	CADE	1994	DBLP DOI BibTeX RDF
17	Thierry Coquand, Peter Dybjer	Inductive Definitions and Type Theory: an Introduction (Preliminary Version).	FSTTCS	1994	DBLP DOI BibTeX RDF
17	Kjell O. Jeppson, Sven Christensson, Nils Hedenstierna	Formal definitions of edge-based geometric design rules.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
17	Lars-Henrik Eriksson	Finitary Partial Inductive Definitions as a General Logic.	ELP	1993	DBLP DOI BibTeX RDF
17	Patrick Cousot, Radhia Cousot	Inductive Definitions, Semantics and Abstract Interpretation.	POPL	1992	DBLP DOI BibTeX RDF
17	Kim B. Bruce	The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages.	MFPS	1991	DBLP DOI BibTeX RDF
17	Ben A. Sijtsma	On the Productivity of Recursive List Definitions.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
17	H. Venkateswaran	Circuit Definitions of Nondeterministic Complexity Classes.	FSTTCS	1988	DBLP DOI BibTeX RDF
17	Rolf Bahlke, Gregor Snelting	The PSG System: From Formal Language Definitions to Interactive Programming Environments.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
17	Lutz M. Wegner	Bracketed Two-Level Grammars - A Decidable and Practical Approach to Language Definitions.	ICALP	1979	DBLP DOI BibTeX RDF
17	W. Barkley Fritz	Selected definitions.	Commun. ACM	1963	DBLP DOI BibTeX RDF
14	Leon J. Osterweil	Formalisms to Support the Definition of Processes.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	processes, process language, process definition
14	Jens-Matthias Bohli, Andreas Pashalidis	Relations Among Privacy Notions.	Financial Cryptography	2009	DBLP DOI BibTeX RDF
14	Xiaojun Zhang, Zheng He	A More Strict Definition of Steady State Degree Distribution.	Complex (2)	2009	DBLP DOI BibTeX RDF	Steady state degree distribution, evolving network, stochastic process
14	Mandar Haridas, Doina Caragea	Exploring Wikipedia and DMoz as Knowledge Bases for Engineering a User Interests Hierarchy for Social Network Applications.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF
14	Hoeteck Wee	Zero Knowledge in the Random Oracle Model, Revisited.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	sequential composition, zero-knowledge, obfuscation, random oracle model
14	Ralf Küsters, Tomasz Truderung	An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols.	SP	2009	DBLP DOI BibTeX RDF
14	Richard Holzer, Hermann de Meer	Quantitative Modeling of Self-organizing Properties.	IWSOS	2009	DBLP DOI BibTeX RDF	Self-Organziation, Target orientation, Adaptivity, Systems, Mathematical modeling, Resilience, Homogeneity
14	Christoph Stasch, Krzysztof Janowicz, Arne Bröring, Ilka Reis, Werner Kuhn	A Stimulus-Centric Algebraic Approach to Sensors and Observations.	GSN	2009	DBLP DOI BibTeX RDF
14	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	information flow, secrecy
14	Thomas Baar	Correctly defined concrete syntax.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Metamodeling, Visual languages, OCL, Triple-Graph-Grammars (TGGs), Concrete syntax
14	Christof Lutteroth, Robert Strandh, Gerald Weber	Domain Specific High-Level Constraints for User Interface Layout.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Auckland Layout Model, Constraint, GUI
14	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
14	Aman Shakya, Hideaki Takeda 0001, Vilas Wuwongse	Consolidating User-Defined Concepts with StYLiD.	ASWC	2008	DBLP DOI BibTeX RDF	concept consolidation, multiple conceptualizations, social Semantic Web, information sharing, linked data, Structured data