|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 411 occurrences of 308 keywords
|
|
|
Results
Found 1504 publication records. Showing 1499 according to the selection in the facets
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 |
|
Displaying result #1401 - #1499 of 1499 (100 per page; Change: ) Pages: [ <<][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15] |
|