Search results for "argument"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa	Commitment and Argument Network: A New Formalism for Agent Communication.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
18	Yoshirou Toda, Masashi Yamashita, Hajime Sawamura	An Argument-Based Agent System with KQML as an Agent Communication Language.	PRIMA	2001	DBLP DOI BibTeX RDF	dialectical logic, Aufheben, agent, argumentation, dialectics, KQML
18	Chris Reed 0001, Floriana Grasso	Computational Models of Natural Language Argument.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
18	Amalia Pielorz	Application of Equations with a Retarded Argument in Physical Systems.	PPAM	2001	DBLP DOI BibTeX RDF
18	Naoki Matsumoto	Simple proof of the Routh stability criterion based on order reduction of polynomials and principle of argument.	ISCAS (1)	2001	DBLP DOI BibTeX RDF
18	Violetta Cavalli-Sforza	The Impact of Representation on Coaching Argument Analysis.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
18	Monika Seisenberger	An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma.	TYPES	2000	DBLP DOI BibTeX RDF
18	Hajime Sawamura, Yuichi Umeda, Robert K. Meyer	Computational Dialectics for Argument-Based Agent Systems.	ICMAS	2000	DBLP DOI BibTeX RDF	dialectical logic, Aufheben, argumentation, dialectics, compromise
18	Masashi Yamashita, Yuichi Umeda, Hajime Sawamura	Applications of the argument-based agent system with dialectical reasoning capability.	KES	2000	DBLP DOI BibTeX RDF
18	Tage Stabell-Kulø, Feico Dillema, Terje Fallmyr	The Open-End Argument for Private Computing.	HUC	1999	DBLP DOI BibTeX RDF
18	Lambèr M. M. Royakkers	Is This Argument Justified, Overruled or Defensible?	DEXA	1999	DBLP DOI BibTeX RDF	Argumentation, nonmonotonic reasoning
18	Vijay K. Jain, Lei Lin	Complex-argument universal nonlinear cell for rapid prototyping.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
18	Donald Nute, Christopher Henderson, Zachary Hunter	d-Graph: An Argument-Based System Incorporating Defensible Graphs.	HICSS (5)	1997	DBLP DOI BibTeX RDF
18	Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon	The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems.	ECBS	1996	DBLP DOI BibTeX RDF	reliability, dependability, tool support, safety analysis, method integration, safety case
18	D. E. Amos	A Remark on Algorithm 644: A Portable Package for Bessel Functions of a Complex Argument and Nonnegative Order.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	H, K and Y Bessel functions, complex Airy functions, complex Bessel functions, derivatives of Airy functions, log gamma function, J, I
18	Kirack Sohn	Constraints among Argument Sizes in Logic Programs.	PODS	1994	DBLP DOI BibTeX RDF
18	Henry Prakken	A Logical Framework for Modelling Legal Argument.	ICAIL	1993	DBLP DOI BibTeX RDF
18	Donald E. Amos	Algorithms 683: a portable FORTRAN subroutine for exponential integrals of a complex argument.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF	FORTRAN
18	Edwina L. Rissland	Dimension-Based Analysis of Hypotheticals from Supreme Court Oral Argument.	ICAIL	1989	DBLP DOI BibTeX RDF
16	Helmut Maier	Fundamental Theorem of Algebra.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Argument principle, Homotopy, Splitting field
16	Martin W. A. Caminada, Dov M. Gabbay	A Logical Account of Formal Argumentation.	Stud Logica	2009	DBLP DOI BibTeX RDF	abstract argumentation, argument labellings, grounded semantics, modal logic
16	Kan Yasuda	HMAC without the "Second" Key.	ISC	2009	DBLP DOI BibTeX RDF	Cascade construction, prefix-free PRF, hybrid argument, multi-oracle family, affix
16	Henry Prakken	A formal model of adjudication dialogues.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal argument, Legal procedure, Adjudication, Dialogue games
16	Henry Prakken	Formalising ordinary legal disputes: a case study.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal argument, Legal procedure, Case files, Dialogue games
16	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
16	David A. Kolb	The revenge of the page.	Hypertext	2008	DBLP DOI BibTeX RDF	exposition, web, hypertext, argument, style, rhetoric
16	Lina Eriksson, Alan Hájek	What Are Degrees of Belief?	Stud Logica	2007	DBLP DOI BibTeX RDF	probabilism, betting interpretation, Dutch book argument, radical interpretation, primitivism, rationality, representation theorem, degrees of belief
16	Andy Vickers	Satisfying Business Problems.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	REVEAL, requirements statement, specification statement, domain statement, rich traceability, satisfaction argument, business problems, specifications, requirements engineering, traceability, systems engineering
16	Marie-Francine Moens, Erik Boiy, Raquel Mochales Palau, Chris Reed 0001	Automatic detection of arguments in legal texts.	ICAIL	2007	DBLP DOI BibTeX RDF	argument recognition, machine learning, information extraction, discourse analysis
16	Darren Mutz, William K. Robertson, Giovanni Vigna, Richard A. Kemmerer	Exploiting Execution Context for the Detection of Anomalous System Calls.	RAID	2007	DBLP DOI BibTeX RDF	System Call Argument Analysis, Execution Context, Intrusion Detection
16	Anthony Matteo	Rhetorical peaks, a video game for first-year writing.	SIGDOC	2007	DBLP DOI BibTeX RDF	blender tools, goal-based scenarios, neverwinter nights, simulation, game, case study, composition, pedagogy, argument, video game, game design, writing, rhetoric, role-playing games, undergraduate
16	Jacek Lewandowski, Mariusz Rawski, Henryk Rybinski	Application of Parallel Decomposition for Creation of Reduced Feed-Forward Neural Networks.	RSEISP	2007	DBLP DOI BibTeX RDF	parallel decomposition, argument reduction, pattern recognition, learning algorithm, logical circuit, feed-forward neural network
16	Nicholas J. Pioch, John O. Everett	POLESTAR: collaborative knowledge management and sensemaking tools for intelligence analysts.	CIKM	2006	DBLP DOI BibTeX RDF	collaboration, knowledge management, knowledge representation, workflow management, sensemaking, intelligence analysis, argument structuring
16	Sam Weber, Paul A. Karger, Amit M. Paradkar	A software flaw taxonomy: aiming tools at security.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	argument validation, asynchronous attacks, security taxonomies, testing, static analysis, buffer overflows, security flaws
16	Douglas Walton, David M. Godden	Persuasion Dialogue in Online Dispute Resolution.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	ADR, alternative dispute resolution, persuasion dialogue, negotiation, argument, argumentation, dialogue, persuasion, online dispute resolution, ODR
16	Sigmar-Olaf Tergan, Tanja Keller	Digital Concept Mapping in Learning Contexts: Integrating Knowledge, Arguments and Information Resources.	IV	2005	DBLP DOI BibTeX RDF	argument visualization, Concept mapping, knowledge visualization, cognitive tool
16	Célio Albuquerque 0001, Brett J. Vickers, Tatsuya Suda	Network border patrol: preventing congestion collapse and promoting fairness in the internet.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	border control, congestion collapse, core-stateless mechanisms, end-to-end argument, internet, congestion control, max-min fairness
16	Marjory S. Blumenthal, David D. Clark	Rethinking the design of the Internet: the end-to-end arguments vs. the brave new world.	ACM Trans. Internet Techn.	2001	DBLP DOI BibTeX RDF	end-to-end argument, Internet, ISP
16	David Kolb	Scholarly Hypertext: Self-Represented Complexity.	Hypertext	1997	DBLP DOI BibTeX RDF	self-representation, typed links, typed nodes, argument, scholarship, hypertext rhetoric
16	Kazuyuki Amano, Akira Maruoka	Potential of the Approximation Method (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	precise versions, bottleneck counting argument, sunflower contraction, lower bounds, Boolean functions, vertices, cliques, approximation method, monotone circuit
16	Michael J. Schulte, Earl E. Swartzlander Jr.	Hardware Designs for Exactly Rounded Elemantary Functions.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	Chebyshev approximation, summing circuits, exactly rounded elementary functions, multi-operand adder, Chebyshev series approximation, single-precision floating point numbers, chip area, 1.0-micron CMOS technology, computational delay, exact rounding, argument reduction, computer arithmetic, digital arithmetic, polynomials, CMOS integrated circuits, multiplying circuits, square-root, hardware designs, reciprocal, approximation theory, polynomial approximation, special-purpose hardware, parallel multiplier, 1 micron
16	P. V. R. Murthy, V. Rajaraman	Implementation of Speculative Parallelism in Functional Languages.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	compile-time analysis technique, supercombinator, speculative evaluation, conservative parallelism, branch speculation, argument speculation, performance, probability, probability, functional programming, parallel languages, functional languages, lazy evaluation, speculative parallelism, user-defined function, strictness analysis
16	Dong-Guk Shin	An Expection-Driven Response Understanding Paradigm.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	expectation-driven response understanding, argument interrogative questions, menu-driven approach, user response interpretation, heuristic search problem, expectation-response relationship, response strategy, user modelling, user modelling, human factors, interactive systems, natural language interfaces, natural language interface, expectation
16	Johan Håstad, Stasys Jukna, Pavel Pudlák	Top-Down Lower Bounds for Depth 3 Circuits	FOCS	1993	DBLP DOI BibTeX RDF	nonmonotone circuits, top-down lower bounds, depth 3 circuits, depth 3 AND-OR-NOT circuits, strong lower bound, top-down argument
16	Ran Raz, Boris Spieker	On the "log rank"-Conjecture in Communication Complexity	FOCS	1993	DBLP DOI BibTeX RDF	information theoretic argument, non-constant gap, log rank, input matrix, nondeterministic, superpolynomial gap, group representations, communication complexity, Hamiltonian cycle, chromatic number
16	Yasuhisa Sakamoto, Eiji Kuwana	Toward integrated support of synchronous and asynchronous communication in cooperative work: an empirical study of real group communication.	COOCS	1993	DBLP DOI BibTeX RDF	argument model, cooperative effects, electronic mail, communication modes
16	Alan Siegel	On Universal Classes of Fast High Performance Hash Functions, Their Time-Space Tradeoff, and Their Applications (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	multiplicative penalty, universal classes, probabilistic argument, random words, explicit algorithm, double hashing, universal functions, T-time PRAM algorithm, lower bound, hash functions, Omega network, time-space tradeoff
16	Milena Mihail	Conductance and Convergence of Markov Chains-A Combinatorial Treatment of Expanders	FOCS	1989	DBLP DOI BibTeX RDF	general irreversible Markov chains, combinatorial argument, time-reversible Markov chains, random walks, linear algebra, expanders, convergence rate, conductance
16	Walter Gautschi	Algorithm 363: complex error function [S15].	Commun. ACM	1969	DBLP DOI BibTeX RDF	Gauss-Hermite quadratures, Laplace continued fraction, Voigt function, error function for complex argument, recursive computation
13	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
13	Toniann Pitassi, Nathan Segerlind	Exponential lower bounds and integrality gaps for tree-like Lovász-Schrijver procedures.	SODA	2009	DBLP DOI BibTeX RDF
13	Thomas F. Gordon, Douglas Walton	Legal reasoning with argumentation schemes.	ICAIL	2009	DBLP DOI BibTeX RDF
13	Gerhard Brewka, Thomas Eiter	Argumentation Context Systems: A Framework for Abstract Group Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
13	Tim Roughgarden	Intrinsic robustness of the price of anarchy.	STOC	2009	DBLP DOI BibTeX RDF	regret-minimizat, price of anarchy, nash equilibria, congestion games
13	Eyal Kushilevitz, Enav Weinreb	On the complexity of communication complexity.	STOC	2009	DBLP DOI BibTeX RDF	protocol tree, lower bounds, communication complexity, hardness of approximation, pseudo random functions
13	Wanxiang Che, Min Zhang 0005, AiTi Aw, Chew Lim Tan, Ting Liu 0001, Sheng Li 0003	Using a Hybrid Convolution Tree Kernel for Semantic Role Labeling.	ACM Trans. Asian Lang. Inf. Process.	2008	DBLP DOI BibTeX RDF	Semantic role labeling, hybrid convolution tree kernel
13	Igor N. Aizenberg	Solving the XOR and parity N problems using a single universal binary neuron.	Soft Comput.	2008	DBLP DOI BibTeX RDF
13	Edward F. Weller, David Card, Bill Curtis, Bob Raczynski	Point/Counterpoint.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
13	Fernando Ferreira 0001, Gilda Ferreira	Harrington's conservation theorem redone.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03F35, 03F07, 03F05
13	Jon G. Hall, Lucia Rapanotti	Assurance-Driven Design.	ICSEA	2008	DBLP DOI BibTeX RDF
13	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
13	Jie Zhou 0007, Yong Dou, Yuanwu Lei, Jinbo Xu, Yazhuo Dong	Double Precision Hybrid-Mode Floating-Point FPGA CORDIC Co-processor.	HPCC	2008	DBLP DOI BibTeX RDF
13	Yejun Xu	Dependent Weighted Geometric Averaging Operators and their Application to Decision Making.	ISIP	2008	DBLP DOI BibTeX RDF	dependent ordered weighted geometric averaging (DOWGA) operators, dependent weighted geometric averaging (DWGA) operators, aggregation
13	Jie Zhou 0007, Yong Dou, Yuanwu Lei, Yazhuo Dong	Hybrid-Mode Floating-Point FPGA CORDIC Co-processor.	ARC	2008	DBLP DOI BibTeX RDF
13	Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis	A Sound and Complete Reified Temporal Logic.	SNPD	2008	DBLP DOI BibTeX RDF	Reified Temporal Logic, Completeness
13	Kelly J. Fadel, Alexandra Durcikova, Hoon S. Cha	Elaboration Likelihood in Knowledge Management: A Model and Experimental Test.	HICSS	2008	DBLP DOI BibTeX RDF
13	Shachar Lovett, Roy Meshulam, Alex Samorodnitsky	Inverse conjecture for the gowers norm is false.	STOC	2008	DBLP DOI BibTeX RDF	gowers norm, multivariate polynomials, low degree tests
13	Necati Ercan Ozgencil, Nancy J. McCracken, Kishan Mehrotra	A Cluster-Based Classification Approach to Semantic Role Labeling.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Clustering, Machine Learning, Classification, Natural Language Processing
13	Vasiliki Efstathiou, Anthony Hunter	Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach.	FoIKS	2008	DBLP DOI BibTeX RDF
13	Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov	On Correctness of Mathematical Texts from a Logical and Practical Point of View.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
13	Alex S. Taylor, Richard H. R. Harper, Laurel M. Swan, Shahram Izadi, Abigail Sellen, Mark J. Perry	Homes that make us smart.	Pers. Ubiquitous Comput.	2007	DBLP DOI BibTeX RDF	Prototyping, Ethnography, Smart homes, Surfaces, Home, Domestic technology
13	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and alternation: a proper hierarchy in higher order logics.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85
13	Steve Freeman, Nat Pryce, Joshua Kerievsky	Point/Counterpoint.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	object-oriented programming, program testing, test-driven development, mock objects
13	Peter Sommerlad, James Noble 0001	Point/Counterpoint.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	computer science education, software design, pattern languages, software patterns
13	David M. Ungar, Erik Ernst	Point/Counterpoint.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	programming environments, object-oriented languages, computer languages
13	Donald Ferguson, Richard Veryard	Point/Counterpoint.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software engineering, service-oriented architecture, SOA, software tools
13	Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita	Unbounded-Error Classical and Quantum Communication Complexity.	ISAAC	2007	DBLP DOI BibTeX RDF
13	Xin Jiang, Jintai Ding, Lei Hu	Kipnis-Shamir Attack on HFE Revisited.	Inscrypt	2007	DBLP DOI BibTeX RDF	MinRank, relinearization, Gröbner basis, multivariate public key cryptosystem, XL algorithm, HFE
13	Abdel Ejnioui	FPGA Prototyping of a Two-Phase Self-Oscillating Micropipeline.	ISVLSI	2007	DBLP DOI BibTeX RDF
13	Santiago Ontañón, Enric Plaza	An Argumentation-Based Framework for Deliberation in Multi-agent Systems.	ArgMAS	2007	DBLP DOI BibTeX RDF
13	Wataru Makiguchi, Hajime Sawamura	A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I).	ArgMAS	2007	DBLP DOI BibTeX RDF
13	Henry Prakken, Giovanni Sartor	Formalising arguments about the burden of persuasion.	ICAIL	2007	DBLP DOI BibTeX RDF
13	Hien Nguyen 0002, Judith Masthoff, Peter Edwards	Modelling a Receiver's Position to Persuasive Arguments.	PERSUASIVE	2007	DBLP DOI BibTeX RDF
13	Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari	On Defense Strength of Blocking Defeaters in Admissible Sets.	KSEM	2007	DBLP DOI BibTeX RDF
13	Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes	Demand-Driven Indexing of Prolog Clauses.	ICLP	2007	DBLP DOI BibTeX RDF
13	Julien Dutant	Inexact knowledge, margin for error and positive introspection.	TARK	2007	DBLP DOI BibTeX RDF
13	Simon L. Peyton Jones	Call-pattern specialisation for haskell programs.	ICFP	2007	DBLP DOI BibTeX RDF	compilers, optimisation, haskell, specialisation
13	Jens Groth, Steve Lu 0001	Verifiable Shuffle of Large Size Ciphertexts.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF	homomorphic commitment, honest verifier zero-knowledge, homomorphic encryption, Shuffle, mix-net
13	Yi Deng 0002, Dongdai Lin	Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability.	EUROCRYPT	2007	DBLP DOI BibTeX RDF	instance-dependent verifiable random functions, simultaneous resettability, zero knowledge
13	Xuehai Qian, Hao Zhang 0009, Jingang Yang, He Huang, Junchao Zhang, Dongrui Fan	Circuit implementation of floating point range reduction for trigonometric functions.	ISCAS	2007	DBLP DOI BibTeX RDF
13	Alex Groce, Gerard J. Holzmann, Rajeev Joshi	Randomized Differential Testing as a Prelude to Formal Verification.	ICSE	2007	DBLP DOI BibTeX RDF
13	m. c. schraefel	What is an analogue for the semantic web and why is having one important?	Hypertext	2007	DBLP DOI BibTeX RDF	hypertext argumentation, jourknow, notebooks, tabulator, semantic web, interaction design, memex, mSpace
13	Virendra J. Marathe, Mark Moir	Efficient nonblocking software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
13	Santiago Ontañón, Enric Plaza	Learning and joint deliberation through argumentation in multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	argumentation, case-based reasoning, multiagent learning
13	Robert Eamon Briscoe	Individualism, Externalism and Idiolectical Meaning.	Synth.	2006	DBLP DOI BibTeX RDF
13	Benjamin Schnieder	Truth-Making without Truth-Makers.	Synth.	2006	DBLP DOI BibTeX RDF
13	Douglas Walton	Epistemic and Dialectical Models of Begging the Question.	Synth.	2006	DBLP DOI BibTeX RDF
13	Julio Villalba, Tomás Lang, Mario A. González	Double-Residue Modular Range Reduction for Floating-Point Hardware Implementations.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Range-reduction, elementary function evaluation, floating-point arithmetic
13	Alexandru T. Balaban, Douglas J. Klein	Is chemistry 'TheCentral Science'? How are different sciences related? Co-citations, reductionism, emergence, and posets.	Scientometrics	2006	DBLP DOI BibTeX RDF
13	Alastair Renton	Seeing the point of politics: exploring the use of CSAV techniques as aids to understanding the content of political debates in the Scottish Parliament.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	CSAV, political debate, Scottish Parliament, conflict resolution, participation, IBIS