Search results for "pure"

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