Search results for "argument"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
13	Étienne Payet, Frédéric Mesnard	Nontermination inference of logic programs.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	nontermination analysis, optimal termination condition, Logic programming, static analysis
13	Taro Fukumoto, Hajime Sawamura	Argumentation-Based Learning.	ArgMAS	2006	DBLP DOI BibTeX RDF
13	Mizuho Mishima, Makoto Kikuchi	Mathematical Models of Category-Based Induction.	Discovery Science	2006	DBLP DOI BibTeX RDF
13	Bernhard Möller, Peter Höfner, Georg Struth	Quantales and Temporal Logics.	AMAST	2006	DBLP DOI BibTeX RDF
13	Jack Liu, Youfeng Wu	Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective.	CC	2006	DBLP DOI BibTeX RDF
13	Agneta Gulz, Magnus Haake	Virtual Pedagogical Agents: Naturalism vs. Stylization.	IVA	2006	DBLP DOI BibTeX RDF
13	Jane Huffman Hayes, Alex Dekhtyar, Elizabeth Ashlee Holbrook, Senthil Karthikeyan Sundaram, Olga Dekhtyar	Will Johnny/Joanie Make a Good Software Engineer? Are Course Grades Showing the Whole Picture?	CSEE&T	2006	DBLP DOI BibTeX RDF
13	Richard M. Conlan, Peter Tarasewich	Improving interface designs to help users choose better passwords.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	HCISEC, security, HCI, usability, user-centered design, interface design, passwords, proactive password checking
13	Jens Groth, Rafail Ostrovsky, Amit Sahai	Perfect Non-interactive Zero Knowledge for NP.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
13	Andrei E. Romashchenko	Reliable Computations Based on Locally Decodable Codes.	STACS	2006	DBLP DOI BibTeX RDF
13	David Scot Taylor	Online Distributed Object Migration.	WAOA	2006	DBLP DOI BibTeX RDF	Distributed Algorithms, Object Oriented Programming, Online Algorithms, Data Management, Competitive Analysis
13	Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Sum11 on Finite Models.	CiE	2006	DBLP DOI BibTeX RDF	Henkin quantifiers, partially ordered connectives, NP vs. coNP, finite model theory
13	Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk	Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.	WADS	2006	DBLP DOI BibTeX RDF
13	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and Alternation: A Proper Hierarchy in Higher Order Logics.	FoIKS	2006	DBLP DOI BibTeX RDF
13	Manfred Kerber	A Dynamic Poincaré Principle.	MKM	2006	DBLP DOI BibTeX RDF
13	Philip G. Emma	Inventions and the creative process.	IEEE Micro	2005	DBLP DOI BibTeX RDF	innovations, Patents, inventions
13	Gustavo Adrian Bodanza, Fernando A. Tohmé	Local Logics, Non-Monotonicity and Defeasible Argumentation.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	local logics, non-monotonicity, Defeasible argumentation
13	Frank K. Hwang, Wen-Dar Lin	Necessary and sufficient conditions for rearrangeable Logd(N, m, p).	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
13	Nachum Dershowitz	The Four Sons of Penrose.	LPAR	2005	DBLP DOI BibTeX RDF
13	Timothy Chklovski, Varun Ratnakar, Yolanda Gil	User interfaces with semi-formal representations: a study of designing argumentation structures.	IUI	2005	DBLP DOI BibTeX RDF	meaning decomposition, semi-formal representations, decision-making, argumentation, natural language understanding
13	David M. Levy	To grow in wisdom: vannevar bush, information overload, and the life of leisure.	JCDL	2005	DBLP DOI BibTeX RDF	vannevar bush, hypertext, information overload, memex
13	Giuseppe Persiano, Ivan Visconti	Single-Prover Concurrent Zero Knowledge in Almost Constant Rounds.	ICALP	2005	DBLP DOI BibTeX RDF
13	Jens Groth	Non-interactive Zero-Knowledge Arguments for Voting.	ACNS	2005	DBLP DOI BibTeX RDF
13	Andreas Jakoby, Maciej Liskiewicz	Revealing Additional Information in Two-Party Computations.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
13	Cungang Yang, Chang N. Zhang	A Privacy Enhanced Role-Based Access Control Model for Enterprises.	ICCNMC	2005	DBLP DOI BibTeX RDF
13	Gabrielle Ford, Paula Kotzé	Designing Usable Interfaces with Cultural Dimensions.	INTERACT	2005	DBLP DOI BibTeX RDF
13	Eli Gafni, Rachid Guerraoui, Bastian Pochon	From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement.	STOC	2005	DBLP DOI BibTeX RDF	early decision, simulation, reduction, set agreement
13	Joël Alwen, Giuseppe Persiano, Ivan Visconti	Impossibility and Feasibility Results for Zero Knowledge with Public Keys.	CRYPTO	2005	DBLP DOI BibTeX RDF
13	Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi	Non-Automatizability of Bounded-Depth Frege Proofs.	Comput. Complex.	2004	DBLP DOI BibTeX RDF	Subject classification. 03F20, 68Q17, 68T15
13	Siegfried Gottwald	Fuzzy Control as a General Interpolation Problem.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
13	Rahul Savani, Bernhard von Stengel	Exponentially Many Steps for Finding a Nash Equilibrium in a Bimatrix Game.	FOCS	2004	DBLP DOI BibTeX RDF
13	Desmond Kirkpatrick, Peter J. Osler, Louis Scheffer, Prashant Saxena, Dennis Sylvester	The great interconnect buffering debate: are you a chicken or an ostrich?	ISPD	2004	DBLP DOI BibTeX RDF
13	Hajime Sawamura, Edwin D. Mares	How Agents Should Exploit Tetralemma with an Eastern Mind in Argumentation.	PRIMA	2004	DBLP DOI BibTeX RDF
13	Arend Soeteman	Legal logic? Or can we do without?	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF
13	Boaz Barak, Yehuda Lindell, Salil P. Vadhan	Lower Bounds for Non-Black-Box Zero Knowledge.	FOCS	2003	DBLP DOI BibTeX RDF
13	Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen	A Direct Sum Theorem in Communication Complexity via Message Compression.	ICALP	2003	DBLP DOI BibTeX RDF
13	Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu 0004	Resettable Zero-Knowledge in the Weak Public-Key Model.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
13	Joseph Dunn, Sean Davey, Anne Descour, Richard T. Snodgrass	Sequenced Subset Operators: Definition and Implementation.	ICDE	2002	DBLP DOI BibTeX RDF	sequenced operator, anti-semi-join, validity period, . algebraic operator implementation, temporal query language
13	B. Jack Copeland	Hypercomputation in the Chinese Room.	UMC	2002	DBLP DOI BibTeX RDF
13	Roland Hausser	Replicating Quantified Noun Phrases in Database Semantics.	NLDB	2002	DBLP DOI BibTeX RDF
13	Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal	Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles.	FOCS	2002	DBLP DOI BibTeX RDF
13	Luke Emmet, George Cleland	Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design.	Hypertext	2002	DBLP DOI BibTeX RDF	hypertext argumentation, pliant systems, safety related systems, usability, technology adoption, field experience, graphical notation, safety cases
13	Bruce Edmonds	How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS.	RASTA	2002	DBLP DOI BibTeX RDF
13	Mikkel Agesen, Michael H. Böhlen, Lasse Poulsen, Kristian Torp	A Split Operator for Now-Relative Bitemporal Databases.	ICDE	2001	DBLP DOI BibTeX RDF
13	Sylvie Doutre, Jérôme Mengin	Preferred Extensions of Argumentation Frameworks: Query Answering and Computation.	IJCAR	2001	DBLP DOI BibTeX RDF
13	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Computing Executable Slices for Concurrent Logic Programs.	APAQS	2001	DBLP DOI BibTeX RDF
13	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
13	Eugene Charniak	Parsing to Meaning, Statistically.	AI	2000	DBLP DOI BibTeX RDF
13	Satoshi Hada	Zero-Knowledge and Code Obfuscation.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
13	Yuichi Umeda, Masashi Yamashita, Masanobu Inagaki, Hajime Sawamura	Argumentation as a Social Computing Paradigm.	PRIMA	2000	DBLP DOI BibTeX RDF	Aufheben, concession, agent, cooperation, argumentation, dialectics, compromise
13	John A. Keane, Walter Hussak	A Method of Verification in Design.	HICSS	2000	DBLP DOI BibTeX RDF
13	Jeremy Gow, Alan Bundy, Ian Green	Extensions to the Estimation Calculus.	LPAR	1999	DBLP DOI BibTeX RDF
13	Ed Brinksma	Formal Methods for Conformance Testing: Theory Can Be Practical.	CAV	1999	DBLP DOI BibTeX RDF
13	Javier Hormigo, Julio Villalba, Emilio L. Zapata	Arithmetic Unit for the Computation of Interval Elementary Functions.	EUROMICRO	1999	DBLP DOI BibTeX RDF
13	Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi	Non-Automatizability of Bounded-Depth Frege Proofs.	CCC	1999	DBLP DOI BibTeX RDF	Frege proof systems, automatizability of proof systems, interpolation, proof complexity
13	John Hannan, Patrick Hicks	Higher-Order Arity Raising.	ICFP	1998	DBLP DOI BibTeX RDF
13	Richard Cole 0001, Alan M. Frieze, Bruce M. Maggs, Michael Mitzenmacher, Andréa W. Richa, Ramesh K. Sitaraman, Eli Upfal	On Balls and Bins with Deletions.	RANDOM	1998	DBLP DOI BibTeX RDF
13	Kunihiko Fujita, Kazushi Nishimoto, Yasuyuki Sumi, Susumu Kunifuji, Kenji Mase	Meeting support by visualizing discussion structure and semantics.	KES (1)	1998	DBLP DOI BibTeX RDF
13	Efstratios Karaivazoglou, Friedhelm Meyer auf der Heide	Routing on Asyncronous Processor Networks.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Douglas M. Priest	Fast Table-Driven Algorithms for Interval Elementary Functions.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF
13	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
13	Rob J. van Glabbeek	Axiomatizing Flat Iteration.	CONCUR	1997	DBLP DOI BibTeX RDF
13	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
13	Hank Chien, William L. Steiger	Some Geometric Lower Bounds.	ISAAC	1995	DBLP DOI BibTeX RDF
13	Koong H. C. Lin, Rey-Long Liu, Von-Wun Soo	Interactive acquisition of thematic information of Chinese verbs for judicial verdict document understanding using templates, syntactic clues, and heuristics.	ICDAR	1995	DBLP DOI BibTeX RDF	thematic information, Chinese verbs, judicial verdict document understanding, syntactic clues, thematic knowledge, ambiguity resolution, template matching method, heuristics, knowledge acquisition, knowledge acquisition, pattern matching, natural languages, document image processing, templates, computational linguistics, document understanding
13	Marcel Beemster	Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict).	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	lazy evaluation, graph reduction, strictness analysis
13	Tim van Gelder	Connectionism and the mind-body problem: exposing the distinction between mind and cognition.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	mind-body problem, folk psychology, eliminativism, ontology, cognition, belief, connectionism, mind
13	Joachim Niehren, Andreas Podelski	Feature Automata and Recognizable Sets of Feature Trees.	TAPSOFT	1993	DBLP DOI BibTeX RDF
13	Svante Carlsson, Jingsen Chen	The Complexity of Heaps.	SODA	1992	DBLP BibTeX RDF
13	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
13	Young Gil Park, Benjamin Goldberg	Escape Analysis on Lists.	PLDI	1992	DBLP DOI BibTeX RDF
13	Dale Miller 0001	Abstract Syntax and Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
13	Louis C. Guillou, Jean-Jacques Quisquater, Michael Walker 0001, Peter Landrock, Caroline Shafer	Precautions Taken Against Various Potential Attacks in ISO/IEC DIS 9796 "Digital Signature Scheme Giving Message Recovery".	EUROCRYPT	1990	DBLP DOI BibTeX RDF
13	Nicholas Asher, Michael Morreau	Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning.	JELIA	1990	DBLP DOI BibTeX RDF
13	Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima	On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
13	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
13	Alexander Brodsky 0001, Yehoshua Sagiv	Inference of Monotonicity Constraints in Datalog Programs.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
13	Raymond Reiter	What Should A Database Know?	PODS	1988	DBLP DOI BibTeX RDF
13	Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones	A Safe Approach to Parallel Combinator Reduction (Extended Abstract).	ESOP	1986	DBLP DOI BibTeX RDF	Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
13	William J. Cody, Anthony Ralston	A note on computing approximations to the exponential function.	Commun. ACM	1967	DBLP DOI BibTeX RDF
13	Robert L. Ashenhurst	Function Evaluation in Unnormalized Arithmetic.	J. ACM	1964	DBLP DOI BibTeX RDF
13	Wen-Hwa Chu, Donald R. Saathoff	A semi-iterative process for evaluating arctangents.	Commun. ACM	1963	DBLP DOI BibTeX RDF
11	Cody Holl	The content intelligence: an argument against the lethality of artificial intelligence.	Discov. Artif. Intell.	2024	DBLP DOI BibTeX RDF
11	Hei-Chia Wang, Cendra Devayana Putra, Chia-Ying Wu	A recurrent stick breaking topic model for argument stance detection.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
11	Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet	Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
11	Nan Peter Liang, Rudy Hirschheim, Danli Chen	An Argument-Based Analysis of Communicating Academic Findings to Practitioners.	Commun. Assoc. Inf. Syst.	2024	DBLP BibTeX RDF
11	Henning Wachsmuth, Gabriella Lapesa, Elena Cabrio, Anne Lauscher, Joonsuk Park, Eva Maria Vecchi, Serena Villata, Timon Ziegenbein	Argument Quality Assessment in the Age of Instruction-Following Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jian Zhang, Changlin Yang, Haiping Zhu, Qika Lin, Fangzhi Xu, Jun Liu	A Semantic Mention Graph Augmented Model for Document-Level Event Argument Extraction.	CoRR	2024	DBLP DOI BibTeX RDF
11	Michiel van der Meer, Piek Vossen, Catholijn M. Jonker, Pradeep K. Murukannaiah	An Empirical Analysis of Diversity in Argument Summarization.	CoRR	2024	DBLP DOI BibTeX RDF
11	Deniz Gorur, Antonio Rago 0001, Francesca Toni	Can Large Language Models perform Relation-based Argument Mining?	CoRR	2024	DBLP DOI BibTeX RDF
11	Joseph Gatto, Parker Seegmiller, Omar Sharif, Sarah Masud Preum	Mad Libs Are All You Need: Augmenting Cross-Domain Document-Level Event Argument Data.	CoRR	2024	DBLP DOI BibTeX RDF
11	Xiao Liu, Yansong Feng, Kai-Wei Chang	CASA: Causality-driven Argument Sufficiency Assessment.	CoRR	2024	DBLP DOI BibTeX RDF
11	Xinliang Frederick Zhang, Carter Wood Blum, Temma Choji, Shalin Shah, Alakananda Vempala	ULTRA: Unleash LLMs' Potential for Event Argument Extraction through Hierarchical Modeling and Pair-wise Refinement.	CoRR	2024	DBLP DOI BibTeX RDF
11	Elena Chistova	End-to-End Argument Mining over Varying Rhetorical Structures.	CoRR	2024	DBLP DOI BibTeX RDF
11	Michiel van der Meer, Enrico Liscio, Catholijn M. Jonker, Aske Plaat, Piek Vossen, Pradeep K. Murukannaiah	A Hybrid Intelligence Method for Argument Mining.	CoRR	2024	DBLP DOI BibTeX RDF
11	Raquel Breejon Robinson, Anya Osborne, Chen Ji, James Collin Fey, Ella Dagan, Katherine Isbister	"That's Not Good Science!": An Argument for the Thoughtful Use of Formative Situations in Research through Design.	CoRR	2024	DBLP DOI BibTeX RDF
11	I-Hung Hsu, Zihan Xue, Nilay Pochh, Sahil Bansal, Premkumar Natarajan, Jayanth Srinivasa, Nanyun Peng	Argument-Aware Approach To Event Linking.	CoRR	2024	DBLP DOI BibTeX RDF
11	Marcin Pietron, Rafal Olszowski, Jakub Gomulka	Efficient argument classification with compact language models and ChatGPT-4 refinements.	CoRR	2024	DBLP DOI BibTeX RDF
11	Alexandru Mihai Bica	On the maximal order of convergence of Green's function method for solving two-point boundary value problems with deviating argument.	Numer. Algorithms	2024	DBLP DOI BibTeX RDF