Search results for "ReSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Bilel Derbel	Local Maps: New Insights into Mobile Agent Algorithms.	DISC	2008	DBLP DOI BibTeX RDF	local maps, Mobile agents, time complexity
69	Guillaume Fertin, André Raspaud	Families of Graphs Having Broadcasting and Gossiping Properties.	WG	1998	DBLP DOI BibTeX RDF	minimum broadcast graphs, minimum gossip graphs, Knödel graphs, Broadcasting, hypercubes, gossiping, circulant graphs
59	Jinsong Zeng	Quasisymmetric rigidity, carpet Julia sets and the landing of dynamic resp. parameter rays. (Rigidité quasi-symétrique, tapis de Julia et le débarquement de dynamique resp. paramètres rayons).		2015	RDF
59	Hao-Ping Hung, Ming-Syan Chen	RESP: Shortest-Path-Based Cache Replacement in a Transcoding Proxy.	ICME	2006	DBLP DOI BibTeX RDF
49	Giovanni Beltrame, Cristiana Bolchini, Luca Fossati, Antonio Miele, Donatella Sciuto	ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration.	ASP-DAC	2008	DBLP DOI BibTeX RDF
49	Menelaos I. Karavelas	Guarding curvilinear art galleries with edge or mobile guards.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	2-dominance, curvilinear polygons, diagonal guards, edge guards, mobile guards, piece-wise-convex polygons, triangulation graphs, art gallery
49	Patrick Baillot, Paolo Coppola 0001, Ugo Dal Lago	Light Logics and Optimal Reduction: Completeness and Complexity.	LICS	2007	DBLP DOI BibTeX RDF
49	Vincent Berry, François Nicolas	Maximum Agreement and Compatible Supertrees (Extended Abstract).	CPM	2004	DBLP DOI BibTeX RDF
49	Tetsuo Asano, Tomomi Matsui, Takeshi Tokuyama	On the Complexities of the Optimal Rounding Problems of Sequences and Matrices.	SWAT	2000	DBLP DOI BibTeX RDF
49	David Bremner, Komei Fukuda, Ambros Marzetta	Primal - Dual Methods for Vertex and Facet Enumeration.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
39	Peng-Jun Wan, Xiang-Yang Li 0001, Ophir Frieder	OVSF-CDMA Code Assignment in Wireless Ad Hoc Networks.	Algorithmica	2007	DBLP DOI BibTeX RDF	OVSF-CDMA, Proximation algorithms, Wireless ad hoc networks, Code assignment
39	Gruia Calinescu, Peng-Jun Wan	Range Assignment for Biconnectivity and k-Edge Connectivity in Wireless Ad Hoc Networks.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	approximation algorithms, distributed algorithm, NP-hardness, topology control, power assignment
39	Domenico Cantone, Alfredo Ferro, Rosalba Giugno, Giuseppe Lo Presti, Alfredo Pulvirenti	Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces.	WEA	2005	DBLP DOI BibTeX RDF
39	Giorgio Ausiello, Paolo Giulio Franciosa, Giuseppe F. Italiano	Small Stretch Spanners on Dynamic Graphs.	ESA	2005	DBLP DOI BibTeX RDF
39	Zhengbing Bian, Qian-Ping Gu, Xiao Zhou 0001	Tight Bounds for Wavelength Assignment on Trees of Rings.	IPDPS	2005	DBLP DOI BibTeX RDF
39	Peng-Jun Wan, Xiang-Yang Li 0001, Ophir Frieder	OVSF-CDMA code assignment in wireless ad hoc networks.	DIALM-POMC	2004	DBLP DOI BibTeX RDF	OVSF-CDMA, approximation algorithms, graph theory, system design, code assignment
39	Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy	Simple and immune relations on countable structures.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
39	Gruia Calinescu, Peng-Jun Wan	Range Assignment for High Connectivity in Wireless Ad Hoc Networks.	ADHOC-NOW	2003	DBLP DOI BibTeX RDF
39	Béla Bollobás, Don Coppersmith, Michael Elkin	Sparse distance preservers and additive spanners.	SODA	2003	DBLP BibTeX RDF
39	Jun Tarui, Toshiya Itoh, Yoshinori Takei	A Nearly Linear Size 4-Min-Wise Independent Permutation Family by Finite Geometries.	RANDOM-APPROX	2003	DBLP DOI BibTeX RDF
39	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco	Definability and decidability of binary predicates for time granularity.	TIME	2003	DBLP DOI BibTeX RDF
39	Gill Barequet	The On-Line Heilbronn's Triangle Problem in Three and Four Dimensions.	COCOON	2002	DBLP DOI BibTeX RDF
39	Chin Lung Lu, Sheng-Lung Peng, Chuan Yi Tang	Efficient Minus and Signed Domination in Graphs.	ISAAC	2000	DBLP DOI BibTeX RDF
39	Steffen Reith, Klaus W. Wagner	On Boolean Lowness and Boolean Highness.	COCOON	1998	DBLP DOI BibTeX RDF	lowness, highness, boolean lowness, boolean highness, boolean hierarchy, hard/easy, Computational complexity, advice, polynomial-time hierarchy, collapse
39	Endre Boros, Toshihide Ibaraki, Kazuhisa Makino	Boolean Analysis of Incomplete Examples.	SWAT	1996	DBLP DOI BibTeX RDF
39	Pierre Péladeau, Andreas Podelski	On Reverse and General Definite Tree Languages (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
30	Tatsien Li, Lei Yu	The Exact Boundary Controllability of Nodal Profile for Entropy Solutions to 1-D Quasilinear Hyperbolic Systems of Conservation Laws with Linearly Degenerate Negative (Resp., Positive) Characteristic Fields.	SIAM J. Control. Optim.	2023	DBLP DOI BibTeX RDF
30	Lily Wang, Megan L. O'Mara	PsiRESP: calculating RESP charges with Psi4.	J. Open Source Softw.	2022	DBLP DOI BibTeX RDF
30	Jian-Chiun Liou, Zong-Xuan Hsieh, Zhi-Yu Lin	Analysis of Waveform Data of ECG/RESP/ICG with Fourier Transform.	ICCE-TW	2022	DBLP DOI BibTeX RDF
30	Ashutosh Sharma, Rajiv Kumar 0001	A Framework for Risk-Energy Aware Service-Level Agreement Provisioning (RESP) for Computing the Quickest Path.	J. Comput. Networks Commun.	2019	DBLP DOI BibTeX RDF
30	Omar A. Hammood, Mohd Nizam, Muamer Nafaa, Waleed A. Hammood	RESP: Relay Suitability-based Routing Protocol for Video Streaming in Vehicular Ad Hoc Networks.	Int. J. Comput. Commun. Control	2019	DBLP DOI BibTeX RDF
30	Adrian Calma, Tobias Reitmaier, Bernhard Sick	Resp-kNN: A probabilistic k-nearest neighbor classifier for sparsely labeled data.	IJCNN	2016	DBLP DOI BibTeX RDF
30	Micha A. Perles, Horst Martini, Yaakov S. Kupitz	On the polygonal diameter (= link diameter) of the interior, resp. exterior, of a simple closed polygon in the plane.	Discret. Appl. Math.	2013	DBLP DOI BibTeX RDF
30	Xijun Wang 0001, Min Sheng, Mengxia Liu, Daosen Zhai, Yan Zhang 0006	RESP: A k-connected residual energy-aware topology control algorithm for ad hoc networks.	WCNC	2013	DBLP DOI BibTeX RDF
30	Yu Zheng 0011, Maryamsadat Hashemian, Swarup Bhunia	RESP: a robust physical unclonable function retrofitted into embedded SRAM array.	DAC	2013	DBLP DOI BibTeX RDF
30	Elena Celledoni, Volker Grimm, Robert I. McLachlan, David I. McLaren, Dion R. J. O'Neale, Brynjulf Owren, G. R. W. Quispel	Preserving energy resp. dissipation in numerical PDEs using the "Average Vector Field" method.	J. Comput. Phys.	2012	DBLP DOI BibTeX RDF
30	Enguerran Vanquelef, Sabrina Simon, Gaelle Marquant, Elodie Garcia, Geoffroy Klimerak, Jean Charles Delepine, Piotr Cieplak, François-Yves Dupradeau	R.E.D. Server: a web service for deriving RESP and ESP charges and building force field libraries for new molecules and molecular fragments.	Nucleic Acids Res.	2011	DBLP DOI BibTeX RDF
30	Wei Tai, John Keeney, Declan O'Sullivan	RESP: A Computer Aided OWL REasoner Selection Process.	ICSC	2011	DBLP DOI BibTeX RDF	Reasoner Selection, Application Characteristics, Reasoner Characteristics, Semantic Application Development
30	Giovanni Beltrame, Luca Fossati, Donatella Sciuto	ReSP: A Nonintrusive Transaction-Level Reflective MPSoC Simulation Platform for Design Space Exploration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
30	François-Yves Dupradeau, Christine Cézard, Rodolphe Lelong, Élodie Stanislawiak, Julien Pêcher, Jean Charles Delepine, Piotr Cieplak	R.E.DD.B.: A database for RESP and ESP atomic charges, and force field libraries.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
30		Chosen Ciphertext Secure Broadcast Threshold Encryption (resp. Threshold-Traitor Tracing).	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
30	Victor K. Wei	Short (resp. Fast) CCA2-Fully-Anonymous Group Signatures using IND-CPA-Encrypted Escrows.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
30	Roberto Maestri, Gian Domenico Pinna, Elena Robbi, Maurizio Varanini, Michele Emdin, Mauro Raciti, Maria Teresa La Rovere	RESP-24: a computer program for the investigation of 24-h breathing abnormalities in heart failure patients.	Comput. Methods Programs Biomed.	2002	DBLP DOI BibTeX RDF
30	Junmei Wang, Piotr Cieplak, Peter A. Kollman	How well does a restrained electrostatic potential (RESP) model perform in calculating conformational energies of organic and biological molecules?	J. Comput. Chem.	2000	DBLP DOI BibTeX RDF
30	Piotr Cieplak, Wendy D. Cornell, Christopher I. Bayly, Peter A. Kollman	Application of the Multimolecule and Multiconformational RESP Methodology to Biopolymers: Charge Derication for DNA, RNA, and Proteins.	J. Comput. Chem.	1995	DBLP DOI BibTeX RDF
30	Henk C. A. van Tilborg	On the Uniqueness Resp. Nonexistence of Certain codes Meeting the Griesmer Bound	Inf. Control.	1980	DBLP DOI BibTeX RDF
30	Hao-Ping Hung, Ming-Syan Chen	On designing a shortest-path-based cache replacement in a transcoding proxy.	Multim. Syst.	2009	DBLP DOI BibTeX RDF	Cache replacement, Transcoding proxy
30	Xin Han, Kazuhisa Makino	Online Knapsack Problems with Limited Cuts.	ISAAC	2009	DBLP DOI BibTeX RDF
30	Sunghyu Han, Jon-Lark Kim	Upper Bounds for the Lengths of s-Extremal Codes Over F2, F4, and F2 + uF2.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
30	Soomin Lee, Benjamin W. Wah	Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization Problems.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
30	Somitra Kumar Sanadhya, Palash Sarkar 0001	New Collision Attacks against Up to 24-Step SHA-2.	INDOCRYPT	2008	DBLP DOI BibTeX RDF	SHA-2 hash family, reduced round attacks, Cryptanalysis
30	Stavros D. Nikolopoulos, Leonidas Palios	Detecting Holes and Antiholes in Graphs.	Algorithmica	2007	DBLP DOI BibTeX RDF
30	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
30	Thomas Lukasiewicz	Tractable Probabilistic Description Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
30	Jérôme Monnot, Sophie Toulouse	The Pk Partition Problem and Related Problems in Bipartite Graphs.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
30	Andreas Pashalidis, Bernd Meyer 0002	Linking Anonymous Transactions: The Consistent View Attack.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF
30	Ozcan Ozturk 0001, Mahmut T. Kandemir, Seung Woo Son 0001, Mustafa Karaköy	Selective code/data migration for reducing communication energy in embedded MpSoC architectures.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	energy, migration, MPSoC
30	Ion Chryssoverghi	Mixed Discretization-Optimization Methods for Nonlinear Elliptic Optimal Control Problems.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
30	Nader H. Bshouty, Lynn Burroughs	Maximizing Agreements with One-Sided Error with Applications to Heuristic Learning.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	maximizing agreements, heuristic learning, approximation, Boolean formulas, example-based learning, agnostic learning
30	Guillaume Fertin, Romeo Rizzi, Stéphane Vialette	Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
30	Thomas Eiter, Kazuhisa Makino	Abduction and the Dualization Problem.	Discovery Science	2003	DBLP DOI BibTeX RDF	monotone dualization, Horn functions, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, hypergraph transversals
30	Norihisa Isogai, Takashi Matsunaka, Atsuko Miyaji	Optimized Chi2-Attack against RC6.	ACNS	2003	DBLP DOI BibTeX RDF	2-attack, Cryptanalysis, Block Cipher, RC6
30	Farn Wang, Hsu-Chun Yen	Timing Parameter Characterization of Real-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF
30	Tony Shaska	Genus 2 Curves with (3, 3)-Split Jacobian and Large Automorphism Group.	ANTS	2002	DBLP DOI BibTeX RDF
30	Michael Elkin, Guy Kortsarz	Combinatorial logarithmic approximation algorithm for directed telephone broadcast problem.	STOC	2002	DBLP DOI BibTeX RDF
30	Michel Hébert	Concretely Locally Presentable and Locally Generated Categories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	locally generated category, locally presentable category, partial operation, implicit operation, essentially algebraic theory
30	Khee Meng Koh, Eng Guan Tay	On Optimal Orientations of Cartesian Products of Trees.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
30	Michael Elkin, David Peleg	Approximating k-Spanner Problems for k>2.	IPCO	2001	DBLP DOI BibTeX RDF
30	Michael Elkin	Computing almost shortest paths.	PODC	2001	DBLP DOI BibTeX RDF
30	Mario Winter	Ein interaktionsbasiertes Modell fuer den objektorientierten Integrations- und Regressionstest.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Test objektorientierter Programme, Integrationstest, Regressionstest, Test- Repräsentation, Klassen-Botschaftsdiagramm, Java
30	Dennis W. G. Moore, William F. Smyth, D. Miller	Counting Distinct Strings.	Algorithmica	1999	DBLP DOI BibTeX RDF	Distinct, Algorithm, Testing, String, Word
30	Domenico Ursino	Deriving Type Conflicts and Object Cluster Similarities in Database Schemes by an Automatic and Semantic Approach.	ADBIS	1999	DBLP DOI BibTeX RDF
30	Sergei Ivanov 0001, Michel de Rougemont	Interactive Protocols on the Reals.	STACS	1998	DBLP DOI BibTeX RDF
30	Mutsunori Yagiura, Toshihide Ibaraki	Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT.	COCOON	1998	DBLP DOI BibTeX RDF
30	Dima Grigoriev, Marek Karpinski, Nicolai N. Vorobjov Jr.	Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision and Computation Trees.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
30	Zhi-Zhong Chen	Practical Approximation Schemes for Maximum Induced-Subgraph Problems on K_{3, 3}-free or K_5-free Graphs.	ICALP	1996	DBLP DOI BibTeX RDF
30	Evangelos Kranakis, Danny Krizanc	Lower Bounds for Compact Routing (Extended Abstract).	STACS	1996	DBLP DOI BibTeX RDF
30	Jean Françon, Jean-Maurice Schramm, Mohamed Tajine	Recognizing arithmetic straight lines and planes.	DGCI	1996	DBLP DOI BibTeX RDF	discrete line, Fourier's algorithm, recognition algorithm, Discrete plane
30	Guy Even, Joseph Naor, Baruch Schieber, Madhu Sudan 0001	Approximating Minimum Feedback Sets and Multi-Cuts in Directed Graphs.	IPCO	1995	DBLP DOI BibTeX RDF
30	Hans Leiß	Bounded Fixed-Point Definability and Tabular Recognition of Languages.	CSL	1995	DBLP DOI BibTeX RDF
30	Frank Follert, Elmar Schömer, Jürgen Sellen, Michiel H. M. Smid, Christian Thiel 0003	Computing a Largest Empty Anchored Cylinder, and Related Problems.	FSTTCS	1995	DBLP DOI BibTeX RDF
30	Alan Mycroft	Completeness and predicate-based abstract interpretation.	PEPM	1993	DBLP DOI BibTeX RDF
30	Peter H. Starke	Decision Problems for Multi-Tape Automata.	MFCS	1976	DBLP DOI BibTeX RDF
29	Giovanni Beltrame, Luca Fossati, Donatella Sciuto	Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	ReSP, Operating System, Emulation, OpenMP, MPSoC, codesign
29	Worthen Hunsaker, Jorge Picado	Frames with Transitive Structures.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion
29	Till Plewe, Ales Pultr, Anna Tozzi	Regular Monomorphisms of Hausdorff Frames.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames
29	Ralf Kemper	p-Banach Spaces and p-Totally Convex Spaces.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	p-Banach space, p-normed vector space, (p-) totally (resp. (p-) absolutely) convex space, congruence relation, Eilenberg-Moore category, monad
20	J. William Helton, Jiawang Nie	Semidefinite representation of convex sets.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 46N10, 47N10, 90C25, 65K05, 90C22
20	Bruno Marnette, Floris Geerts	Static analysis of schema-mappings ensuring oblivious termination.	ICDT	2010	DBLP DOI BibTeX RDF	relative completeness, data integration, data exchange, schema mapping, determinacy
20	Stéphane Boucheron, Aurélien Garivier, Elisabeth Gassiat	Coding on Countably Infinite Alphabets.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
20	Jin Wook Kim, Siwon Choi, Joong Chae Na, Jeong Seop Sim	Improved Algorithms for Finding Consistent Superstrings Based on a New Graph Model.	ISAAC	2009	DBLP DOI BibTeX RDF	consistent superstring, Aho-Corasick algorithm, string inclusion, string non-inclusion
20	Vittorio Bilò, Angelo Fanelli 0001, Michele Flammini, Luca Moscardelli	Performances of One-Round Walks in Linear Congestion Games.	SAGT	2009	DBLP DOI BibTeX RDF
20	Jérôme Simonin, Noëlle Carbonell	Enhancements to Online Help: Adaptivity and Embodied Conversational Agents.	HCI (6)	2009	DBLP DOI BibTeX RDF	Speech and graphics, Eye tracking, Multimodal interaction, Embodied conversational agents, Adaptive user interfaces, Online help, Talking heads
20	Donatella Gubiani, Angelo Montanari	A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions.	DEXA	2009	DBLP DOI BibTeX RDF
20	Stefan Göller, Richard Mayr, Anthony Widjaja To	On the Computational Complexity of Verifying One-Counter Processes.	LICS	2009	DBLP DOI BibTeX RDF
20	Adrian Dumitrescu, Minghui Jiang 0001	Piercing Translates and Homothets of a Convex Body.	ESA	2009	DBLP DOI BibTeX RDF
20	Nathalie Aubrun, Marie-Pierre Béal	Decidability of Conjugacy of Tree-Shifts of Finite Type.	ICALP (1)	2009	DBLP DOI BibTeX RDF
20	Pierluigi Frisco, Oscar H. Ibarra	On Stateless Multihead Finite Automata and Multihead Pushdown Automata.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
20	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Probabilistic Weighted Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
20	Rakesh Agrawal 0001, Alan Halverson, Krishnaram Kenthapadi, Nina Mishra, Panayiotis Tsaparas	Generating labels from clicks.	WSDM	2009	DBLP DOI BibTeX RDF	generating training data, graph partitioning