default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, November 2010
- Rohit Aggarwal, Mohamad Assaad, Can Emre Koksal, Philip Schniter:
Optimal Joint Scheduling and Resource Allocation in OFDMA Downlink Systems with Imperfect Channel-State Information. - B. D. Johnson, James P. Crutchfield, Christopher J. Ellison, Carl S. McTague:
Enumerating Finitary Processes. - Byron Boots, Geoffrey J. Gordon:
Predictive State Temporal Difference Learning. - Rina Panigrahy:
A non-expert view on Turing machines, Proof Verifiers, and Mental reasoning. - Gabriel Ciobanu, Maciej Koutny:
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. EPTCS 40, 2010 [contents] - Jean Cardinal, Marek Karpinski, Richard Schmied, Claus Viehmann:
Approximating Subdense Instances of Covering Problems. - M. Emre Celebi:
Fast Color Quantization Using Weighted Sort-Means Clustering. - Katya Scheinberg, Shiqian Ma, Donald Goldfarb:
Sparse Inverse Covariance Selection via Alternating Linearization Methods. - Till Mossakowski, Reinhard Moratz:
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. - Nir Ailon:
Query Efficient PTAS for Minimum Feedback Arc-Set in Tournaments. - Zhengping Fan, Guanrong Chen, Yunong Zhang:
Using topological characteristics to evaluate complex network models can be misleading. - Michel A. Reniers, Tim A. C. Willemse:
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. - L. F. Johnson:
Golden and Alternating, fast simple O(lg n) algorithms for Fibonacci. - Varsha Dani, Cristopher Moore:
Independent sets in random graphs from the weighted second moment method. - Sahin Emrah Amrahov, Orhan A. Nooraden:
A Distributed AI Aided 3D Domino Game. - Sahin Emrah Amrahov, Fatih Aybar, Serhat Dogan:
Prunnig Algorithm of Generation a Minimal Set of Rule Reducts Based on Rough Set Theory. - Mark McLaughlin, Gerard Briscoe, Paul Malone:
Digital Identity in The Absence of Authorities: A New Socio-Technical Approach. - (Withdrawn) Network Diversity and Economic Development: a Comment.
- Stéphane Demri:
On Selective Unboundedness of VASS. 1-15 - Hanifa Boucheneb
, Kamel Barkaoui:
On interleaving in {P,A}-Time Petri nets with strong semantics. 17-31 - Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. 33-46 - Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Decidable Characterization of a Graphical Pi-calculus with Iterators. 47-61 - Bernard Boigelot, Julien Brusten, Jean-François Degbomont:
Implicit Real Vector Automata. 63-76 - Nathalie Bertrand, Christophe Morvan:
Probabilistic regular graphs. 77-90 - Étienne André:
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. 91-99 - Weiming Liu, Sanjiang Li:
Reasoning about Cardinal Directions between Extended Objects: The Hardness Result. - Sisir Koppaka, Dheevatsa Mudigere, Srihari Narasimhan, Babu Narayanan:
Fast Histograms using Adaptive CUDA Streams. - Sangeeta Soni, Yogendra Namjoshi:
Delineation of Raw Plethysmograph using Wavelets for Mobile based Pulse Oximeters. - Albert Xin Jiang, Kevin Leyton-Brown:
Polynomial-time Computation of Exact Correlated Equilibrium in Compact Games. - Chih-Hong Cheng, Harald Ruess, Alois C. Knoll, Christian Buckl:
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems. - Rosziati Ibrahim, Siow Yen yen:
Formalization of the data flow diagram rules for consistency check. - Majid Taghiloo, Mohammad Ali Agheli, Mohammad Reza Rezaeinezhad:
Mobile Based Secure Digital Wallet for Peer to Peer Payment System. - Rosziati Ibrahim:
From UML Specification into Implementation using Object Mapping. - Nayyar Mehmood, Imran Haider Qureshi:
Intuitionistic Fuzzy Ideal Extensions of Γ-Semigroups. - Siddharth Gupta, Narina Thakur:
Semantic Query Optimisation with Ontology Simulation. - Johannes Gütschow, Vincent Nesme, Reinhard F. Werner:
The fractal structure of cellular automata on Abelian groups. - Soumadip Ghosh, Sushanta Biswas, Debasree Sarkar, Partha Pratim Sarkar:
Mining Frequent Itemsets Using Genetic Algorithm. - (Withdrawn) Imitation learning of motor primitives and language bootstrapping in robots.
- Baris Baykant Alagöz:
Effects of Sequence Partitioning on Compression Rate. - Michael Sagraloff:
On the Complexity of Real Root Isolation. - Laszlo Juracz:
Developing courses with HoloRena, a framework for scenario- and game based e-learning environments. - Pooya Hatami, Raghav Kulkarni, Denis Pankratov:
Variations on the Sensitivity Conjecture. - Krishnan Kumar, J. Nafeesa Begum, V. Sumathy:
A Novel Approach Towards Cost Effective Region-Based Group Key Agreement Protocol for Peer - to - Peer Information Sharing in Mobile Ad Hoc Networks. - Marko A. Rodriguez, Peter Neubauer:
A Path Algebra for Multi-Relational Graphs. - Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Markov Games. - Sara Miner More, Pavel Naumov:
Functional Dependence of Secrets in a Collaboration Network. - Samir E. AbdelRahman, Basma Hassan, Reem Bahgat:
A New Email Retrieval Ranking Approach. - Jacob Bien, Ya Xu, Michael W. Mahoney:
CUR from a Sparse Optimization Viewpoint. - Alexei Lisitsa:
Finite Model Finding for Parameterized Verification. - Mihail N. Kolountzakis, Gary L. Miller, Richard Peng, Charalampos E. Tsourakakis:
Efficient Triangle Counting in Large Graphs via Degree-based Vertex Partitioning. - Xinhua Zhang, Ankan Saha, S. V. N. Vishwanathan:
Regularized Risk Minimization by Nesterov's Accelerated Gradient Methods: Algorithmic Extensions and Empirical Studies. - Mireille Sarkiss, Ghaya Rekaya-Ben Othman, Mohamed Oussama Damen, Jean-Claude Belfiore:
Construction of New Delay-Tolerant Space-Time Codes. - Andrew Phillips, Matthew R. Lakin, Loïc Paulevé:
Stochastic Simulation of Process Calculi for Biology. 1-5 - Giorgio Bacci, Marino Miculan:
Measurable Stochastics for Brane Calculus. 6-22 - Richard Banks, L. Jason Steggles:
An Abstraction Theory for Qualitative Models of Biological Systems. 23-38 - Yifei Bao, Adriana B. Compagnoni, Joseph Glavy, Tommy White:
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors. 39-53 - Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini:
Aspects of multiscale modelling in a process algebra for biological systems. 54-69 - Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Bone Remodelling with Spatial P Systems. 70-84 - Giulio Caravagna, Jane Hillston:
Modeling biological systems with delays in Bio-PEPA. 85-101 - Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Hybrid Calculus of Wrapped Compartments. 102-120 - Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu:
Edge- and Node-Disjoint Paths in P Systems. 121-141 - Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov:
Lumpability Abstractions of Rule-based Systems. 142-161 - Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. 162-177 - Samir E. AbdelRahman, Basma Hassan, Reem Bahgat:
A New Email Retrieval Ranking Approach. - Manoj Kumar, Sandeep Kumar Arya, Sujata Pandey:
Level Shifter Design for Low Power Applications. - Laurent Romary:
Stabilizing knowledge through standards - A perspective for the humanities. - A. Balu, Kuppusamy Krishnamoorthy:
Ciphertext Policy Attribute based Encryption with anonymous access policy. - Andrej Bogdanov, Fan Li:
A better tester for bipartiteness? - R. Kalaiarasi, Getsy S. Sara, S. Neelavathy Pari, D. Sridharan:
Performance Analysis of Contention Window Cheating Misbehaviors in Mobile Ad Hoc Networks. - Pierre Ganty, Rupak Majumdar:
Algorithmic Verification of Asynchronous Programs. - Hitesh Tahbildar, Bichitra Kalita:
Heuristic Approach of Automated Test Data Generation for Program having Array of Different Dimensions and Loops with Variable Number of Iteration. - Ayan Chaudhury, Abhishek Gupta, Sumita Manna, Subhadeep Mukherjee, Amlan Chakrabarti:
Multiple View Reconstruction of Calibrated Images using Singular Value Decomposition. - (Withdrawn) Parallelization of Weighted Sequence Comparison by using EBWT.
- Tim A. Majchrzak:
Improving the Technical Aspects of Software Testing in Enterprises. - Julie M. David, Kannan Balakrishnan:
Significance of Classification Techniques in Prediction of Learning Disabilities. - Mekkia Kouider:
Stability number and f-factors in graphs. - M. Emre Celebi, Hitoshi Iyatomi, Gerald Schaefer, William V. Stoecker:
Lesion Border Detection in Dermoscopy Images. - Ching-Lueh Chang:
On reversible cascades in scale-free and Erdős-Rényi random graphs. - Stéphane Ross, Geoffrey J. Gordon, J. Andrew Bagnell:
No-Regret Reductions for Imitation Learning and Structured Prediction. - Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness. - Zach Miller, Daniel C. Bradley, Todd Tannenbaum, Igor Sfiligoi:
Flexible Session Management in a Distributed Environment. - Nikolai Todorov Stoianov, Veselin Tsenov Tselkov:
E-Net Models of a Software System for Web Pages Security SECURITY. - Chong Han, Ido Nevat, Gareth W. Peters, Jinhong Yuan:
Gaussian Process Techniques for Wireless Communications. - Beatrice Cynthia Dhinakaran, Dhinaharan Nagamalai, Jae-Kwang Lee:
An Empirical Study of Spam and Spam Vulnerable email Accounts. - P. Bhargavi, S. Jyothi:
Soil Classification Using GATree. - Ziheng Lin, Hwee Tou Ng, Min-Yen Kan:
A PDTB-Styled End-to-End Discourse Parser. - Jianguo Ding:
Probabilistic Inferences in Bayesian Networks. - Priyankar Ghosh, Pallab Dasgupta:
Detecting Ontological Conflicts in Protocols between Semantic Web Services. - Manuel Cebrián, Manuel Alfonseca, Alfonso Ortega:
Overcoming Problems in the Measurement of Biological Complexity. - Olivier Togni:
On Packing Colorings of Distance Graphs. - Guillaume Chèze:
A recombination algorithm for the decomposition of multivariate rational functions. - Louise Pryor:
What's the point of documentation? - Dai Tri Man Le:
On Three Alternative Characterizations of Combined Traces. - Srimal Jayawardena, Marcus Hutter, Nathan Brewer:
Featureless 2D-3D Pose Estimation by Minimising an Illumination-Invariant Loss. - Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report). - Mortuza Ali, Margreta Kuijper:
A parametric approach to list decoding of Reed-Solomon codes using interpolation. - Xin Liu, Tsuyoshi Murata:
Detecting Communities in Tripartite Hypergraphs. - Beatrice Cynthia Dhinakaran, Dhinaharan Nagamalai, Jae-Kwang Lee:
Characterizing Spam traffic and Spammers. - Ajesh Babu, Jaikumar Radhakrishnan:
An entropy based proof of the Moore bound for irregular graphs. - Shuqin Li, Jianwei Huang:
Revenue Maximization for Communication Networks with Usage-Based Pricing. - Oleg Chertov, Dan Tavrov:
Group Anonymity. - Oleg Chertov, Dan Tavrov:
Providing Group Anonymity Using Wavelet Transform. - Oleg Chertov, Dan Tavrov:
Group Anonymity: Problems and Solutions. - Oleg Chertov, Dan Tavrov:
Providing Data Group Anonymity Using Concentration Differences. - Oleg Chertov, Dan Tavrov:
Data Group Anonymity: General Approach. - Jian Liu, Dah Ming Chiu:
Reciprocating Preferences Stablize Matching: College Admissions Revisited. - Laurent Bulteau, Guillaume Fertin, Irena Rusu:
Sorting by Transpositions is Difficult. - Sudipto Guha, Kamesh Munagala, Martin Pal:
Iterated Allocations with Delayed Feedback. - Ola Svensson:
Santa Claus Schedules Jobs on Unrelated Machines. - Julian Gutierrez:
Logics and Games for True Concurrency. - Christian Walder:
Rank k Cholesky Up/Down-dating on the GPU: gpucholmodV0.2. - Abuzer Yakaryilmaz, Rusins Freivalds, A. C. Cem Say, Ruben Agadzanyan:
Quantum computation with devices whose contents are never read. - Alexandru Popa, Prudence W. H. Wong, Fencol C. C. Yung:
Hardness and Approximation of The Asynchronous Border Minimization Problem. - Fangfang Zhu, Xiaohu Shang, Biao Chen, H. Vincent Poor:
On the Capacity of Multiple-Access-Z-Interference Channels. - Yen-Wei Huang, Pierre Moulin:
On the Saddle-point Solution and the Large-Coalition Behavior of Fingerprinting Games. - Alexandr Andoni, Robert Krauthgamer, Krzysztof Onak:
Streaming Algorithms from Precision Sampling. - Thomas Holenstein, Robin Künzler, Stefano Tessaro:
Equivalence of the Random Oracle Model and the Ideal Cipher Model, Revisited. - Michele Castellana, Lenka Zdeborová:
Adversarial Satisfiability Problem. - Christos H. Papadimitriou, George Pierrakos:
On Optimal Single-Item Auctions. - Ulrich Faigle, Alexander Schönhuth:
Discrete Quantum Markov Chains. - Anupam Gupta, Moritz Hardt, Aaron Roth, Jonathan R. Ullman:
Privately Releasing Conjunctions and the Statistical Query Barrier. - Xiaoxiao Yang:
Probabilistic Model Checking for Propositional Projection Temporal Logic. - Dominique Duval:
Deduction as Reduction. - René David:
A short proof that adding some permutation rules to β preserves SN. - Peter Becker:
Optimal Binary Search Trees with Near Minimal Height. - Britta Dorn, Ildikó Schlotter:
Multivariate Analyis of Swap Bribery. - (Withdrawn) Probabilistic Sinr Constrained Robust Transmit Beamforming: A Bernstein-Type Inequality Based Conservative Approach.
- Peter Bürgisser, Christian Ikenmeyer:
Geometric Complexity Theory and Tensor Rank. - Trung Quang Duong, Chau Yuen, Hans-Jürgen Zepernick, Xianfu Lei:
Average Sum-Rate of Distributed Alamouti Space--Time Scheme in Two-Way Amplify-and-Forward Relay Networks. - A. A. Krizhanovsky:
Transformation of Wiktionary entry structure into tables and relations in a relational database schema. - Arpita Ghosh, Aaron Roth:
Selling Privacy at Auction. - Xuan Guang, Fang-Wei Fu, Zhen Zhang:
Construction of Network Error Correction Codes in Packet Networks. - Velimir M. Ilic, Dejan I. Mancev, Branimir Todorovic, Miomir S. Stankovic:
Gradient Computation In Linear-Chain Conditional Random Fields Using The Entropy Message Passing Algorithm. - Rajiv Soundararajan, Sriram Vishwanath:
Quantization using Compressive Sensing. - Sean Crowell, S. Lakshmivarahan:
Forecast Bias Correction: A Second Order Method. - Nagalingam Mahendran, G. Gurusamy:
Fuzzy Controller for Matrix Converter System to Improve its Quality of Output. - Jaydip Sen:
A Survey on Wireless Sensor Network Security.