Search results for "free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Qian Xi, David Walker 0001	A context-free markup language for semi-structured text.	PLDI	2010	DBLP DOI BibTeX RDF	ANNE, ad hoc data, domain-specific languages, PADS, tool generation
15	Bruno Vallette	Free Monoid in Monoidal Abelian Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18D10
15	Dong Xiang, Yueli Zhang, Yi Pan 0001	Practical Deadlock-Free Fault-Tolerant Routing in Meshes Based on the Planar Network Fault Model.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
15	Zoltán Ésik, Szabolcs Iván	Context-Free Languages of Countable Words.	ICTAC	2009	DBLP DOI BibTeX RDF
15	Makoto Kanazawa	The Pumping Lemma for Well-Nested Multiple Context-Free Languages.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
15	Serap A. Savari	On Minimum-Redundancy Fix-Free Codes.	DCC	2009	DBLP DOI BibTeX RDF
15	Joël Alwen, Jonathan Katz, Yehuda Lindell, Giuseppe Persiano, Abhi Shelat, Ivan Visconti	Collusion-Free Multiparty Computation in the Mediated Model.	CRYPTO	2009	DBLP DOI BibTeX RDF
15	Ahuva Mu'alem	On Multi-dimensional Envy-Free Mechanisms.	ADT	2009	DBLP DOI BibTeX RDF	Anonymous Prices, Scheduling, Mechanism Design
15	Srikanth Sastry, Scott M. Pike, Jennifer L. Welch	The weakest failure detector for wait-free dining under eventual weak exclusion.	SPAA	2009	DBLP DOI BibTeX RDF	mutual exclusion, failure detectors, wait-freedom, partial synchrony, dining philosophers
15	J. Patricio Díaz Varela	Free Lukasiewicz implication algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
15	Vincenzo Marra	A characterization of MV-algebras free over finite distributive lattices.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 06D35, Secondary 06F20
15	Scott Kircher, Michael Garland	Free-form motion processing.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	rotation-invariant surface representation, temporal signal processing, motion editing, Deforming surfaces, mesh editing, motion blending
15	Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong	Error-Free Transformation in Rounding Mode toward Zero.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
15	Santanu S. Dey, Laurence A. Wolsey	Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles.	IPCO	2008	DBLP DOI BibTeX RDF
15	Ryo Yoshinaka	Identification in the Limit of k, l-Substitutable Context-Free Languages.	ICGI	2008	DBLP DOI BibTeX RDF
15	Yoshihiro Sakayanagi, Shigeki Nakaura, Mitsuji Sampei	Conservativeness of State-Dependent Riccati Inequality : Effect of free parameters of State-Dependent Coefficient form.	CDC	2008	DBLP DOI BibTeX RDF
15	Hajo Broersma, Daniël Paulusma	Computing Sharp 2-Factors in Claw-Free Graphs.	MFCS	2008	DBLP DOI BibTeX RDF
15	Phuong Hoai Ha, Philippas Tsigas, Otto J. Anshus	Wait-free Programming for General Purpose Computations on Graphics Processors.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Lila Kari, Kalpana Mahalingam, Gabriel Thierrin	The syntactic monoid of hairpin-free languages.	Acta Informatica	2007	DBLP DOI BibTeX RDF
15	Martin Hils	Semifree actions of free groups.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03C45, Secondary 20F05
15	James Ward, Jayantha Katupitiya	Free Space Mapping and Motion Planning in Configuration Space for Mobile Manipulators.	ICRA	2007	DBLP DOI BibTeX RDF
15	Yasuhisa Hirata, Hamin Song, Zhi Dong Wang, Kazuhiro Kosuge	Control of passive object handling robot with free joint for reducing human assistive force.	IROS	2007	DBLP DOI BibTeX RDF
15	Xinxin Liu	Expansive-Bisimulation for Context-Free Processes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
15	Terence Sim, Rajkumar Janakiraman	Are Digraphs Good for Free-Text Keystroke Dynamics?	CVPR	2007	DBLP DOI BibTeX RDF
15	Go Hasegawa, Masayoshi Kobayashi, Masayuki Murata 0001, Tutomu Murase	"Free-riding" traffic problem in routing overlay networks.	ICON	2007	DBLP DOI BibTeX RDF
15	Dana Glasner, Rocco A. Servedio	Distribution-Free Testing Lower Bounds for Basic Boolean Functions.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
15	Yijiao Yu, Hai Jin 0001	A Workload Balancing Based Approach to Discourage Free Riding in Peer-to-Peer Network.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF
15	Michal Feldman, Christos H. Papadimitriou, John Chuang, Ion Stoica	Free-riding and whitewashing in peer-to-peer systems.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
15	Wai Yin Mok, David W. Embley	Generating Compact Redundancy-Free XML Documents from Conceptual-Model Hypergraphs.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	XML data redundancy, compact XML storage structures, XML scheme generation
15	Shang-Ho Tsai, Yuan-Pei Lin, C.-C. Jay Kuo	MAI-Free MC-CDMA Systems Based on Hadamard-Walsh Codes.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
15	Marko Boben, Branko Grünbaum, Tomaz Pisanski, Arjana Zitnik	Small Triangle-Free Configurations of Points and Lines.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
15	Peter Damaschke, Phuong Hoai Ha, Philippas Tsigas	Competitive Freshness Algorithms for Wait-Free Data Objects.	Euro-Par	2006	DBLP DOI BibTeX RDF
15	Jaeil Choi, Andrzej Szymczak, Greg Turk, Irfan A. Essa	Element-Free Elastic Models for Volume Fitting and Capture.	CVPR (2)	2006	DBLP DOI BibTeX RDF
15	Thomas J. Wollinger, Guido Bertoni, Luca Breveglieri, Christof Paar	Performance of HECC Coprocessors Using Inversion-Free Formulae.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
15	Kuk-Jin Yoon, In-So Kweon	Correspondence Search in the Presence of Specular Highlights Using Specular-Free Two-Band Images.	ACCV (2)	2006	DBLP DOI BibTeX RDF
15	Andy Yoo, Keith W. Henderson	Poster reception - Parallel massive scale-free graph generators.	SC	2006	DBLP DOI BibTeX RDF
15	Iwona Cieslik	On-line coloring and cliques covering for KKs, t-free graphs.	Acta Informatica	2005	DBLP DOI BibTeX RDF
15	Sariel Har-Peled, Shakhar Smorodinsky	Conflict-Free Coloring of Points and Simple Regions in the Plane.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
15	Bernard Lang, Jean-François Abramatic, Jesús M. González-Barahona, Piera Gómez, Mogens Kühn Pedersen	Free and Proprietary Software in COTS-Based Software Development.	ICCBSS	2005	DBLP DOI BibTeX RDF
15	Mao Yang, Zheng Zhang 0001, Xiaoming Li, Yafei Dai	An Empirical Study of Free-Riding Behavior in the Maze P2P File-Sharing System.	IPTPS	2005	DBLP DOI BibTeX RDF
15	André Adelsbach, Ulrich Greveler	A Broadcast Encryption Scheme with Free-Riders but Unconditional Security.	DRMTICS	2005	DBLP DOI BibTeX RDF
15	Sena Seneviratne, David Levy 0001	Host Load Prediction for Grid Computing Using Free Load Profiles.	ICA3PP	2005	DBLP DOI BibTeX RDF
15	Anders Gidenstam, Marina Papatriantafilou, Håkan Sundell, Philippas Tsigas	Efficient and Reliable Lock-Free Memory Reclamation Based on Reference Counting.	ISPAN	2005	DBLP DOI BibTeX RDF
15	Ping Guo 0003, Yang Zhou 0001, Jun Zhuang, Ting Chen, Yan-Rong Kang	An Efficient Algorithm for Mining Both Closed and Maximal Frequent Free Subtrees Using Canonical Forms.	ADMA	2005	DBLP DOI BibTeX RDF
15	Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini	Self-embedded context-free grammars with regular counterparts.	Acta Informatica	2004	DBLP DOI BibTeX RDF
15	Ronald L. Rivest	On the Notion of Pseudo-Free Groups.	TCC	2004	DBLP DOI BibTeX RDF
15	Bradford Starkie, François Coste, Menno van Zaanen	The Omphalos Context-Free Grammar Learning Competition.	ICGI	2004	DBLP DOI BibTeX RDF
15	Makoto Hamana	Free S-Monoids: A Higher-Order Syntax with Metavariables.	APLAS	2004	DBLP DOI BibTeX RDF
15	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.	CIAA	2004	DBLP DOI BibTeX RDF
15	Nazareno Andrade, Francisco Vilar Brasileiro, Walfredo Cirne, Miranda Mowbray	Discouraging Free Riding in a Peer-to-Peer CPU-Sharing Grid.	HPDC	2004	DBLP DOI BibTeX RDF
15	Ahmed Bouajjani, Antoine Meyer	Symbolic Reachability Analysis of Higher-Order Context-Free Processes.	FSTTCS	2004	DBLP DOI BibTeX RDF
15	Marzena Kryszkiewicz	Upper Bound on the Length of Generalized Disjunction-Free Patterns.	SSDBM	2004	DBLP DOI BibTeX RDF
15	Claudio Mirolo, Enrico Pagello	A New Cell-subdivision Approach to Plan Free Translations in Cluttered Environments.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	trapezoidal decomposition, fat obstacles, cluttered workspace, collision detection, motion planning, quadtrees, A* search, plane sweep
15	Yun Chi, Yirong Yang, Richard R. Muntz	Indexing and Mining Free Trees.	ICDM	2003	DBLP DOI BibTeX RDF
15	Anne Brüggemann-Klein, Derick Wood	On Predictive Parsing and Extended Context-Free Grammars.	Computer Science in Perspective	2003	DBLP DOI BibTeX RDF
15	Maged M. Michael	CAS-Based Lock-Free Algorithm for Shared Deques.	Euro-Par	2003	DBLP DOI BibTeX RDF
15	Khan A. Wahid, Vassil S. Dimitrov, Graham A. Jullien	Error-Free Arithmetic for Discrete Wavelet Transforms Using Algebraic Integers.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
15	Tadayoshi Shioyama, Haiyuan Wu, Masaya Takebe, Naoya Shimaoka	Segmentation and Free Space Detection Using Gabor Filters.	SCIA	2003	DBLP DOI BibTeX RDF
15	Won-Sung Sohn, Jae-Kyung Kim, Seung-Kyu Ko, Yoon-Chul Choy, Soon-Bum Lim	Ambiguity Correction Method for Free-Form Annotation in XML Documents.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
15	Thomas W. Carley, Moussa A. Ba, Rajeev Barua, David B. Stewart	Contention-Free Periodic Message Scheduler Medium Access Control in Wireless Sensor / Actuator Networks.	RTSS	2003	DBLP DOI BibTeX RDF
15	Lakshmish Ramaswamy, Ling Liu 0001	Free Riding: A New Challenge to Peer-to-Peer File Sharing Systems.	HICSS	2003	DBLP DOI BibTeX RDF
15	Anne Brüggemann-Klein, Derick Wood	On Predictive Parsing and Extended Context-Free Grammars.	CIAA	2002	DBLP DOI BibTeX RDF
15	Wolfgang Ahrendt	Deductive Search for Errors in Free Data Type Specifications Using Model Generation.	CADE	2002	DBLP DOI BibTeX RDF
15	Yevgeniy Dodis, Leonid Reyzin	On the Power of Claw-Free Permutations.	SCN	2002	DBLP DOI BibTeX RDF
15	Robin N. Banerjee, Andrés Bujosa	Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings.	FoIKS	2002	DBLP DOI BibTeX RDF
15	Ravi Rajwar, James R. Goodman	Transactional lock-free execution of lock-based programs.	ASPLOS	2002	DBLP DOI BibTeX RDF
15	Guantao Chen, Bing Wei 0001, Xuerong Zhang	Degree-Light-Free Graphs and Hamiltonian Cycles.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
15	Henrik Brosenne, Matthias Homeister, Stephan Waack	Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds.	MFCS	2001	DBLP DOI BibTeX RDF
15	Paola Inverardi, Massimo Tivoli	Automatic synthesis of deadlock free connectors for COM/DCOM applications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
15	Alan L. Yuille	A Double-Loop Algorithm to Minimize the Bethe Free Energy.	EMMCVPR	2001	DBLP DOI BibTeX RDF
15	Sandip Sen, Anish Biswas	More than Envy-Free.	ICMAS	2000	DBLP DOI BibTeX RDF
15	Martin Hirt, Kazue Sako	Efficient Receipt-Free Voting Based on Homomorphic Encryption.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
15	John R. Koza, Jessen Yu, William Mydlowec, Martin A. Keane	Use of Conditional Developmental Operators and Free Variables in Automatically Synthesizing Generalized Circuits Using Genetic Programming.	Evolvable Hardware	2000	DBLP DOI BibTeX RDF
15	Edward Y. C. Cheng, Michael Kaminski	Context-Free Languages over Infinite Alphabets.	Acta Informatica	1998	DBLP DOI BibTeX RDF
15	Paul Erdös, András Gyárfás, Miklós Ruszinkó	How to decrease the diameter of triangle-free graphs.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C12, 05C35
15	Hong Wang 0005	Vertex-Disjoint Triangles in Claw-Free Graphs with Minimum Degree at Least Three.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C35, 05C70
15	Chih-Chang Lin, Malgorzata Marek-Sadowska, Mike Tien-Chien Lee, Kuang-Chien Chen	Cost-free scan: a low-overhead scan path design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
15	Michael Theobald, Steven M. Nowick	Fast heuristic and exact algorithms for two-level hazard-free logic minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
15	Jürgen Albert, Dora Giammarresi, Derick Wood	Extended Context-Free Grammars and Normal Form Algorithms.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
15	Prasad Jayanti	A Complete and Constant Time Wait-Free Implementation of CAS from LL/SC and Vice Versa.	DISC	1998	DBLP DOI BibTeX RDF
15	Ingo Schiermeyer	Approximating Maximum Independent Set in k-Clique-Free Graphs.	APPROX	1998	DBLP DOI BibTeX RDF	k-Clique, Algorithm, Complexity, Approximation, Graph, Maximum Independent Set
15	David Melski, Thomas W. Reps	Interconveritibility of Set Constraints and Context-Free Language Reachability.	PEPM	1997	DBLP DOI BibTeX RDF
15	Hajo Broersma, Ton Kloks, Dieter Kratsch, Haiko Müller	Independent Sets in Asteroidal Triple-Free Graphs.	ICALP	1997	DBLP DOI BibTeX RDF
15	Thomas Wilke	Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic.	ICALP	1997	DBLP DOI BibTeX RDF
15	Roman M. Kolpakov, Gregory Kucherov	Minimal Letter Frequency in n-th Power-Free Binary Words.	MFCS	1997	DBLP DOI BibTeX RDF
15	Stephan Brandt	Computing the Independence Number of Dense Triangle-Free Graphs.	WG	1997	DBLP DOI BibTeX RDF
15	D. J. B. Bosscher, W. O. David Griffioen	Regularity for a Large Class of Context-Free Processes is Decidable.	ICALP	1996	DBLP DOI BibTeX RDF
15	José Duato	A Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	path-based multicast, graph theory, wormhole routing, Adaptive routing, multicomputers, virtual channels, multicast routing, deadlock avoidance
15	Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama	Handles and Reachability Analysis of Free Choice Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
15	Jaap-Henk Hoepman, Marina Papatriantafilou, Philippas Tsigas	Self-Stabilization of Wait-Free Shared Memory Objects.	WDAG	1995	DBLP DOI BibTeX RDF
15	Chih-Chang Lin, Mike Tien-Chien Lee, Malgorzata Marek-Sadowska, Kuang-Chien Chen	Cost-free scan: a low-overhead scan path design methodology.	ICCAD	1995	DBLP DOI BibTeX RDF	Testing, DFT, Scan design
15	Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang	A Unified Approach for Reasoning about Conflict-Free Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
15	Hans-Peter Kriegel, Stephan Heep, Andreas Fahldiek, Norbert Mysliwitz	Query Processing of Geometric Objects with Free Form Boundaries in Spatial Datbases.	DEXA	1993	DBLP DOI BibTeX RDF
15	Julien Cassaigne	Counting Overlap-Free Binary Words.	STACS	1993	DBLP DOI BibTeX RDF
15	Klaus Reinhardt	Hierarchies over the Context-Free Languages.	IMYCS	1990	DBLP DOI BibTeX RDF
15	Michal Chytil, Burkhard Monien	Caterpillars and Context-Free Languages.	STACS	1990	DBLP DOI BibTeX RDF
15	Yvo Desmedt	Making Conditionally Secure Cryptosystems Unconditionally Abuse-Free in a General Context.	CRYPTO	1989	DBLP DOI BibTeX RDF
15	Rodney R. Howell, Louis E. Rosier	On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
15	Erik Tidén	Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.	CADE	1986	DBLP DOI BibTeX RDF
15	Michel Leconte	K-th power free codes.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF