|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3203 occurrences of 2107 keywords
|
|
|
Results
Found 8034 publication records. Showing 8032 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Rob Arthan |
Computational Logic and Continuous Mathematics, Pure and Applied. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jeong-Yup Lee, Boris Solomyak |
Pure Point Diffractive Substitution Delone Sets Have the Meyer Property. |
Discret. Comput. Geom. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kwang-Kyu Lee, Georg Bätz, Dirk Wollherr |
Basketball robot: Ball-On-Plate with pure haptic information. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Guillaume Burel |
A First-Order Representation of Pure Type Systems Using Superdeduction. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo |
17 | Liwen He, Paul Botham |
Pure MPLS Technology. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Data Plane, Security, IP, MPLS, Separation, Control Plane |
17 | P. J. Abisha, D. Gnanaraj Thomas, Sindhu J. Kumaar |
Learning Subclasses of Pure Pattern Languages. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Charilaos Tsivopoulos, Jawed I. A. Siddiqi, Babak Akhgar, Shahram Rahimi, Morvarid Bassir |
An Overlay Discovery Algorithm towards a Pure Distributed Communication System. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
overlay discovery, peer-to-peer, distributed, P2P, bootstrap |
17 | Paola Flocchini, David Ilcinkas, Nicola Santoro |
Ping Pong in Dangerous Graphs: Optimal Black Hole Search with Pure Tokens. |
DISC |
2008 |
DBLP DOI BibTeX RDF |
dangerous graphs, distributed computing, mobile agents, autonomous robots, graph exploration |
17 | Ravi Nanavati |
Experience report: a pure shirt fits. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, monads, Bluespec |
17 | Johan Nordlander, Magnus Carlsson, Andy Gill |
Unrestricted pure call-by-value recursion. |
ML |
2008 |
DBLP DOI BibTeX RDF |
value recursion, semantics, implementation, combinator libraries, call-by-value |
17 | Claudio Soriente, Gene Tsudik, Ersin Uzun |
HAPADEP: Human-Assisted Pure Audio Device Pairing. |
ISC |
2008 |
DBLP DOI BibTeX RDF |
User-Aided Security, Secure Device Pairing, Secure First Connect, Authentication Protocols, Man-in-the-Middle attacks |
17 | Dineshbalu Balakrishnan, Amiya Nayak |
An Efficient Context-Specific Pure Overlay Space for Context Dissemination in Ambient Networks. |
CSE |
2008 |
DBLP DOI BibTeX RDF |
Context dissemination, ContextWare, Overlay networks, Ambient networks |
17 | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Benedettini, Andrea Roli, Luca Di Gaspero |
Two-Level ACO for Haplotype Inference Under Pure Parsimony. |
ANTS Conference |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Dineshbalu Balakrishnan, Amiya Nayak, Pulak Dhar |
Towards a realistic context dissemination protocol using pure multi-level overlay networks. |
ICON |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mathias Barra |
Pure Iteration and Periodicity. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Skopalik, Berthold Vöcking |
Inapproximability of pure nash equilibria. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
approximation, local search, congestion games |
17 | Marco Porta, Matteo Turina |
Eye-S: a full-screen input modality for pure eye-based communication. |
ETRA |
2008 |
DBLP DOI BibTeX RDF |
eye sequence, eye writing, assistive technology, gaze interaction, eye typing, alternative communication, eye gesture |
17 | Roman A. Dyba |
Parallel structures for fast estimation of echo path pure delay and their applications to sparse echo cancellers. |
CISS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kazuo Kuramochi, Takao Kawamura, Kazunori Sugahara |
NAT Traversal for Pure P2P e-Learning System. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
e-Learning, Mobile Agent, P2P, NAT |
17 | Min Jiang |
Finding Pure Nash Equilibrium of Graphical Game Via Constraints Satisfaction Approach. |
ESCAPE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jianming Lv, Xueqi Cheng |
CTO: concept tree based semantic overlay for pure peer-to-peer information retrieval. |
CIKM |
2007 |
DBLP DOI BibTeX RDF |
keyword co-occurrences, p2p ir, peer clustering, concept tree |
17 | Denis Cousineau 0002, Gilles Dowek |
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kehinde Alabi |
Generation, documentation and presentation of mathematical equations and symbolic scientific expressions using pure HTML and CSS. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
mathematical equations, symbolic scientific expressions, HTML, CSS, MATHML |
17 | Dheeraj K. Klair, Kwan-Wu Chin, Raad Raad |
An Investigation into thie Energy Eficiency of Pure and Slotted Aloha Based REID Anti-Collision Protocols. |
WOWMOM |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Xinzhu Meng, Huidong Cheng, Lansun Chen |
Profitless delays for permanence in a pure-delayed nonautomous Lotka-Volterra competitive system with infinite delays and discrete delays. |
SNPD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Derong Shen, Li-ang Lv, Yue Kou, Meifang Li, Ge Yu 0001 |
IBFS-HDI: an Effective Resource Searching Model in Database Grid under Pure Unstructured P2P Framework. |
GCC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Daniel G. Brown 0001, Ian M. Harrower |
Integer Programming Approaches to Haplotype Inference by Pure Parsimony. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
integer programming, biology and genetics, haplotype inference, Computations on discrete structures |
17 | Robert J. Elliott, Carlton-James U. Osakwe |
Option Pricing for Pure Jump Processes with Markov Switching Compensators. |
Finance Stochastics |
2006 |
DBLP DOI BibTeX RDF |
JEL Classification G12, G13, D52 |
17 | Dimitrios Filippopoulos, Helen D. Karatza |
A two-class parallel queue with pure space sharing among rigid jobs and general service times. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
supplementary variable, stability, parallel system, monotonicity, discriminant, partial derivative, real roots |
17 | Esther Palomar, Juan M. Estévez-Tapiador, Julio César Hernández Castro, Arturo Ribagorda |
A Protocol for Secure Content Distribution in Pure P2P Networks. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Esther Palomar, Juan M. Estévez-Tapiador, Julio César Hernández Castro, Arturo Ribagorda |
Certificate-based Access Control in Pure P2P Networks. |
Peer-to-Peer Computing |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Junjiro Konishi, Naoki Wakamiya, Masayuki Murata 0001 |
Proposal and Evaluation of a Cooperative Mechanism for Pure P2P File Sharing Networks. |
BioADIT |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Enrico Pontelli, Desh Ranjan |
A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Panagiota N. Panagopoulou, Paul G. Spirakis |
Efficient Convergence to Pure Nash Equilibria in Weighted Network Congestion Games. |
WEA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Verena Kantere, Aris Tsois |
Using ECA rules to implement mobile query agents for fast-evolving pure P2P database systems. |
Mobile Data Management |
2005 |
DBLP DOI BibTeX RDF |
ECA model, mobile agents, mobile databases, P2P systems |
17 | Khuzaima Daudjee, Kenneth Salem |
A Pure Lazy Technique for Scalable Transaction Processing in Replicated Databases. |
ICPADS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Martin V. Butz, David E. Goldberg, Pier Luca Lanzi |
Effect of Pure Error-Based Fitness in XCS. |
IWLCS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dimitris Fotakis 0001, Spyros C. Kontogiannis, Paul G. Spirakis |
Symmetry in Network Congestion Games: Pure Equilibria and Anarchy Cost. |
WAOA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Delgado-Restituto, Jesús Ruiz-Amaya, José M. de la Rosa 0001, Juan Francisco Fernández-Bootello, Leila Díez, Rocío del Río Fernández, Ángel Rodríguez-Vázquez |
An embedded 12-bit 80MS/s A/D/A interface for power-line communications in 0.13µm pure digital CMOS technology. |
ISCAS (5) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Keqin Feng, Zhi Ma |
A finite Gilbert-Varshamov bound for pure stabilizer quantum codes. |
IEEE Trans. Inf. Theory |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Albertus C. den Brinker, V. Voitishchuk, Stephanus J. L. van Eijndhoven |
IIR-based pure linear prediction. |
IEEE Trans. Speech Audio Process. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Tarek Hamel, Robert E. Mahony |
Pure 2D Visual Servo Control for a Class of Under-actuated Dynamic Systems. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Michael Molloy 0001 |
The pure literal rule threshold and cores in random hypergraphs. |
SODA |
2004 |
DBLP BibTeX RDF |
|
17 | Gu Su Kim, Kyoung-in Kim, Young Ik Eom |
Dynamic Load Balancing Scheme Based on Resource Reservation for Migration of Agent in the Pure P2P Network Environment. |
AIS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hemant K. Bhargava, Juan Feng |
Pure Bundling Better than Mixed? Or, Why doesn?t AOL Offer Standardized Dial-Up Service? |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Daniel G. Brown 0001, Ian M. Harrower |
A New Integer Programming Formulation for the Pure Parsimony Problem in Haplotype Analysis. |
WABI |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Volker Diekert, Paul Gastin |
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
17 | Verena Kantere, Aris Tsois |
Using ECA Rules to Implement Mobile Query Agents for Fast-Evolving Pure P2P Networks. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001 |
MyJVM: a 100% pure Java customizable Java Virtual Machine. |
PPPJ |
2003 |
DBLP BibTeX RDF |
|
17 | Guilhem Semerjian, Rémi Monasson |
A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Eduardo A. C. da Costa, Sergio Bampi, José Monteiro 0001 |
A New Architecture for Signed Radix-2m Pure Array Multipliers. |
ICCD |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Andrew J. Parkes |
Scaling Properties of Pure Random Walk on Random 3-SAT. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan |
An Optimal Algorithm for Finding NCA on Pure Pointer Machines. |
SWAT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Enrico Pontelli, Desh Ranjan |
Ancestor Problems on Pure Pointer Machines. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael Elad, Yacov Hel-Or |
A fast super-resolution reconstruction algorithm for pure translational motion and common space-invariant blur. |
IEEE Trans. Image Process. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Di Gianantonio |
Game Semantics for the Pure Lazy lambda-calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Marco Benedetti |
Conditional Pure Literal Graphs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nat Wyatt |
Pure Java Databases for Deployed Applications. |
ICDE |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Tzanio V. Kolev, Svetozar Margenov |
AMLI Preconditioning of Pure Displacement Non-conforming Elasticity FEM Systems. |
NAA |
2000 |
DBLP DOI BibTeX RDF |
multilevel preconditioners, non-conforming FEM AMS Subject Classifications: 65F10, 65N30, PCG |
17 | Paul M. B. Vitányi |
Three Approaches to the Quantitative Definition of Information in an Individual Pure Quantum State. |
CCC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Torben Æ. Mogensen |
Linear Time Self-Interpretation of the Pure Lambda Calculus. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jan Zwanenburg |
Pure Type Systems with Subtyping. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Yi-Shin Tung, Chia-Chiang Ho, Ja-Ling Wu |
MMX-Based DCT and MC Algorithms for Real-Time Pure Software MPEG Decoding. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
Pattern-Based IDCT, MPEG, Video Compression, MMX |
17 | Blas C. Ruiz Jiménez |
Condensing Lemmas for Pure Type Systems with Universes. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gilles Barthe |
Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ton Sales |
From Pure to Approximate Logic. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
approximate logic, theoretician, abstract methods, Helena Rasiowa, artificial intelligence, computer science, formal logic, bibliographies, biographies |
17 | Jan Van den Bussche, Dirk Van Gucht |
A Hierarchy of Faithful Set Creation in Pure OODB's. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Vaughan R. Pratt |
Action Logic and Pure Induction. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Charles Eric LaForest, J. Gregory Steffan |
Efficient multi-ported memories for FPGAs. |
FPGA |
2010 |
DBLP DOI BibTeX RDF |
fpga, parallel, memory, multi-port |
16 | Chung-Yueh Lien, Hsu-Chih Teng, Deng-Ji Chen, Woei-Chyn Chu, Chia-Hung Hsiao |
A Web-Based Solution for Viewing Large-Sized Microscopic Images. |
J. Digit. Imaging |
2009 |
DBLP DOI BibTeX RDF |
Virtual microscopy, virtual slide, whole slide imaging, XML, JavaScript |
16 | David Stynes, Kenneth N. Brown |
Value ordering for quantified CSPs. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Value ordering, Quantified CSPs, Backtracking search |
16 | Ioannis Caragiannis |
Efficient coordination mechanisms for unrelated machine scheduling. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Aimin Wang |
The Efficiency Variations of Chinese Feed-processing Enterprise of Different Ownership Structures: 2002-2005. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Joshua R. Davis, Zachary Goldman, Jacob Hilty, Elizabeth N. Koch, David Liben-Nowell, Alexa Sharp, Tom Wexler, Emma Zhou |
Equilibria and Efficiency Loss in Games on Networks. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Milan Bradonjic, Gunes Ercal-Ozkaya, Adam Meyerson, Alan Roytman |
On the price of mediation. |
EC |
2009 |
DBLP DOI BibTeX RDF |
game theory, correlation, mediation, equilibrium |
16 | Samuel R. Buss, Roman Kuznets |
The NP-Completeness of Reflected Fragments of Justification Logics. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
Taming Modal Impredicativity: Superlazy Reduction. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
Linear logic, proof theory, implicit computational complexity |
16 | Maria Bernadette Donato, Monica Milasi, Carmela Vitanza |
Dynamic Walrasian price equilibrium problem: evolutionary variational approach with sensitivity analysis. |
Optim. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Chi-Kin Chau |
A Game-Theoretical Study of Robust Networked Systems. |
IEEE J. Sel. Areas Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Penglang Shui, Zheng Bao 0001, Hongtao Su |
Nonparametric Detection of FM Signals Using Time-Frequency Ridge Energy. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Tiago H. Falk, Wai-Yip Chan |
Hybrid Signal-and-Link-Parametric Speech Quality Measurement for VoIP Communications. |
IEEE Trans. Speech Audio Process. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Fotakis 0001 |
Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy. |
SAGT |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Felix Brandt 0001, Felix A. Fischer, Markus Holzer 0001 |
Equilibria of Graphical Games with Symmetries. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Itai Ashlagi, Piotr Krysta, Moshe Tennenholtz |
Social Context Games. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Guangyu Chen, Feihui Li, Mahmut T. Kandemir |
Reducing Energy Consumption of On-Chip Networks Through a Hybrid Compiler-Runtime Approach. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge |
Dynamic purity analysis for java programs. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis |
16 | François Pottier |
Static Name Control for FreshML. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Phillip G. Bradford, Alina Olteanu |
Issues in Simulation for Valuing Long-Term Forwards. |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of Stream Definitions. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
16 | Fan Zhai, Yiftach Eisenberg, Thrasyvoulos N. Pappas, Randall Berry, Aggelos K. Katsaggelos |
Rate-distortion optimized hybrid error control for real-time packetized video transmission. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chryssis Georgiou, Theophanis Pavlides, Anna Philippou |
Network uncertainty in selfish routing. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Xiaohong Ma, Jin Liu, Fuliang Yin |
A Robust VAD Method for Array Signals. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Shaun H. Lee, Robert J. Howlett, Simon D. Walters |
Fuzzy and Neuro-fuzzy Techniques for Modelling and Control. |
KES (1) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Feng Xia 0001, Youxian Sun |
An Enhanced Dynamic Voltage Scaling Scheme for Energy-Efficient Embedded Real-Time Control Systems. |
ICCSA (4) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Burkhard Monien |
Selfish Routing in Networks. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mark Berman 0002 |
Some Unmixing Problems and Algorithms in Spectroscopy and Hyperspectral Imaging. |
AIPR |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Robert G. Reynolds, Ziad Kobti, Timothy A. Kohler, L. Y. L. Yap |
Unraveling ancient mysteries: reimagining the past using evolutionary computation in a complex gaming environment. |
IEEE Trans. Evol. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Dian Tjondronegoro, Jinglan Zhang, Jinfeng Gu, Anthony N. Nguyen, Shlomo Geva |
Integrating Text Retrieval and Image Retrieval in XML Document Searching. |
INEX |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 8032 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|