Search results for "interpretations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Roger M. Cooke, Philippe Smets	Self-Conditional Probabilities and Probabilistic Interpretations of Belief Functions.	Ann. Math. Artif. Intell.	2001	DBLP DOI BibTeX RDF
15	Bernd Fischer 0002, Grigore Rosu	Interpreting Abstract Interpretations in Membership Equational Logic.	RULE@PLI	2001	DBLP DOI BibTeX RDF
15	Ernest Czogala, Jacek M. Leski	On equivalence of approximate reasoning results using different interpretations of fuzzy if-then rules.	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
15	C. A. Johnson	Constructing interpretations of deductive databases using reduction and dynamic stratification.	Data Knowl. Eng.	2001	DBLP DOI BibTeX RDF
15	Barney Dalgarno	Interpretations of constructivism and consequences for Computer Assisted Learning.	Br. J. Educ. Technol.	2001	DBLP DOI BibTeX RDF
15	Laurent Ros, Geneviève Jourdain, Marylin Arndt	Interpretations and performances of linear reception in downlink td-cdma and multi-sensor extension.	Ann. des Télécommunications	2001	DBLP DOI BibTeX RDF
15	François Lepage	Partial Probabilistic Interpretations and General Imaging.	DEXA Workshops	2001	DBLP DOI BibTeX RDF
15	Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen	Scaling Up Inductive Logic Programming by Learning from Interpretations	CoRR	2000	DBLP BibTeX RDF
15	Lesley Kuhn, Robert Woog	From Getting It Right to Getting It Human: Reclaiming Imprecise Interpretations for Being and Knowing in the World.	ICSTM	2000	DBLP BibTeX RDF
15	Nadia Busi, Gianluigi Zavattaro	Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.	SAC (1)	2000	DBLP DOI BibTeX RDF
15	Sari Tuuva	Local Interpretations of Information Technology.	Woman, Work and Computerization	2000	DBLP BibTeX RDF
15	Ingmar Visser, Maartje E. J. Raijmakers, Peter C. M. Molenaar	Hidden Markov Model Interpretations of Neural Networks.	NCPW	2000	DBLP DOI BibTeX RDF
15	Alessandra Di Pierro, Herbert Wiklicky	On the precision of abstract interpretations.	LOPSTR	2000	DBLP BibTeX RDF
15	Kurt Palmer, Kwok-Leung Tsui	A review and interpretations of process capability indices.	Ann. Oper. Res.	1999	DBLP DOI BibTeX RDF
15	Judea Pearl	Probabilities Of Causation: Three Counterfactual Interpretations And Their Identification.	Synth.	1999	DBLP DOI BibTeX RDF
15	Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen	Scaling Up Inductive Logic Programming by Learning from Interpretations.	Data Min. Knowl. Discov.	1999	DBLP DOI BibTeX RDF
15	Irene Neilson, Ray Paton	VRI '98: visual representations and interpretations workshop.	ACM SIGCHI Bull.	1999	DBLP DOI BibTeX RDF
15	David N. Turner, Philip Wadler	Operational Interpretations of Linear Logic.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
15	Gilberto Filé, Francesco Ranzato	The Powerset Operator on Abstract Interpretations.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
15	Colin Oakes	Interpretations of intuitionist logic in non-normal modal logics.	J. Philos. Log.	1999	DBLP DOI BibTeX RDF
15	Lars Birkedal, Robert Harper 0001	Relational Interpretations of Recursive Types in an Operational Setting.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
15	Ray Paton, Irene Neilson (eds.)	Visual Representations and Interpretations		1999	DBLP DOI BibTeX RDF
15	Neil Pendock	A simple associative neural network for producing spatially homogenous spectral abundance interpretations of hyperspectral imagery.	ESANN	1999	DBLP BibTeX RDF
15	Abdullah Embong, Azman Samsudin	Local and Global Considerations in Line Drawing Interpretations of Partially Occluded Patterns.	SIP	1999	DBLP BibTeX RDF
15	Henry E. Kyburg Jr., Choh Man Teng 0001	Choosing Among Interpretations of Probability.	UAI	1999	DBLP BibTeX RDF
15	Viviana Bono, Michele Bugliesi	Interpretations of Extensible Objects and Types.	FCT	1999	DBLP DOI BibTeX RDF
15	Y. Y. Yao	Relational Interpretations of Neigborhood Operators and Rough Set Approximation Operators.	Inf. Sci.	1998	DBLP DOI BibTeX RDF
15	Carlos Romero, Mehrdad Tamiz, Dylan F. Jones	Goal programming, compromise programming and reference point method formulations: linkages and utility interpretations.	J. Oper. Res. Soc.	1998	DBLP DOI BibTeX RDF
15	Éric Villemonte de la Clergerie, François Barthélemy	Information Flow in Tabular Interpretations for Generalized Push-Down Automata.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
15	J. D. Balakrishnan	Measures and Interpretations of Vigilance Performance: Evidence against the Detection Criterion.	Hum. Factors	1998	DBLP DOI BibTeX RDF
15	Yariv Ephraim, Neri Merhav, Harry L. Van Trees	Authors' reply to "Comments on 'Min-Norm interpretations and consistency of MUSIC, MODE, and ML'".	IEEE Trans. Signal Process.	1998	DBLP DOI BibTeX RDF
15	Petre Stoica, Björn E. Ottersten	Comments on "Min-norm interpretations and consistency of MUSIC, MODE, and ML".	IEEE Trans. Signal Process.	1998	DBLP DOI BibTeX RDF
15	Yaxin Liu, Etienne E. Kerre	An overview of fuzzy quantifiers. (I). Interpretations.	Fuzzy Sets Syst.	1998	DBLP DOI BibTeX RDF
15	Radko Mesiar, Endre Pap	Different interpretations of triangular norms and related operations.	Fuzzy Sets Syst.	1998	DBLP DOI BibTeX RDF
15	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Building Complete Abstract Interpretations in a Linear Logic-based Setting.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
15	Sei Chun, Huizhu Lu, Jonghoon Chun	Succinct model semantics: a simple model for inclusive interpretations.	SAC	1998	DBLP DOI BibTeX RDF	logic programming, deductive database, minimal models
15	David A. Schmidt	Data Flow Analysis is Model Checking of Abstract Interpretations.	POPL	1998	DBLP DOI BibTeX RDF
15	David A. Schmidt, Bernhard Steffen	Program Analysis as Model Checking of Abstract Interpretations.	SAS	1998	DBLP DOI BibTeX RDF
15	Shan-Hwei Nienhuys-Cheng	Distances and Limits on Herbrand Interpretations.	ILP	1998	DBLP DOI BibTeX RDF
15	Ruth Stalker, Ian E. Smith	Structural Monitoring: Decision-Support through Multiple Data Interpretations.	AI in Structural Engineering	1998	DBLP DOI BibTeX RDF
15	Marcelo Fiszman, Peter J. Haug, Philip R. Frederick	Automatic extraction of PIOPED interpretations from ventilation/perfusion lung scan reports.	AMIA	1998	DBLP BibTeX RDF
15	Husain Ibraheem, David A. Schmidt	Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations.	HOOTS	1997	DBLP DOI BibTeX RDF
15	Christiane Poupard	Two Other Interpretations of the Entringer Numbers.	Eur. J. Comb.	1997	DBLP DOI BibTeX RDF
15	Terttu Luukkonen	Why has Latour's theory of citations been ignored by the bibliometric community? discussion of sociological interpretations of citation analysis.	Scientometrics	1997	DBLP DOI BibTeX RDF
15	Malcolm King, Laurie McAulay	Information technology investment evaluation: evidence and interpretations.	J. Inf. Technol.	1997	DBLP DOI BibTeX RDF
15	Roberto Giacobazzi	Systematic design of abstract interpretations.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
15	Patrick Cousot	Types as Abstract Interpretations.	POPL	1997	DBLP DOI BibTeX RDF
15	L. Rodney Long, Yechiam Ostchega, Gin-Hua Goh, George R. Thoma	Distributed Data Collection for a Database of Radiological Image Interpretations.	Storage and Retrieval for Image and Video Databases (SPIE)	1997	DBLP DOI BibTeX RDF
15	Stanislav Tzolovski	Data Dependence as Abstract Interpretations.	SAS	1997	DBLP DOI BibTeX RDF
15	Lars Birkedal, Robert Harper 0001	Relational Interpretations of Recursive Types in an operational Setting (Summary).	TACS	1997	DBLP DOI BibTeX RDF
15	Shan-Hwei Nienhuys-Cheng	Distance Between Herbrand Interpretations: A Measure for Approximations to a Target Concept.	ILP	1997	DBLP DOI BibTeX RDF
15	JungHyun Han	On Multiple Interpretations.	Symposium on Solid Modeling and Applications	1997	DBLP DOI BibTeX RDF
15	Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi	A Closer Look at Declarative Interpretations.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
15	Anne Preller, Geneviève Simonet	Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types.	Math. Struct. Comput. Sci.	1996	DBLP DOI BibTeX RDF
15	Andrea Cantini	Asymmetric Interpretations for Bounded Theories.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
15	Peter Jung, Paul D. Alexander	A Unified Approach to Multiuser Detectors for CDMA and Their Geometrical Interpretations.	IEEE J. Sel. Areas Commun.	1996	DBLP DOI BibTeX RDF
15	Germano Resconi, George J. Klir, David Harmanec, Ute St. Clair	Interpretations of various uncertainty theories using models of modal logic: A summary.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
15	William J. Williams	Reduced interference distributions: biological applications and interpretations.	Proc. IEEE	1996	DBLP DOI BibTeX RDF
15	Robert Harper 0001, Mark Lillibridge	Operational Interpretations of an Extension of Fomega with Control Operators.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
15	Roberto Giacobazzi, Francesco Ranzato	Optimization of Disjunctive Abstract Interpretations.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
15	Marie Cottrell, Eric de Bodt	A Kohonen map representation to avoid misleading interpretations.	ESANN	1996	DBLP BibTeX RDF
15	Zhimin Shao, Josef Kittler	Fuzzy non-iterative ARG labeling with multiple interpretations.	ICPR	1996	DBLP DOI BibTeX RDF
15	Josef van Genabith, Dick Crouch	Direct and Underspecified Interpretations of LFG f-structures.	COLING	1996	DBLP BibTeX RDF
15	Robert Dale, Ehud Reiter	Computational Interpretations of the Gricean Maxims in the Generation of Referring Expressions.	Cogn. Sci.	1995	DBLP DOI BibTeX RDF
15	Robert Dale, Ehud Reiter	Computational Interpretations of the Gricean Maxims in the Generation of Referring Expressions	CoRR	1995	DBLP BibTeX RDF
15	Yariv Ephraim, Neri Merhav, Harry L. Van Trees	Min-norm interpretations and consistency of MUSIC, MODE and ML.	IEEE Trans. Signal Process.	1995	DBLP DOI BibTeX RDF
15	Michael J. Muller	Ethnocritical Questions for Working with Translations, Interpretations, and their Stakeholders.	Commun. ACM	1995	DBLP DOI BibTeX RDF
15	Lawrence S. Moss, David E. Johnson 0002	Dynamic Interpretations of Constraint-Based Grammar Formalisms.	J. Log. Lang. Inf.	1995	DBLP DOI BibTeX RDF
15	Pierre Lescanne	Termination of Rewrite Systems by Elementary Interpretations.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
15	Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo	Improving Abstract Interpretations by Combining Domains.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	logic programming, program analysis, abstract interpretation
15	Roberto Giacobazzi, Francesco Ranzato	Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.	ILPS	1995	DBLP BibTeX RDF
15	Paul D. Alexander, Peter Jung	A unified approach to multiuser detectors for CDMA and their geometrical interpretations.	PIMRC	1995	DBLP DOI BibTeX RDF
15	Weining Zhang, Clement T. Yu, Bryan Reagan, Hiroshi Nakajima	Context-Dependent Interpretations of Linguistic Terms in Fuzzy Relational Databases.	ICDE	1995	DBLP DOI BibTeX RDF
15	Ken Satoh	PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning.	Machine Intelligence 15	1995	DBLP BibTeX RDF
15	Luis L. Martins, Ajit Kambil	Learning from Experience: Managerial Interpretations of Past and Future Information Technologies.	ICIS	1995	DBLP BibTeX RDF
15	Jesse de Does, Johannes M. Schumacher	Interpretations of the gap topology: A survey.	Kybernetika	1994	DBLP BibTeX RDF
15	David V. Beard, Bradley M. Hemminger, Etta D. Pisano, Kevin M. Denelsbeck, David M. Warshauer, Matthew A. Mauro, Bernadette Keefe, William H. McCartney, Claire B. Wilcox	Computed tomography interpretations with a low-cost workstation: A timing study.	J. Digit. Imaging	1994	DBLP DOI BibTeX RDF
15	Makoto Tatsuta	Two Realizability Interpretations of Monotone Inductive Definitions.	Int. J. Found. Comput. Sci.	1994	DBLP DOI BibTeX RDF
15	Yuan-Jye Tseng, Sanjay B. Joshi	Recognizing multiple interpretations of interacting machining features.	Comput. Aided Des.	1994	DBLP DOI BibTeX RDF
15	Mads Dam	Process-Algebraic Interpretations of Positive Linear and Relevant Logics.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
15	John Hughes 0001, John Launchbury	Reversing Abstract Interpretations.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
15	Gilberto Filé, Francesco Ranzato	Improving Abstract Interpretations by Systematic Lifting to the Powerset.	ILPS	1994	DBLP BibTeX RDF
15	Gilberto Filé, Francesco Ranzato	Improving Abstract Interpretations by Systematic Lifting to the Powerset.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
15	Krzysztof R. Apt, Maurizio Gabbrielli	Declarative Interpretations Reconsidered.	ICLP	1994	DBLP BibTeX RDF
15	Ying Li 0011	Probabilistic interpretations of fuzzy sets and systems.		1994	RDF
15	Jean Jacques Loiseau, Petr Zagalák	On various interpretations of the Rosenbrock theorem.	Kybernetika	1993	DBLP BibTeX RDF
15	Philip Kremer	Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p.	J. Symb. Log.	1993	DBLP DOI BibTeX RDF
15	Michael Kaminski	Interpretations of Open Default Theories in Non-Monotonic Logics.	Ann. Math. Artif. Intell.	1993	DBLP DOI BibTeX RDF
15	Michal Grabowski	On the Status of Proving Program Properties in Effective Interpretations.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
15	Samson Abramsky	Computational Interpretations of Linear Logic.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
15	Stephen A. Cook, Alasdair Urquhart	Functional Interpretations of Feasibly Constructive Arithmetic.	Ann. Pure Appl. Log.	1993	DBLP DOI BibTeX RDF
15	Lev D. Beklemishev	On the complexity of arithmetical interpretations of modal formulae.	Arch. Math. Log.	1993	DBLP DOI BibTeX RDF
15	Antonín Sochor	Interpretations of the alternative set theory.	Arch. Math. Log.	1993	DBLP DOI BibTeX RDF
15	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
15	José Luiz Fiadeiro, T. S. E. Maibaum	Generalising Interpretations between Theories in the context of (pi-) Institutions.	Theory and Formal Methods	1993	DBLP BibTeX RDF
15	Hsiu-Hui Lee	Temporal Interpretations of Sentences with Complement Clauses.	ICTAI	1993	DBLP DOI BibTeX RDF
15	Ursula Martin	Linear Interpretations by Counting Patterns.	RTA	1993	DBLP DOI BibTeX RDF
15	Dan Qiu, Joachim Dudeck	Certainty factor theory: Its probabilistic interpretations and problems.	Artif. Intell. Medicine	1992	DBLP DOI BibTeX RDF
15	Branislav R. Boricic	On Some Interpretations of Classical Logic.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
15	Michael I. Schwartzbach	Interpretations of Recursively Defined Types.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF