Search results for "coin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Fabio Paglieri, Cristiano Castelfranchi	Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS.	ArgMAS	2004	DBLP DOI BibTeX RDF
10	Chang Woo Kang, Ali Iranli, Massoud Pedram	Technology mapping and packing for coarse-grained, anti-fuse based FPGAs.	ASP-DAC	2004	DBLP DOI BibTeX RDF
10	Matthieu Petit, Arnaud Gotlieb	Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.	ICLP	2004	DBLP DOI BibTeX RDF
10	Minos N. Garofalakis, Amit Kumar 0001	Deterministic Wavelet Thresholding for Maximum-Error Metrics. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
10	Mengjie Zhang 0001, Urvesh Bhowan	Program Size and Pixel Statistics in Genetic Programming for Object Detection.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
10	Marianne Graves Petersen, Ole Sejer Iversen, Peter Gall Krogh, Martin Ludvigsen	Aesthetic interaction: a pragmatist's aesthetics of interactive systems.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	pragmatist, design, interaction design, pervasive computing, experience, aesthetic, interactive spaces
10	Bernd Lutz 0001, Mario Becker, Didier Stricker, Uli Bockholt	The augmented reality ocular.	VRCAI	2004	DBLP DOI BibTeX RDF	cultural heritage presentation, augmented reality
10	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
10	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
10	Dmitry Gavinsky, Avi Owshanko	PExact = Exact Learning.	COLT	2004	DBLP DOI BibTeX RDF
10	Dong Zheng 0001, Huang Zheng, Kefei Chen, Weidong Kou	ID-Based Proxy Blind Signature.	AINA (2)	2004	DBLP DOI BibTeX RDF
10	Jonathan Katz, Rafail Ostrovsky	Round-Optimal Secure Two-Party Computation.	CRYPTO	2004	DBLP DOI BibTeX RDF
10	Golan Levin, Zachary Lieberman	In-situ speech visualization in real-time interactive installation and performance.	NPAR	2004	DBLP DOI BibTeX RDF	audiovisual performance, phonesthesia, sound-image relationships, speech visualization, computer vision, augmented reality, art, head tracking, interactive installation, speech analysis
10	Adi Rosén, Michael S. Tsirkin	On delivery times in packet networks under adversarial traffic.	SPAA	2004	DBLP DOI BibTeX RDF	adversarial queuing theory, delivery time, protocols, stability, packet networks
10	Beverly Yang, Hector Garcia-Molina	PPay: micropayments for peer-to-peer systems.	CCS	2003	DBLP DOI BibTeX RDF	peer-to-peer, micropayments
10	Boaz Barak, Yehuda Lindell, Salil P. Vadhan	Lower Bounds for Non-Black-Box Zero Knowledge.	FOCS	2003	DBLP DOI BibTeX RDF
10	Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen	A Direct Sum Theorem in Communication Complexity via Message Compression.	ICALP	2003	DBLP DOI BibTeX RDF
10	Robert Glück, Masahiko Kawabe	A Program Inverter for a Functional Language with Equality and Constructors.	APLAS	2003	DBLP DOI BibTeX RDF
10	Stuart E. Madnick	Oh, so That Is What You Meant! The Interplay of Data Quality and Data Semantics.	ER	2003	DBLP DOI BibTeX RDF	Corporate Householding, COntext INterchange, Knowledge Management, Data Quality, Data Semantics
10	Eun-Kyeong Kwon, Yong-Gu Cho, Kijoon Chae	Refundable Electronic Cash for Mobile Commerce.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
10	Daniele Micciancio, Erez Petrank	Simulatable Commitments and Efficient Concurrent Zero-Knowledge.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
10	Andreas J. Winter 0002, Anderson C. A. Nascimento, Hideki Imai	Commitment Capacity of Discrete Memoryless Channels.	IMACC	2003	DBLP DOI BibTeX RDF
10	Xiaoling Dai, John C. Grundy	Architecture for a Component-Based, Plug-In Micro-payment System.	APWeb	2003	DBLP DOI BibTeX RDF
10	Alexander Klippel	Wayfinding Choremes.	COSIT	2003	DBLP DOI BibTeX RDF	Conceptual structuring processes, cognitive conceptual approach to map making, spatial primitives, wayfinding, route directions
10	Robin Hörnig, Klaus Oberauer, Andrea Weidenfeld	Räumliches Schliessen als Sprachverstehen.	Kognitionswissenschaft	2002	DBLP DOI BibTeX RDF
10	Hongshen Ma, Joseph A. Paradiso	The FindIT Flashlight: Responsive Tagging Based on Optically Triggered Microprocessor Wakeup.	UbiComp	2002	DBLP DOI BibTeX RDF
10	Christian Cachin, Jonathan A. Poritz	Secure Intrusion-tolerant Replication on the Internet.	DSN	2002	DBLP DOI BibTeX RDF
10	Piotr Indyk	Explicit constructions of selectors and related combinatorial structures, with applications.	SODA	2002	DBLP BibTeX RDF
10	Timothy Arndt, Shi-Kuo Chang, Angela Guercio, Paolo Maresca	An XML-based approch to multimedia software engineering for distance learning.	SEKE	2002	DBLP DOI BibTeX RDF
10	Joe Hurd	A Formal Approach to Probabilistic Termination.	TPHOLs	2002	DBLP DOI BibTeX RDF
10	John Watrous	imits on the Power of Quantum Statistical Zero-Knowledge.	FOCS	2002	DBLP DOI BibTeX RDF
10	Weidong Qiu, Kefei Chen, Dawu Gu	A New Offline Privacy Protecting E-cash System with Revokable Anonymity.	ISC	2002	DBLP DOI BibTeX RDF	revokable anonymity, fair off-line system, Privacy protecting, E-Cash, electronic payment
10	Oded Goldreich 0001, Avi Wigderson	Derandomization That Is Rarely Wrong from Short Advice That Is Typically Good.	RANDOM	2002	DBLP DOI BibTeX RDF
10	Ulf Lorenz, Burkhard Monien	The Secret of Selective Game Tree Search, When Using Random-Error Evaluations.	STACS	2002	DBLP DOI BibTeX RDF
10	Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu 0004	Reduction Zero-Knowledge.	SCN	2002	DBLP DOI BibTeX RDF	zap, zero-knowledge, bit commitment, non-interactive zero-knowledge, witness indistinguishability
10	Marta Z. Kwiatkowska, Gethin Norman	Verifying Randomized Byzantine Agreement.	FORTE	2002	DBLP DOI BibTeX RDF	Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
10	Cynthia Dwork, Larry J. Stockmeyer	2-round zero knowledge and proof auditors.	STOC	2002	DBLP DOI BibTeX RDF	advice bound, timed protocol, zap, cryptography, zero knowledge, interactive proof systems
10	Ashwin Nayak 0001, Julia Salzman	On communication over an entanglement-assisted quantum channel.	STOC	2002	DBLP DOI BibTeX RDF	entanglement-assisted quantum channel, communication complexity, quantum communication
10	Hua Wang 0002, Jinli Cao, Yahiko Kambayashi	Building consumer self-anonymity scalable payment protocol for Internet purchase.	RIDE	2002	DBLP DOI BibTeX RDF
10	Ashwin Nayak 0001, Julia Salzman	On Communication over an Entanglement-Assisted Quantum Channel.	CCC	2002	DBLP DOI BibTeX RDF
10	Steven J. Lynden, Omer F. Rana	LEAF: a FIPA compliant software toolkit for learning based MAS.	AAMAS	2002	DBLP DOI BibTeX RDF
10	David H. Wolpert, John W. Lawson	Designing agent collectives for systems with Markovian dynamics.	AAMAS	2002	DBLP DOI BibTeX RDF
10	Jiming Liu 0001, David A. Maluf, Michel C. Desmarais	A New Uncertainty Measure for Belief Networks with Applications to Optimal Evidential Inferencing.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	uncertainty modeling and management, optimal evidential inferencing, user profile assessment, controller, entropy, observer, Belief networks, discrete event dynamical systems
10	Hua Wang 0002, Jinli Cao, Yanchun Zhang	A Consumer Scalable Anonymity Payment Scheme with Role-Based Access Control.	WISE (1)	2001	DBLP DOI BibTeX RDF	Anonymity, Hash function, Traceability, Electronic-cash
10	Hans Jürgen Prömel, Anusch Taraz	Random Graphs, Random Triangle-Free Graphs, and Random Partial Orders.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
10	Paolo Maresca, Angela Guercio, Timothy Arndt, Pasquale Donadio	Transformation Dataflow in Multimedia Software Engineering Using TAO_XML: A Component-Based Approach.	MDIC	2001	DBLP DOI BibTeX RDF
10	Hua Wang, Yanchuan Zhang	Untraceable Off-line Electronic Cash Flow in E-Commerce.	ACSC	2001	DBLP DOI BibTeX RDF	Cut-and-Choose technique, DLA, Hash function, Random oracle model, Electronic-cash
10	Ik Rae Jeong, Dong Hoon Lee 0001, Jong In Lim 0001	Efficient Transferable Cash with Group Signatures.	ISC	2001	DBLP DOI BibTeX RDF
10	Robert Tracz, Konrad S. Wrona	Fair electronic cash withdrawal and change return for wireless networks.	Workshop Mobile Commerce	2001	DBLP DOI BibTeX RDF	electronic commerce, payment systems, wireless applications
10	Christian Cachin, Klaus Kursawe, Frank Petzold, Victor Shoup	Secure and Efficient Asynchronous Broadcast Protocols.	CRYPTO	2001	DBLP DOI BibTeX RDF
10	Jochen Alber, Henning Fernau, Rolf Niedermeier	Graph Separators: A Parameterized View.	COCOON	2001	DBLP DOI BibTeX RDF
10	Shai Avidan, Amnon Shashua	Trajectory Triangulation: 3D Reconstruction of Moving Points from a Monocular Image Sequence.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Structure from motion, dynamic scenes, multiple-view geometry
10	David Pointcheval	Self-Scrambling Anonymizers.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
10	Kurt Nørmark	Requirements for an Elucidative Programming Environment.	IWPC	2000	DBLP DOI BibTeX RDF
10	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano	Making Sense of Specifications: The Formalization of SET.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
10	Klaus Dorer	Improved Agents of the magmaFreiburg2000 Team.	RoboCup	2000	DBLP DOI BibTeX RDF
10	Ming Zhong, Yunbo Feng, Yixian Yang	Single-Term Divisible Electronic Cash Based on Bit Commitment.	ISCC	2000	DBLP DOI BibTeX RDF	one-time knowledge proof, blind signature, electronic cash, bit commitment
10	Dan Boneh, Moni Naor	Timed Commitments.	CRYPTO	2000	DBLP DOI BibTeX RDF
10	Stefan Wegenkittl, Makoto Matsumoto	Getting rid of correlations among pseudorandom numbers: discarding versus tempering.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	discarding, gambling test, tempering, correlation analysis, pseudorandom number generator, empirical tests
10	Amnon Shashua, Shai Avidan, Michael Werman	Trajectory Triangulation over Conic Sections.	ICCV	1999	DBLP DOI BibTeX RDF
10	Anisoara Nica, Elke A. Rundensteiner	View Maintenance after View Synchronization.	IDEAS	1999	DBLP DOI BibTeX RDF
10	John Watrous	On Quantum and Classical Space-bounded Processes with Algebraic Transition Amplitudes.	FOCS	1999	DBLP DOI BibTeX RDF	GapL functions, selective quantum processes, computational complexity theory, quantum computation, space-bounded computation, algebraic numbers
10	Colin Boyd, Ernest Foo, Chris Pavlovski	Efficient Electronic Cash Using Batch Signatures.	ACISP	1999	DBLP DOI BibTeX RDF
10	Eiichiro Fujisaki, Tatsuaki Okamoto	Secure Integration of Asymmetric and Symmetric Encryption Schemes.	CRYPTO	1999	DBLP DOI BibTeX RDF	Adaptive chosen-ciphertext attack, Random oracle model, Indistinguishability, Hybrid encryption
10	Ivan Kramosil	Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals.	SOFSEM	1999	DBLP DOI BibTeX RDF
10	Felix C. Gärtner, Henning Pagnia, Holger Vogt	Approaching a Formal Definition of Fairness in Electronic Commerce.	SRDS	1999	DBLP DOI BibTeX RDF
10	Tsuneo Yamaura	Why Johnny Can't Test.	IEEE Softw.	1998	DBLP DOI BibTeX RDF
10	David M'Raïhi, David Pointcheval	Distributed Trustees and Revocability: A Framework for Internet Payment.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
10	Stéphane Bressan, Cheng Hian Goh	Answering Queries in Context.	FQAS	1998	DBLP DOI BibTeX RDF
10	Wayne Eberly, Lisa Higham, Jolanta Warpechowska-Gruca	Long-Lived, Fast, Waitfree Renaming with Optimal Name Space and High Throughput.	DISC	1998	DBLP DOI BibTeX RDF
10	Vladimir Grebinski	On the Power of Additive Combinatorial Search Model.	COCOON	1998	DBLP DOI BibTeX RDF
10	Ronald Cramer, Ivan Damgård	Fast and Secure Immunization Against Adaptive Man-in-the-Middle Impersonation.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
10	Josef M. Breutzmann, Jack H. Lutz	Equivalence of Measures of Complexity Classes.	STACS	1997	DBLP DOI BibTeX RDF
10	László Babai, Peter G. Kimmel	Randomized Simultaneous Messages: Solution of a Problem of Yao in Communication Complexity.	CCC	1997	DBLP DOI BibTeX RDF	randomized simultaneous messages, two-player communication model, deterministic SM complexity, quadratic reduction, lower bound proof, computational complexity, communication complexity, linear algebra
10	Amy J. Lee, Anisoara Nica, Elke A. Rundensteiner	Keeping virtual information resources up and running.	CASCON	1997	DBLP BibTeX RDF	adaptable views, evolving information sources, WWW, data warehouses
10	Wenbo Mao	Light-Weight Micro-cash Payment for the Internet.	ESORICS	1996	DBLP DOI BibTeX RDF	Revocable cash for double spender, Internet electronic commerce
10	Wolfgang Merkle, Yongge Wang	Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities.	MFCS	1995	DBLP DOI BibTeX RDF
10	Tatsuaki Okamoto	An Efficient Divisible Electronic Cash Scheme.	CRYPTO	1995	DBLP DOI BibTeX RDF
10	Donald Beaver	Precomputing Oblivious Transfer.	CRYPTO	1995	DBLP DOI BibTeX RDF
10	Süleyman Cenk Sahinalp, Uzi Vishkin	On a Parallel-Algorithms Method for String Matching Problems.	CIAC	1994	DBLP DOI BibTeX RDF
10	Roland T. Mittermeir, Evelin Kofler	Layered specifications to support reusability and integrability.	J. Syst. Integr.	1993	DBLP DOI BibTeX RDF	Software reuse, software specification, software integration
10	Marek Karpinski, Rutger Verbeek	On Randomized Versus Deterministic Computation.	ICALP	1993	DBLP DOI BibTeX RDF
10	Donald Beaver, Nicol So	Global, Unpredictable Bit Generation Without Broadcast.	EUROCRYPT	1993	DBLP DOI BibTeX RDF
10	Lein Harn, Hung-Yu Lin	On Oblivious Transfer Protocol and Its Application for the Exchange of Secrets.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
10	Roberto Tamassia, Ioannis G. Tollis, Jeffrey Scott Vitter	Lower bounds and parallel algorithms for planar orthogonal grid drawings.	SPDP	1991	DBLP DOI BibTeX RDF
10	Lisa Ehrichs	The technology explosion & training: how "old-fashioned" marketing helps keep training relevant.	SIGUCCS	1990	DBLP DOI BibTeX RDF
10	N. R. Wagner	Randomized fault-detecting leader election in a bi-directional ring.	SPDP	1990	DBLP DOI BibTeX RDF
10	Shmuel T. Klein, Abraham Bookstein, Scott C. Deerwester	Storing Text Retrieval Systems on CD-ROM: Compression and Encryption Considerations.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
10	Benny Chor, Michael Merritt, David B. Shmoys	Simple constant-time consensus protocols in realistic failure models.	J. ACM	1989	DBLP DOI BibTeX RDF
10	Richard Cleve	Controlled Gradual Disclosure Schemes for Random Bits and Their Applications.	CRYPTO	1989	DBLP DOI BibTeX RDF
10	Yvo Desmedt	Making Conditionally Secure Cryptosystems Unconditionally Abuse-Free in a General Context.	CRYPTO	1989	DBLP DOI BibTeX RDF
10	Mihir Bellare, Lenore Cowen, Shafi Goldwasser	On the Structure of Secret Key Exchange Protocols.	CRYPTO	1989	DBLP DOI BibTeX RDF
10	Oded Goldreich 0001, Hugo Krawczyk, Michael Luby	On the Existence of Pseudorandom Generators.	CRYPTO	1988	DBLP DOI BibTeX RDF
10	Yvo Desmedt	Abuses in Cryptography and How to Fight Them.	CRYPTO	1988	DBLP DOI BibTeX RDF
10	David Chaum, Amos Fiat, Moni Naor	Untraceable Electronic Cash.	CRYPTO	1988	DBLP DOI BibTeX RDF
10	Gustavus J. Simmons	Message Authentication with Arbitration of Transmitter/Receiver Disputes.	EUROCRYPT	1987	DBLP DOI BibTeX RDF
10	J. D. Myers	The background of INTERNIST I and QMR.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
10	Philippe Flajolet, Nasser Saheb	Digital Search Trees and the Generation of an Exponentially Distributed Variate.	CAAP	1983	DBLP DOI BibTeX RDF
10	Anders Vinberg	The importance and futility of device independence in computer graphics.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF