default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, February 2009
- Dirk Beyer, M. Erkan Keremoglu:
CPAchecker: A Tool for Configurable Software Verification. - Joel A. Tropp, Jason N. Laska, Marco F. Duarte, Justin K. Romberg, Richard G. Baraniuk:
Beyond Nyquist: Efficient Sampling of Sparse Bandlimited Signals. - Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Cut-Simulation and Impredicativity. - Kazuyuki Amano:
Bounds on the Size of Small Depth Circuits for Approximating Majority. - Babatunde O. Okunoye:
An Alternative Cracking of The Genetic Code. - Robert Rolland:
The second weight of generalized Reed-Muller codes. - Abdelwaheb Miled:
On a problem of Frobenius in three numbers. - Michael Ummels, Dominik Wojtczak
:
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. - Travis Gagie:
New Algorithms and Lower Bounds for Sequential-Access Data Compression. - Kook Jin Ahn, Sudipto Guha:
Graph Sparsification in the Semi-streaming Model. - (Withdrawn) The Ergodic Capacity of The MIMO Wire-Tap Channel.
- Alireza Nasiri Avanaki:
On Optimization of Local Histogram Equalization. - Wojciech Czaja, Zdzislaw A. Golda, Andrzej Woszczyna:
Acoustic wave equation in the expanding universe. Sachs-Wolfe theorem. - Baris Baykant Alagöz:
Hierarchical Triple-Modular Redundancy (H-TMR) Network For Digital Systems. - Tomoyuki Yamakami:
Immunity and Pseudorandomness of Context-Free Languages. - Jarek Duda:
Asymmetric numeral systems. - Grégoire Jacob, Hervé Debar, Eric Filiol:
Malware Detection using Attribute-Automata to parse Abstract Behavioral Descriptions. - Kaibin Huang, Vincent K. N. Lau:
Stability and Delay of Zero-Forcing SDMA with Limited Feedback. - Jon Lee, Vahab S. Mirrokni, Viswanath Nagarajan, Maxim Sviridenko:
Non-monotone submodular maximization under matroid and knapsack constraints. - Victoria Kostina, Sergey Loyka:
Optimum Power and Rate Allocation for Coded V-BLAST. - Vahab S. Mirrokni, Alexander Skopalik:
On the complexity of Nash dynamics and Sink Equilibria. - Daniel Salmond, Alex J. Grant, Ian Grivell, Terence Chan:
Decoding Network Codes by Message Passing. - Keith M. Martin:
On the Applicability of Combinatorial Designs to Key Predistribution for Wireless Sensor Networks. - Bin Jiang, Xintao Liu:
AxialGen: A Research Prototype for Automatically Generating the Axial Map. - Grégoire Jacob, Eric Filiol, Hervé Debar:
Formalization of malware through process calculi. - Lucas Dixon, Ross Duncan:
Graphical Reasoning in Compact Closed Categories for Quantum Computation. - Sujit Gujar, Y. Narahari:
An Optimal Multi-Unit Combinatorial Procurement Auction with Single Minded Bidders. - Marc Portoles-Comeras, Albert Cabellos-Aparicio, Josep Mangues-Bafalluy, Jordi Domingo-Pascual:
Analysis of bandwidth measurement methodologies over WLAN systems. - Lorenzo Cappellari, Andrea De Giusti:
Binary Data Compression with and without Side Information at the Decoder: the Syndrome-Based Approach Using Off-the-Shelf Turbo Codecs. - M. Ángeles Serrano, Alessandro Flammini, Filippo Menczer:
Beyond Zipf's law: Modeling the structure of human language. - Claudia Lindner, Jörg Rothe:
Degrees of Guaranteed Envy-Freeness in Finite Bounded Cake-Cutting Protocols. - Mohammad H. Taghavi, Amin Shokrollahi, Paul H. Siegel:
Efficient implementation of linear programming decoding. - Shamgar Gurevich, Ronny Hadani:
Application of the Weil representation: diagonalization of the discrete Fourier transform. - James D. Myers, Joe Futrelle, Jeff Gaynor, Joel Plutchak, Peter Bajcsy, Jason Kastner, Kailash Kotwani, Jong Sung Lee, Luigi Marini, Rob Kooper, Robert E. McGrath, Terry McLaren, Alejandro Rodríguez, Yong Liu:
Embedding Data within Knowledge Spaces. - Katia Jaffrès-Runser, Cristina Comaniciu, Jean-Marie Gorce:
Interference and Congestion Aware Gradient Broadcasting Routing for Wireless Sensor Networks. - Pere Constans:
A Simple Extraction Procedure for Bibliographical Author Field. - Sourabh Saha:
Genetic algorithm based optimization and post optimality analysis of multi-pass face milling. - Katia Jaffrès-Runser, Cristina Comaniciu, Jean-Marie Gorce:
A Multiobjective Optimization Framework for Routing in Wireless Ad Hoc Networks. - Ernesto Diaz-Aviles:
Alleviating Media Bias Through Intelligent Agent Blogging. - Ye Wang, Prakash Ishwar:
Bootstrapped Oblivious Transfer and Secure Two-Party Function Computation. - Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
Finding Exact Minimal Polynomial by Approximations. - Syed Ali Jafar:
The Ergodic Capacity of Interference Networks. - Pedro Pablo Pérez Velasco, Juan de Lara:
Matrix Graph Grammars and Monotone Complex Logics. - Mark F. Flanagan:
A Unified Framework for Linear-Programming Based Communication Receivers. - Régis Alenda, Nicola Olivetti, Camilla Schwind:
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus. - Lisa Brouwers, Martin Camitz, Baki Cakici, Kalle Mäkilä, Paul Saretok:
MicroSim: Modeling the Swedish Population. - Yassine Ariba, Frédéric Gouaisbaut, Yann Labit:
Multiple time-delays system modeling and control for router management. - Yassine Ariba, Yann Labit, Frédéric Gouaisbaut:
Design and performance evaluation of a state-space based AQM. - Yann Labit, Yassine Ariba, Frédéric Gouaisbaut:
On Designing Lyapunov-Krasovskii Based AQM for Routers Supporting TCP Flows. - Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements. - Yassine Ariba, Frédéric Gouaisbaut, Sandy Rahme, Yann Labit:
Robust control tools for traffic monitoring in TCP/AQM networks. - Amos Lapidoth, Michèle A. Wigger:
On the Gaussian MAC with Imperfect Feedback. - Dongwoon Bai, Saeed S. Ghassemzadeh, Robert R. Miller, Vahid Tarokh:
Beam Selection Gain Versus Antenna Selection Gain. - Sylvain Raybaud, Caroline Lavecchia, David Langlois, Kamel Smaïli:
New Confidence Measures for Statistical Machine Translation. - Sid Touati:
Towards a Statistical Methodology to Evaluate Program Speedups and their Optimisation Techniques. - Adnan Ibrahimbegovic, Catherine Knopf-Lenoir, Anna Kucerová, Pierre Villon:
Optimal design and optimal control of structures undergoing finite rotations and elastic deformations. - Jérémy Barbay, Gonzalo Navarro:
Compressed Representations of Permutations, and Applications. - Pierre Courrieu:
Fast solving of Weighted Pairing Least-Squares systems. - Laurent Bienvenu, Rod Downey:
Kolmogorov Complexity and Solovay Functions. - Mikolaj Bojanczyk:
Weak Mso with the Unbounding Quantifier. - Glencora Borradaile, Erik D. Demaine, Siamak Tazari:
Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs. - Krassimir Yankov Iordjev, Dimiter Stoichkov Kovachev:
On finding a particular class of combinatorial identities. - Nicolas Bousquet, Jean Daligault, Stéphan Thomassé, Anders Yeo:
A Polynomial Kernel For Multicut In Trees. - Frédérique Bassino, Julien David, Cyril Nicaud:
On the Average Complexity of Moore's State Minimization Algorithm. - Baptiste Jeudy, Christine Largeron, François Jacquenet:
A Model for Managing Collections of Patterns. - Anirban Banerji:
How happy is your web browsing? A probabilistic model to describe user satisfaction. - Gagan Raj Gupta, Sujay Sanghavi, Ness B. Shroff:
Node Weighted Scheduling. - Martin Grohe, Götz Schwandtner:
The Complexity of Datalog on Linear Orders. - Olivier Durand de Gevigney, Frédéric Meunier, Christian Popa, Julien Reygner, Ayrin Romero:
Directed paths on a tree: coloring, multicut and kernel. - Lalitha Sankar, Yingbin Liang, Narayan B. Mandayam, H. Vincent Poor:
Opportunistic Communications in Fading Multiaccess Relay Channels. - Avinash Achar, Srivatsan Laxman, V. Raajay, P. S. Sastry:
Discovering general partial orders in event streams. - Soubhik Chakraborty:
On Why and What of Randomness. - Laurent Boyer, Guillaume Theyssier:
On Local Symmetries And Universality In Cellular Autmata. - Mahdi Cheraghchi, Amin Shokrollahi:
Almost-Uniform Sampling of Points on High-Dimensional Algebraic Varieties. - Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster:
Hardness and Algorithms for Rainbow Connectivity. - Andrei A. Bulatov, Víctor Dalmau, Martin Grohe, Dániel Marx:
Enumerating Homomorphisms. - Tom Hirschowitz, Xavier Leroy, J. B. Wells:
Compilation of extended recursion in call-by-value functional languages. - Baptiste Jeudy, François Rioult:
Extraction de concepts sous contraintes dans des données d'expression de gènes. - Baptiste Jeudy, François Rioult:
Database Transposition for Constrained (Closed) Pattern Mining. - Ho-Leung Chan, Jeff Edmonds, Tak Wah Lam, Lap-Kei Lee, Alberto Marchetti-Spaccamela, Kirk Pruhs:
Nonclairvoyant Speed Scaling for Flow and Energy. - Victor Chepoi, Morgan Seston:
An Approximation Algorithm for l\infty-Fitting Robinson Structures to Distances. - Zilong Wang, Guang Gong:
A Note on the Diagonalization of the Discrete Fourier Transform. - Jalil S. Harsini, Farshad Lahouti:
Delay Performance Optimization for Multiuser Diversity Systems with Bursty-Traffic and Heterogeneous Wireless Links. - Salah A. Aly, Zhenning Kong, Emina Soljanin:
Fountain Codes Based Distributed Storage Algorithms for Large-scale Wireless Sensor Networks. - Daniel J. Hsu, Sham M. Kakade, John Langford, Tong Zhang:
Multi-Label Prediction via Compressed Sensing. - Cristina Fernández-Córdoba, Kevin T. Phelps:
On the minimum distance graph of an extended Preparata code. - N. S. Narayanaswamy, N. Sadagopan, Apoorve Dubey:
A Note on Contractible Edges in Chordal Graphs. - Yuval Emek, Pierre Fraigniaud, Amos Korman, Adi Rosén:
On the Additive Constant of the k-server Work Function Algorithm. - Giuseppe Bianchi, Nicola Blefari-Melazzi, Lorenzo Bracciale, Francesca Lo Piccolo, Stefano Salsano:
Fundamental delay bounds in peer-to-peer chunk-based real-time streaming systems. - Erik D. Demaine, Mohammad Taghi Hajiaghayi, Hamid Mahini, Morteza Zadimoghaddam:
The Price of Anarchy in Cooperative Network Creation Games. - Frank Edward Walter, Stefano Battiston, Frank Schweitzer:
Personalised and Dynamic Trust in Social Networks. - Alain Finkel, Jean Goubault-Larrecq:
Forward analysis for WSTS, Part I: Completions. - Paolo Minero, Young-Han Kim:
Correlated Sources over Broadcast Channels. - Nathalie Aubrun, Mathieu Sablik:
An Order on Sets of Tilings Corresponding to an Order on Languages. - Eda Baykan, Monika Henzinger, Stefan F. Keller, Sebastian De Castelberg, Markus Kinzler:
A Comparison of Techniques for Sampling Web Pages. - Nicole Schweikardt:
Lower Bounds for Multi-Pass Processing of Multiple Data Streams. - André Gronemeier:
Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information. - Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos:
Package upgrades in FOSS distributions: details and challenges. - Mohab Safey El Din, Éric Schost:
A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces. - Ashish Goel, Sanjeev Khanna:
Perfect Matchings in Õ(n1.5) Time in Regular Bipartite Graphs. - O. Hrstka, Anna Kucerová:
Improvements of real coded genetic algorithms based on differential operators preventing premature convergence. - Eleonora Guerrini, Massimiliano Sala:
A bound on the size of linear codes. - O. Hrstka, Anna Kucerová, Matej Leps, Jan Zeman:
A competitive comparison of different types of evolutionary algorithms. - Marek Cygan, Marcin Pilipczuk:
Even Faster Exact Bandwidth. - Anna Kucerová, D. Brancherie, Adnan Ibrahimbegovic, Jan Zeman, Z. Bittnar:
Novel anisotropic continuum-discrete damage model capable of representing localized failure of massive structures. Part II: identification from tests under heterogeneous stress field. - Anna Kucerová, Matej Leps, Jan Zeman:
Back analysis of microplane model parameters using soft computing methods. - Markus Bläser, Christian Hoffmann:
Fast computation of interlace polynomials on graphs of bounded treewidth. - Pierre Charbit, Fabien de Montgolfier, Mathieu Raffinot:
A Simple Linear Time Split Decomposition Algorithm of Undirected Graphs. - Seyed Saeed Changiz Rezaei, Shahab Oveis Gharan, Amir K. Khandani:
A New Achievable Rate for the Gaussian Parallel Relay Channel. - Robert Elsässer, Thomas Sauerwald:
Cover Time and Broadcast Time. - Yousra Chabchoub, Christine Fricker, Fabrice Guillemin, Philippe Robert:
A Robust Statistical Estimation of Internet Traffic. - Gianni Franceschini, Roberto Grossi, S. Muthukrishnan:
Optimal cache-aware suffix selection. - Christian Schlegel, Shuai Zhang:
On the Dynamics of the Error Floor Behavior in (Regular) LDPC Codes. - David P. Ellerman:
Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory. - Shipra Agrawal, Yichuan Ding, Amin Saberi, Yinyu Ye:
Distributionally Robust Stochastic Programming with Binary Random Variables. - Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo:
Matrix Graph Grammars with Application Conditions. - Stéphane Devismes, Franck Petit, Sébastien Tixeuil:
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. - Stefan Kratsch:
Polynomial Kernelizations for $\MINF_1$ and $\MNP$. - Farrokh Marvasti, Arash Amini, Farzan Haddadi, Mahdi Soltanolkotabi, Babak Hossein Khalaj, Akram Aldroubi, Sverre Holm, Saeid Sanei, Jonathon A. Chambers:
A Unified Approach to Sparse Signal Processing. - Pascal Koiran, Sylvain Perifel:
A Superpolynomial Lower Bound on the Size of Uniform Non-constant-depth Threshold Circuits for the Permanent. - Fabian Kuhn:
Local Multicoloring Algorithms: Computing a Nearly-Optimal TDMA Schedule in Constant Time. - Kaninda Musumbu:
Abstraction and Refinement in Static Model-Checking. - Markus Wittmann, Georg Hager:
A Proof of Concept for Optimizing Task Parallelism by Locality Queues. - Nitin Vats:
NNRU, a noncommutative analogue of NTRU. - Hai Zhuge, Junsheng Zhang:
Topological Centrality and Its Applications. - Federico Penna, Roberto Garello, Maurizio A. Spirito:
Cooperative Spectrum Sensing based on the Limiting Eigenvalue Ratio Distribution in Wishart Matrices. - Jiaping Liu, Yung Yi, Alexandre Proutière, Mung Chiang, H. Vincent Poor:
Convergence and Tradeoff of Utility-Optimal CSMA. - Mohammad H. Kayvanrad, Dornoosh Zonoobi, Ashraf A. Kassim:
Modified Papoulis-Gerchberg algorithm for sparse signal recovery. - Lutz Schröder, Dirk Pattinson:
Strong Completeness of Coalgebraic Modal Logics. - Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren:
Polynomial Size Analysis of First-Order Shapely Functions. - Abuzer Yakaryilmaz, A. C. Cem Say:
Quantum Finite Automata with One-Sided Unbounded Error. - Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. - Vincent Gripon, Olivier Serre:
Qualitative Concurrent Games with Imperfect Information. - Valentin Goranko, Dmitry Shkatov:
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic. - Xavier Leroy:
A formally verified compiler back-end. - Juraj Hromkovic, Georg Schnitger:
Ambiguity and Communication. - Marius Zimand:
Extracting the Kolmogorov Complexity of Strings and Sequences from Sources with Limited Independence.