default search action
CoRR, June 2011
- Mohit Thakur, Nadia Fawaz, Muriel Médard:
On the geometry of wireless network multicast in 2-D. - Thomas A. Courtade, Richard D. Wesel:
Multiterminal Source Coding with an Entropy-Based Distortion Measure. - Matthew Steen, Satoru Hayasaka, Karen E. Joyce, Paul J. Laurienti:
Assessing the consistency of community structure in complex networks. - Jiadong Wang, Lara Dolecek, Zhengya Zhang, Richard D. Wesel:
Absorbing Set Spectrum Approach for Practical Code Design. - Zhenliang Zhang, Ali Pezeshki, William Moran, Stephen D. Howard, Edwin K. P. Chong:
Error Probability Bounds for Binary Relay Trees with Crummy Sensors. - Aravind R. Iyengar, Paul H. Siegel, Jack K. Wolf:
Modeling and Information Rates for Synchronization Error Channels. - Aravind R. Iyengar, Paul H. Siegel, Rüdiger L. Urbanke, Jack K. Wolf:
Windowed Decoding of Spatially Coupled Codes. - Kazushi Mimura:
Generating Functional Analysis of Iterative Algorithms for Compressed Sensing. - John Jomy, K. V. Pramod, Kannan Balakrishnan:
Handwritten Character Recognition of South Indian Scripts: A Review. - Shenghui Su, Shuwang Lü, Xinbin Fan:
Asymptotic Granularity Reduction and Its Application. - Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada:
The BG-simulation for Byzantine Mobile Robots. - Peyman Razaghi, Giuseppe Caire:
A Nonlinear Approach to Interference Alignment. - Juan Julián Merelo Guervós, Maribel García Arenas, Juan Luis Jiménez Laredo, Francisco Fernández de Vega:
1st International Workshop on Distributed Evolutionary Computation in Informal Environments. - Marcel Wild:
Counting or producing all fixed cardinality transversals. - Mofreh R. Zaghloul, Ahmed N. Ali:
Algorithm xxx: computing the Faddeyeva and Voigt functions. - Mikolaj Szydlarski
, Pierre Estérie, Joel Falcou, Laura Grigori, Radek Stompor:
Spherical harmonic transform on heterogeneous architectures using hybrid programming. - Gilberto de Paiva:
Proposal of Pattern Recognition as a necessary and sufficient Principle to Cognitive Science. - Xiaojun Yuan, Li Ping, Aleksandar Kavcic:
Achievable Rates of MIMO Systems with Linear Precoding and Iterative LMMSE Detection. - A. E. Eiben, N. Ferreira, Martijn C. Schut, Serge Kernbach:
Evolution of Things. - Alexander Gamkrelidze:
Algorithms for Low-Dimensional Topology. - Philipp Schaer:
Using Lotkaian Informetrics for Ranking in Digital Libraries. - Elazar Birnbaum, Eliezer L. Lozinskii:
The Good Old Davis-Putnam Procedure Helps Counting Models. - Carla E. Brodley, Mark A. Friedl:
Identifying Mislabeled Training Data. - Shlomo Argamon-Engelson, Ido Dagan:
Committee-Based Sample Selection for Probabilistic Classifiers. - John J. Grefenstette, David E. Moriarty, Alan C. Schultz:
Evolutionary Algorithms for Reinforcement Learning. - Wolfram Burgard, Dieter Fox, Sebastian Thrun:
Markov Localization for Mobile Robots in Dynamic Environments. - Hans Akkermans, Fredrik Ygge:
Decentralized Markets versus Central Control: A Comparative Study. - Riccardo Rosati:
Reasoning about Minimal Belief and Negation as Failure. - Reuven Bar-Yehuda, Ann Becker, Dan Geiger:
Randomized Algorithms for the Loop Cutset Problem. - Rune Møller Jensen, Manuela M. Veloso:
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains. - Subbarao Kambhampati:
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan. - Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Space Efficiency of Propositional Knowledge Representation Formalisms. - Milos Hauskrecht:
Value-Function Approximations for Partially Observable Markov Decision Processes. - Gal A. Kaminka, Milind Tambe:
Robust Agent Teams via Socially-Attentive Monitoring. - Radford M. Neal:
On Deducing Conditional Independence from d-Separation in Causal Graphs with Feedback (Research Note). - Alexander Borgida, Ralf Küsters:
What's in an Attribute? Consequences for the Least Common Subsumer. - Stephan Tobies:
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. - Ian P. Gent, Josh Singer, Alan Smaill:
Backbone Fragility and the Local Search Cost Peak. - Marilyn A. Walker:
An Application of Reinforcement Learning to Dialogue Strategy Selection in a Spoken Dialogue System for Email. - Judy Goldsmith, Christopher Lusena, Martin Mundhenk:
Nonapproximability Results for Partially Observable Markov Decision Processes. - Jana Koehler, Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. - Diana F. Gordon:
Asimovian Adaptive Agents. - Jonathan Baxter:
A Model of Inductive Bias Learning. - Chiru Bhattacharyya, S. Sathiya Keerthi:
Mean Field Methods for a Special Class of Belief Networks. - Bernhard Nebel:
On the Compilability and Expressive Power of Propositional Planning Formalisms. - Chumki Basu, William W. Cohen, Haym Hirsh, Craig G. Nevill-Manning:
Technical Paper Recommendation: A Study in Combining Multiple Information Sources. - Craig Boutilier, Ronen I. Brafman:
Partial-Order Planning with Concurrent Interacting Actions. - José Luis Ambite, Craig A. Knoblock:
Planning by Rewriting. - Nevin Lianwen Zhang, Weihong Zhang:
Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes. - Alessandro Cimatti, Marco Roveri:
Conformant Planning via Symbolic Model Checking. - Jian Cheng, Marek J. Druzdzel:
AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks. - Xinguang Chen, Peter van Beek:
Conflict-Directed Backjumping Revisited. - Jeffrey Mark Siskind:
Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic. - Richard Maclin, David W. Opitz:
Popular Ensemble Methods: An Empirical Study. - Ahmed A. Naguib, Khaled M. F. Elsayed, Mohammed Nafie:
Achievable Degrees of Freedom of the K-user Interference Channel with Partial Cooperation. - Eik Fun Khor, Tong Heng Lee, Ramasubramanian Sathikannan, Kay Chen Tan:
An Evolutionary Algorithm with Advanced Goal and Priority Specification for Multi-objective Optimization. - Ioannis Refanidis, Ioannis P. Vlahavas:
The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning. - Jesús Pardillo, Jose-Norberto Mazón:
Using Ontologies for the Design of Data Warehouses. - Andrew Adamatzy:
Slime mould computes planar shapes. - Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis:
Arenas of Finite State Machines. - Rumi Ghosh, Tawan Surachawala, Kristina Lerman:
Entropy-based Classification of 'Retweeting' Activity on Twitter. - Mohamad Tarifi, Meera Sitharam, Jeffery Ho:
Learning Hierarchical Sparse Representations using Iterative Dictionary Learning and Dimension Reduction. - Wei Pan, Nadav Aharony, Alex Pentland:
Composite Social Network for Predicting Mobile Apps Installation. - Khanh Do Ba, Piotr Indyk, Eric Price, David P. Woodruff:
Lower Bounds for Sparse Recovery. - Ashraf A. Aly, Safaai Bin Deris, Nazar Zaki:
A Novel Image Segmentation Enhancement Technique based on Active Contour and Topological Alignments. - Amos Lapidoth, Yossef Steinberg:
A Note on Multiple-Access Channels with Strictly-Causal State Information. - Arno Bastenhof:
Focalization and phase models for classical extensions of non-associative Lambek calculus. - Alvaro Francisco Huertas-Rosero, C. J. van Rijsbergen:
Quantum-Like Uncertain Conditionals for Text Analysis. - Vincenzo Bonifaci, Kurt Mehlhorn, Girish Varma:
Physarum Can Compute Shortest Paths. - Venkatesan Guruswami:
Linear-algebraic list decoding of folded Reed-Solomon codes. - Wenji Wu, Phil DeMar, Matt Crawford:
Why Does Flow Director Cause Packet Reordering? - Wenji Wu, Matt Crawford, Phil DeMar:
A Transport-Friendly NIC for Multicore/Multiprocessor Systems. - Umut A. Acar, Guy E. Blelloch, Robert Harper:
Selective Memoization. - Luc Devroye, James King:
Random hyperplane search trees in high dimensions. - Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
From Boolean Functional Equations to Control Software. - Umut A. Acar, Matthias Blume, Jacob Donham:
A Consistent Semantics of Self-Adjusting Computation. - Xaq Pitkow, Yashar Ahmadian, Kenneth D. Miller:
Learning unbelievable marginal probabilities. - Ahmad Abu Al Haija, Mai Vu:
A Half-Duplex Cooperative Scheme with Partial Decode-Forward Relaying. - Serhat Nazim Avci, Xiaodan Hu, Ender Ayanoglu:
Recovery from Link Failures in Networks with Arbitrary Topology via Diversity Coding. - Mahdi Cheraghchi, Adam R. Klivans, Pravesh Kothari, Homin K. Lee:
Submodular Functions Are Noise Stable. - Yang Cai, Constantinos Daskalakis:
Extreme-Value Theorems for Optimal Multidimensional Pricing. - Seong-Ho (Paul) Hur, Bhaskar D. Rao:
Sum rate analysis of a reduced feedback OFDMA system employing joint scheduling and diversity. - Tianshi Chen, Yunji Chen, Ke Tang, Guoliang Chen, Xin Yao:
The Impact of Mutation Rate on the Computation Time of Evolutionary Dynamic Optimization. - Matteo Cristani:
The Complexity of Reasoning about Spatial Congruence. - Peter L. Bartlett, Jonathan Baxter:
Infinite-Horizon Policy-Gradient Estimation. - Peter L. Bartlett, Jonathan Baxter, Lex Weaver:
Experiments with Infinite-Horizon, Policy-Gradient Estimation. - Umberto Straccia:
Reasoning within Fuzzy Description Logics. - Tapio Elomaa, Matti Kääriäinen:
An Analysis of Reduced Error Pruning. - Matthew L. Ginsberg:
GIB: Imperfect Information in a Computationally Challenging Game. - Christian Bessiere, Romuald Debruyne:
Domain Filtering Consistencies. - Hung Hai Bui, Svetha Venkatesh, Geoff A. W. West:
Policy Recognition in the Abstract Hidden Markov Model. - Patricio Martínez-Barco, Manuel Palomar:
Computational Approach to Anaphora Resolution in Spanish Dialogues. - Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. - Michael J. Kearns, Diane J. Litman, Satinder Singh, Marilyn A. Walker:
Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System. - Michael J. Kearns, Michael L. Littman, Satinder Singh, Peter Stone:
ATTac-2000: An Adaptive Autonomous Bidding Agent. - Bernhard Nebel, Jochen Renz:
Efficient Methods for Qualitative Spatial Reasoning. - Leslie Pack Kaelbling, Hagit Shatkay:
Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap. - Craig Boutilier, Bob Price:
Accelerating Reinforcement Learning through Implicit Imitation. - Matt Groff:
Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields. - Dusko Pavlovic, Catherine Meadows:
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions. - Hangen He, Dewen Hu, Xin Xu:
Efficient Reinforcement Learning Using Recursive Least-Squares Methods. - Arun Kumar, Christopher Ré:
Probabilistic Management of OCR Data using an RDBMS. - Liangbin Li, Hamid Jafarkhani:
Short-term Performance Limits of MIMO Systems with Side Information at the Transmitter. - Dongyue Xue, Eylem Ekici:
Cross-Layer Scheduling for Cooperative Multi-Hop Cognitive Radio Networks. - Lei Yang, Yalin Evren Sagduyu, Junshan Zhang, Jason Hongjun Li:
Distributed Stochastic Power Control in Ad-hoc Networks: A Nonconvex Case. - R. Michael Winters, Andrew Blaikie, Deva O'Neil:
Simulating the Electroweak Phase Transition: Sonification of Bubble Nucleation. - Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. - Oliver Friedmann:
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms. - Quan-Lin Li:
Super-Exponential Solution in Markovian Supermarket Models: Framework and Challenge. - Giovanna D'Agostino, Salvatore La Torre:
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. EPTCS 54, 2011 [contents] - Oleg Kupervasser:
Recovering Epipolar Geometry from Images of Smooth Surfaces. - Yin Sun, Xiaofeng Zhong, Tsung-Hui Chang, Shidong Zhou, Jing Wang, Chong-Yung Chi:
Spectrum Sharing between Cooperative Relay and Ad-hoc Networks: Dynamic Spectrum Access, Resource Allocation and Real-time Implementation. - Taesoo Kwon, John M. Cioffi:
Random Deployment of Data Collectors for Serving Randomly-Located Sensors. - Sayed A. Hadei, Paeiz Azmi:
A Novel Adaptive Channel Equalization Method Using Variable Step-Size Partial Rank Algorithm. - Sayed A. Hadei, N. Sonbolestan:
A Fast Affine Projection Algorithm Based on Matching Pursuit in Adaptive Noise Cancellation for Speech Enhancement. - Sayed A. Hadei, Mojtaba Lotfizad:
A Family of Adaptive Filter Algorithms in Noise Cancellation for Speech Enhancement. - Wajeb Gharibi, Yong Xia:
A Dual Approach for Solving Nonlinear Infinite-Norm Minimization Problems with Applications in Separable Cases. - Wajeb Gharibi:
Studying and Classification of the Most Significant Malicious Software. - Eyal Ackerman, Tsachik Gelander, Rom Pinchasi:
Ice-Creams and Wedge Graphs. - Amani Tahat, Mofleh Tahat:
Python GUI Scripting Interface for Running Atomic Physics Applications. - Vineeth S. Varma, Mérouane Debbah, Samson Lasaulce, Salah-Eddine Elayoubi:
Impact of Mobility on MIMO Green Wireless Systems. - Brad Shutters, David Fernández-Baca:
A Simple Characterization of the Minimal Obstruction Sets for Three-State Perfect Phylogenies. - (Withdrawn) Performance Analysis of Sequential Method for HandOver in Cognitive Radio Networks.
- Iddo Naiss, Haim H. Permuter:
Computable Bounds for Rate Distortion with Feed-Forward for Stationary and Ergodic Sources. - Joel Reardon, Claudio Marforio, Srdjan Capkun, David A. Basin:
Secure Deletion on Log-structured File Systems. - Herodotos Herodotou:
Hadoop Performance Models. - Mohammad Hamed Firooz, Sumit Roy:
Link Delay Estimation via Expander Graphs. - Feng Yang, Yue M. Lu, Luciano Sbaiz, Martin Vetterli:
Gigapixel Binary Sensing: Image Acquisition Using Oversampled One-Bit Poisson Statistics. - Saeed Alaei:
Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many Buyers. - Kaushik Chattopadhyay, Joydeep Basu, Amit Konar:
An efficient circle detection scheme in digital images using ant system algorithm. - Arijit Ukil, Jaydip Sen, Debasish Bera:
Long-Term Proportional Fair QoS Profile Follower Sub-carrier Allocation Algorithm in Dynamic OFDMA Systems. - Junping Zhang, Ziyu Xie, Stan Z. Li:
Nearest Prime Simplicial Complex for Object Recognition. - Abdel Kader Zaiter, Philippe Wenger, Damien Chablat:
A study of the singularity locus in the joint space of planar parallel manipulators: special focus on cusps and nodes. - Ronit Bustin, Shlomo Shamai:
MMSE of "Bad" Codes. - Gregory Z. Gutin, Anders Yeo:
Hypercontractive Inequality for Pseudo-Boolean Functions of Bounded Fourier Width. - Bradly Alicea:
Naturally Supervised Learning in Manipulable Technologies. - Alejandro Chinea, Elka Korutcheva:
Complexity Analysis of Vario-eta through Structure. - Lane A. Hemaspaandra, Kyle Murray, Xiaoqing Tang:
Barbosa, Uniform Polynomial Time Bounds, and Promises. - Shakir Mohamed, Katherine A. Heller, Zoubin Ghahramani:
Bayesian and L1 Approaches to Sparse Unsupervised Learning. - Angelos A. Anastassi:
Constructing Runge-Kutta Methods with the Use of Artificial Neural Networks. - Bowon Lee, Camille Goudeseune, Mark Hasegawa-Johnson:
Open-loop multi-channel inversion of room impulse response. - (Withdrawn) Stability Analysis of Linear Time-Invariant Distributed-Order Systems.
- (Withdrawn) Stability of fractional-order linear time-invariant system with noncommensurate orders.
- Shai Shalev-Shwartz, Ohad Shamir, Eran Tromer:
Using More Data to Speed-up Training Time. - (Withdrawn) Impulse response of a generalized fractional second order filter.
- (Withdrawn) Robust stability for fractional-order systems with structured and unstructured uncertainties.
- (Withdrawn) Sufficient and Necessary Condition of Admissibility for Fractional-order Singular System.
- Yoad Lustig, Moshe Y. Vardi:
Synthesis from Recursive-Components Libraries. 1-16 - Christian Appold:
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations. 17-30 - Stefan Haar, Christian Kern, Stefan Schwoon:
Computing the Reveals Relation in Occurrence Nets. 31-44 - Federico Buti, Massimo Callisto De Donato
Automated Analysis of MUTEX Algorithms with FASE. 45-59 - Krishnendu Chatterjee, Nathanaël Fijalkow
A reduction from parity games to simple stochastic games. 74-86 - Bastien Maubert
Opacity Issues in Games with Imperfect Information. 87-101 - Makoto Tatsuta, Ferruccio Damiani
Type Inference for Bimorphic Recursion. 102-115 - Zhilin Wu:
A Decidable Extension of Data Automata. 116-130 - Sten Grüner, Frank G. Radmacher, Wolfgang Thomas:
Connectivity Games over Dynamic Networks. 131-145 - Martin Zimmermann
Optimal Bounds in Parametric LTL Games. 146-161 - Laura Bozzelli:
New results on pushdown module checking with imperfect information. 162-177 - Rüdiger Ehlers
Reactive Safety. 178-191 - Davide Bresolin
An Optimal Decision Procedure for MPNL over the Integers. 192-206 - Markus Latte:
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages. 207-221 - Giacomo Lenzi:
On P-transitive graphs and applications. 222-236 - Davide Bresolin
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems. 237-249 - Olga Tveretina, Daniel Funke:
Deciding Reachability for 3-Dimensional Multi-Linear Systems. 250-262 - Massimo Benerecetti, Marco Faella, Stefano Minopoli:
Towards Efficient Exact Synthesis for Linear Hybrid Systems. 263-277 - Viveck R. Cadambe, Cheng Huang, Syed Ali Jafar, Jin Li:
Optimal Repair of MDS Codes in Distributed Storage via Subspace Interference Alignment. - Dah Ming Chiu, Wai Yin Ng:
Exploring Network Economics. - S. Rajeswari, Y. Venkataramani:
Traffic Performance Analysis of Manet Routing Protocol. - S. A. Arunmozhi, Y. Venkataramani:
DDoS Attack and Defense Scheme in Wireless Ad hoc Networks. - Phuong-Lan Nguyen, Bart Demoen:
Representation Sharing for Prolog. - Ivo Hedtke:
Methods of Matrix Multiplication: An Overview of Several Methods and their Implementation. - Chao Shen, Kun-Yu Wang, Tsung-Hui Chang, Zhengding Qiu, Chong-Yung Chi:
Worst-Case SINR Constrained Robust Coordinated Beamforming for Multicell Wireless Systems. - Javier Esparza, Andreas Gaiser:
Probabilistic Abstractions with Arbitrary Domains. - Jingchao Chen:
Exploiting Dynamically Propositional Logic Structures in SAT. - Jingchao Chen:
Phase Selection Heuristics for Satisfiability Solvers. - Dan Feldman, Michael Langberg:
A Unified Framework for Approximating and Clustering Data. - Mardavij Roozbehani, Munther A. Dahleh, Sanjoy K. Mitter:
Volatility of Power Grids under Real-Time Pricing. - David G. M. Mitchell, Ali Emre Pusane, Michael Lentmaier, Daniel J. Costello Jr.:
Exact Free Distance and Trapping Set Growth Rates for LDPC Convolutional Codes. - Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. - Emmanuel J. Candès, Benjamin Recht:
Simple Bounds for Low-complexity Model Reconstruction. - M. Andrea Rodríguez, Leopoldo E. Bertossi, Mónica Caniupán Marileo:
Consistent Query Answering under Spatial Semantic Constraints. - Mathieu Loiseau, Anthippi Potolia, Katerina Zourou:
Communautés Web 2.0 d'apprenants de langue avec parcours d'apprentissage : rôles, pédagogie et rapports au contenu. - Alex Shkotin, Vladimir Ryakhovsky, Dmitry Kudryavtsev:
Towards OWL-based Knowledge Representation in Petrology. - Francesco De Pellegrini, Karina Mabell Gomez, Daniele Miorandi, Imrich Chlamtac:
Distributed Wake-Up Scheduling for Energy Saving in Wireless Networks. - (Withdrawn) A Linear-Time Approximation of the Earth Mover's Distance.
- Daniel Hienert, Philipp Schaer, Johann Schaible, Philipp Mayr:
A Novel Combined Term Suggestion Service for Domain-Specific Digital Libraries. - Johan Nyström-Persson, Shinichi Honiden:
Poplar: A Java Extension for Evolvable Component Integration. - Ismaail ElSawy, Hossam Hosny, Mohammed Abdel Razek:
A Neural Network Model for Construction Projects Site Overhead Cost Estimating in Egypt. - Walayat Hussain, Osama Sohaib
Improving Web Page Readability by Plain Language. - Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida:
Scheduling links for heavy traffic on interfering routes in wireless mesh networks. - Omur Ozel, Kaya Tutuncuoglu, Jing Yang, Sennur Ulukus, Aylin Yener:
Transmission with Energy Harvesting Nodes in Fading Wireless Channels: Optimal Policies. - Shai Shalev-Shwartz, Alon Gonen, Ohad Shamir:
Large-Scale Convex Minimization with a Low-Rank Constraint. - Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Viveck R. Cadambe:
Repair Optimal Erasure Codes through Hadamard Designs. - Greg Ver Steeg, Aram Galstyan:
A Sequence of Relaxations Constraining Hidden Variable Models. - Megasthenis Asteris, Dimitris S. Papailiopoulos, George N. Karystinos:
Sparse Principal Component of a Rank-deficient Matrix. - Dimitris S. Papailiopoulos, Alexandros G. Dimakis:
Distributed Storage Codes through Hadamard Designs. - Mehmet Umut Sen, Hakan Erdogan:
Max-Margin Stacking and Sparse Regularization for Linear Classifier Combination and Selection. - Xiaomeng Liu, Hai Lin, Ben M. Chen:
Structural Controllability of Switched Linear Systems. - Yoshiharu Maeno:
Predicting growth fluctuation in network economy. - Mitsugu Iwamoto, Kazuo Ohta:
Security Notions for Information Theoretically Secure Encryptions. - Jan Oksanen, Jarmo Lundén, Visa Koivunen:
Reinforcement learning based sensing policy optimization for energy efficient cognitive radio networks. - John C. Baez, Tobias Fritz, Tom Leinster:
A Characterization of Entropy in Terms of Information Loss. - Chris Drummond:
Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks. - Yoshitaka Kameya, Taisuke Sato:
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. - Christopher Meek:
Finding a Path is Harder than Finding a Tree. - Jean-François Baget, Marie-Laure Mugnier:
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. - Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. - Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele:
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. - Eric Dahlman, Adele E. Howe:
A Critical Assessment of Benchmark Comparison in Planning. - Hosam Abdo, Darko Dimitrov, Ivan Gutman:
On the Zagreb Indices Equality. - Arnab Bhattacharya, B. Palvali Teja, Sourav Dutta:
Caching Stars in the Sky: A Semantic Caching Approach to Accelerate Skyline Queries. - Kevin W. Bowyer, Nitesh V. Chawla, Lawrence O. Hall, W. Philip Kegelmeyer:
SMOTE: Synthetic Minority Over-sampling Technique. - Hei Chan, Adnan Darwiche:
When do Numbers Really Matter? - Gal A. Kaminka, David V. Pynadath, Milind Tambe:
Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach. - Allen L. Gorin, Irene Langkilde-Geary, Marilyn A. Walker, Jeremy H. Wright, Helen Wright Hastie:
Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System. - Richard Nock:
Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms. - Adnan Darwiche, Pierre Marquis:
A Knowledge Compilation Map. - Regina Barzilay, Noemie Elhadad:
Inferring Strategies for Sentence Ordering in Multidocument News Summarization. - Kagan Tumer, David H. Wolpert:
Collective Intelligence, Data Routing and Braess' Paradox. - Carlos Guestrin, Daphne Koller, Ronald Parr, Shobha Venkataraman:
Efficient Solution Algorithms for Factored MDPs. - James D. Currie, Narad Rampersad:
Fixed points avoiding Abelian $k$-powers. - Guanfeng Liang, Nitin H. Vaidya:
Multiparty Equality and Byzantine Broadcast using Random Linear Codes in Point-to-Point Networks. - Guanfeng Liang, Nitin H. Vaidya:
New Efficient Error-Free Multi-Valued Consensus with Byzantine Failures. - Frédéric Herbreteau, B. Srivathsan:
Coarse abstractions make Zeno behaviours difficult to detect. - Kristen Lovejoy, Richard Waters, Gregory D. Saxton:
Engaging Stakeholders through Twitter: How Nonprofit Organizations are Getting More Out of 140 Characters or Less. - Ching-an Hsiao, Xinchun Tian:
Pe Algorithm: its past present, future present and comments. - Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran:
The MathScheme Library: Some Preliminary Experiments. - Vincent Padovani:
Ticket Entailment is decidable. - Ryo Nomura, Te Sun Han:
Second-Order Resolvability, Intrinsic Randomness, and Fixed-Length Source Coding for Mixed Sources. - Ali Jalali, Sujay Sanghavi:
Learning with Latent Factors in Time Series. - Joydeep Basu, Anirban Bhattacharya, Subha Chakraborty, T. K. Bhattacharyya:
A Comparative Study Between a Micromechanical Cantilever Resonator and MEMS-based Passives for Band-pass Filtering Application. - Vahid Majid Nezhad, Habib Motee Gader, Evgueni Efimov:
A Novel Hybrid Algorithm for Task Graph Scheduling. - Amar Prakash Azad:
Sleep Mode Analysis via Workload Decomposition. - Dario Bauso, Puduru Viswanadha Reddy:
Lyapunov stochastic stability and control of robust dynamic coalitional games with transferable utilities. - Charalampos E. Tsourakakis:
The Degree Sequence of Random Apollonian Networks. - Georg Böcherer, Rudolf Mathar:
Operating LDPC Codes with Zero Shaping Gap. - Lucian Trifina, Daniela G. Tarniceriu:
Analysis of cubic permutation polynomials for turbo codes. - Frederick Maier:
Interdefinability of defeasible logic and logic programming under the well-founded semantics. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity Region of Multiway Relay Channels Over Finite Fields with Full Data Exchange. - Khaled Masmoudi, Marc Antonini, Pierre Kornprobst:
Exact Reconstruction of the Rank Order Coding using Frames Theory. - Chenyi Zhang, Jun Pang:
An Algorithm for Probabilistic Alternating Simulation. - Yi Sun, Faustino J. Gomez, Tom Schaul, Jürgen Schmidhuber:
A Linear Time Natural Evolution Strategy for Non-Separable Functions. - Igor Bjelakovic, Holger Boche, Jochen Sommerfeld:
Secrecy results for compound wiretap channels. - Sina Maleki, Geert Leus:
Censored Truncated Sequential Spectrum Sensing for Cognitive Radio Networks. - Ravi Tandon, Lalitha Sankar, H. Vincent Poor:
Multi-User Privacy: The Gray-Wyner System and Generalized Common Information. - Lav R. Varshney, Sanjoy K. Mitter, Vivek K. Goyal:
Channels That Die. - Ravi Tandon, Lalitha Sankar, H. Vincent Poor:
Discriminatory Lossy Source Coding: Side Information Privacy. - Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov:
Oblivious Collaboration. - Yann Quinsat, Sylvain Lavernhe, Claire Lartigue:
Characterization of 3D surface topography in 5-axis milling. - Robin Houston, Joseph White, Martyn Amos:
Zen Puzzle Garden is NP-complete. - Takayuki Nozaki, Kenta Kasai, Kohichi Sakaniwa:
Analysis of Error Floors of Non-Binary LDPC Codes over MBIOS Channel. - Caixing Liu, Jierui Xie, Yueming Hu:
Using Hopfield to Solve Resource-Leveling Problem. - M. Praveen, Kamal Lodaya:
Parameterized complexity results for 1-safe Petri nets. - Yehuda Afek, Noga Alon, Ziv Bar-Joseph:
MIS on the fly. - Axel Wismüller:
A Computational Framework for Nonlinear Dimensionality Reduction of Large Data Sets: The Exploratory Inspection Machine (XIM). - Rio Yokota, Lorena A. Barba:
A Tuned and Scalable Fast Multipole Method as a Preeminent Algorithm for Exascale Systems. - Lei Song, Lijun Zhang, Jens Chr. Godskesen:
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. - Barbara Lyonnet
Optimisation de la taille de la série: illustration par un cas industriel de sous-traitance mécanique. - Maurice Margenstern:
An application of Grossone to the study of a family of tilings of the hyperbolic plane. - Xiaowen Dong, Pascal Frossard, Pierre Vandergheynst, Nikolai Nefedov:
Clustering with Multi-Layer Graphs: A Spectral Perspective. - David Miguel Antunes, David Martins de Matos, José António Gaspar:
A Library for Implementing the Multiple Hypothesis Tracking Algorithm. - Wenyan Xu, Sanyang Liu:
Soundness and completeness of the cirquent calculus system CL6 for computability logic. - Frédérique E. Oggier, Anwitaman Datta
Byzantine Fault Tolerance of Regenerating Codes. - Abdelkrim Bouramoul, Mohamed-Khireddine Kholladi
PRESY: A Context Based Query Reformulation Tool for Information Retrieval on the Web. - Maurice Margenstern:
Using Grossone to count the number of elements of infinite sets and the connection with bijections. - Kewen Liao, Hong Shen:
Unconstrained and Constrained Fault-Tolerant Resource Allocation. - Sergey V. Yakhontov:
A simple algorithm for the evaluation of the hypergeometric series using quasi-linear time and linear space. - Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI. - R. Rathipriya, K. Thangavel, J. Bagyamani:
Evolutionary Biclustering of Clickstream Data. - Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. - Shujie Hou, Robert C. Qiu, Zhe Chen, Zhen Hu:
SVM and Dimensionality Reduction in Cognitive Radio with Experimental Validation. - Maruti Kumar Mudunuru, K. B. Nakshatrala:
A framework for coupled deformation-diffusion analysis with application to degradation/healing. - Aleksandar Ilic, Andreja Ilic:
On vertex covers and matching number of trapezoid graphs. - Nicolaie Popescu-Bodorin, Luminita State:
Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas:
Comparing Haar-Hilbert and Log-Gabor Based Iris Encoders on Bath Iris Image Database. - Miroslav Dudík, Daniel J. Hsu, Satyen Kale, Nikos Karampatziakis, John Langford, Lev Reyzin, Tong Zhang:
Efficient Optimal Learning for Contextual Bandits. - Atsushi Iwasaki, David Kempe, Mahyar Salek, Makoto Yokoo:
False-name-proof Mechanisms for Hiring a Team. - Francisco A. Gonzalez Horta, Rogerio A. Enríquez-Caldera, Juan Manuel Ramírez-Cortés, Jorge Martínez-Carballido, Eldamira Buenfil-Alpuche:
Mathematical Model for the Optimal Utilization Percentile in M/M/1 Systems: A Contribution about Knees in Performance Curves. - K. Savitha, C. Chandrasekar:
Network Selection Using TOPSIS in Vertical Handover Decision Schemes for Heterogeneous Wireless Networks. - Bernhard C. Geiger, Gernot Kubin:
Some Results on the Information Loss in Dynamical Systems. - Athanasios Kehagias, Pawel Pralat:
Some remarks on cops and drunk robbers. - Vasileios Giotsas, Shi Zhou:
Inferring AS Relationships from BGP Attributes. - Nicolò Cesa-Bianchi, Ohad Shamir:
Efficient Online Learning via Randomized Rounding. - Shie Mannor, Ohad Shamir:
From Bandits to Experts: On the Value of Side-Observations. - Yuanpeng Liu, Elza Erkip:
On the Sum Capacity of K-user Cascade Gaussian Z-Interference Channel. - Theresa Velden, Asif-ul Haque, Carl Lagoze:
Resolving Author Name Homonymy to Improve Resolution of Structures in Co-author Networks. - Tianrong Lin:
Another approach of the equivalence problem for measure-many one-way quantum finite automata. - Craig Boutilier:
Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers. - Emilio Ferrara:
A Large-Scale Community Structure Analysis In Facebook. - Ersen Ekrem, Sennur Ulukus:
Degrees of Freedom Region of the Gaussian MIMO Broadcast Channel with Common and Private Messages. - Marats Golovkins, Maksim Kravtsev, Vasilijs Kravcevs:
Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial Idempotent Languages. - Isolde Adler, Arthur M. Farley, Andrzej Proskurowski:
Obstructions for linear rankwidth at most 1. - Yungang Bao, Jinyong Zhang, Yan Zhu, Dan Tang, Yuan Ruan, Mingyu Chen, Jianping Fan:
HMTT: A Hybrid Hardware/Software Tracing System for Bridging Memory Trace's Semantic Gap. - Sam Tobin-Hochstadt, Matthias Felleisen:
The Design and Implementation of Typed Scheme: From Scripts to Programs. - Sam Tobin-Hochstadt:
Extensible Pattern Matching in an Extensible Language. - Derek Leong, Alexandros G. Dimakis, Tracey Ho:
Distributed Storage Allocations for Optimal Delay. - Christopher Hoobin, Simon J. Puglisi, Justin Zobel:
Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections. - Oleg Mazonka, Alex Kolodin:
A Simple Multi-Processor Computer Based on Subleq. - Vikram Dhillon:
Knowledge Dispersion Index for Measuring Intellectual Capital. - Chengxi Ye, Zhanshan (Sam) Ma, Charles H. Cannon, Mihai Pop, Douglas W. Yu:
SparseAssembler: de novo Assembly with the Sparse de Bruijn Graph. - Chandan K. Dubey, Thomas Holenstein:
Approximating the Closest Vector Problem Using an Approximate Shortest Vector Oracle. - David Monniaux
Using Bounded Model Checking to Focus Fixpoint Iterations. - Joseph Y. Halpern:
From Causal Models To Counterfactual Structures. - Joseph Y. Halpern, David C. Parkes:
Viewpoint: Journals for Certification, Conferences for Rapid Dissemination. - Luca Rose, Samir Medina Perlaza, Mérouane Debbah:
On the Nash Equilibria in Decentralized Parallel Interference Channels. - Joseph Y. Halpern, Christopher Hitchcock:
Actual causation and the art of modeling. - Joseph Y. Halpern, Rafael Pass:
I Don't Want to Think About it Now:Decision Theory With Costly Computation. - Luca Rose, Samir Medina Perlaza, Samson Lasaulce, Mérouane Debbah:
Learning Equilibria with Partial Information in Decentralized Wireless Networks. - Kévin Perrot, Eric Rémila:
Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence. - Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial:
No justified complaints: On fair sharing of multiple resources. - Mark Anthony McLaughlin:
A Framework for Enabling Distributed Applications on the Internet. - Pascal Heus, Richard Gomez:
QIS-XML: An Extensible Markup Language for Quantum Information Science. - Praveen Ranjan Srivastava, Km Baby:
Automated Software Testing Using Metahurestic Technique Based on An Ant Colony Optimization. - Vincent Aravantinos, Nicolas Peltier:
Generating Schemata of Resolution Proofs. - Evmorfia N. Argyriou, Michael A. Bekos, Michael Kaufmann, Antonios Symvonis:
Geometric Simultaneous RAC Drawings of Graphs. - Duc Phu Chau, François Brémond, Monique Thonnat, Etienne Corvée:
Robust Mobile Object Tracking Based on Multiple Feature Similarity and Trajectory Filtering. - Péter Schaffer, Djamila Aouada, Shishir Nagaraja:
Who clicks there!: Anonymizing the photographer in a camera saturated society. - (Withdrawn) Nested Graph Words for Object Recognition.
- Anne-Maria Ernvall-Hytönen, Camilla Hollanti:
On the Eavesdropper's Correct Decision in Gaussian and Fading Wiretap Channels Using Lattice Codes. - Luís Nogueira, Luís Miguel Pinho:
Supporting Parallelism in Server-based Multiprocessor Systems. - Zvonko Iljazovic:
Co-c.e. spheres and cells in computable metric spaces. - Andreas Brandstädt, Raffaele Mosca:
Dominating Induced Matchings for P7-Free Graphs in Linear Time. - Prateek Jain, Ambuj Tewari, Inderjit S. Dhillon:
Orthogonal Matching Pursuit with Replacement. - Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan:
Co-evolution of Selection and Influence in Social Networks. - Shizheng Li, Aditya Ramamoorthy:
Algebraic codes for Slepian-Wolf code design. - Reshma P:
Power Management during Scan Based Sequential Circuit Testing. - Johnny Karout, Erik Agrell, Krzysztof Szczerba, Magnus Karlsson:
Optimizing Constellations for Noncoherent Optical Communication Systems. - Yuxin Deng, Yu Zhang:
Program Equivalence in Linear Contexts. - Frank Sottile, Chungang Zhu:
Injectivity of 2D Toric Bézier Patches. - Lawrence Ong, Roy Timo, Gottfried Lechner, Sarah J. Johnson, Christopher M. Kellett:
The Finite Field Multi-Way Relay Channel with Correlated Sources: The Three-User Case. - Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
On Achievable Rate Regions of the Asymmetric AWGN Two-Way Relay Channel. - Jagadeesh Gorla, Stephen Robertson, Jun Wang:
A Unified Relevance Retrieval Model by Eliteness Hypothesis. - Michiel W. van Tol:
A Characterization of the SPARC T3-4 System. - Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman:
Algorithmic Randomness and Capacity of Closed Sets. - Saeed Abdallah, Ioannis N. Psaromiligkos:
Widely Linear vs. Conventional Subspace-Based Estimation of SIMO Flat-Fading Channels: Mean-Squared Error Analysis. - Aleksandar Ilic:
Efficient algorithm for the vertex connectivity of trapezoid graphs. - Yaron Velner:
The Complexity of Mean-Payoff Automaton Expression. - Nicolas Gauvrit, Hector Zenil, Jean-Paul Delahaye:
Assessing Cognitive Randomness: A Kolmogorov Complexity Approach. - Cristian Danescu-Niculescu-Mizil, Lillian Lee:
Chameleons in imagined conversations: A new approach to understanding coordination of linguistic style in dialogs. - Yuichi Yoshida:
Testing List H-Homomorphisms. - Mohammad Karimadini, Hai Lin:
Communicate only when necessary: Cooperative tasking for multi-agent systems. - Hayato Takahashi:
Algorithmic analogies to kamae-Weiss theorem on normal numbers. - Rodney G. Downey, Dimitrios M. Thilikos:
Confronting Intractability via Parameters. - Ranieri Baraglia, Patrizio Dazzi, Matteo Mordacchini, Laura Ricci, Luca Alessi:
On Democracy in Peer-to-Peer systems. - Olivier Kerbrat, Pascal Mognol, Jean-Yves Hascoët:
A new DFM approach to combine machining and additive manufacturing. - Götz E. Pfander, Holger Rauhut, Joel A. Tropp:
The restricted isometry property for time-frequency structured random matrices. - Richard T. B. Ma, Vishal Misra:
The Public Option: a Non-regulatory Alternative to Network Neutrality. - Lingchen Kong, Levent Tunçel, Naihua Xiu:
Sufficient Conditions for Low-rank Matrix Recovery, Translated from Sparse Signal Recovery. - Chenlu Qiu, Namrata Vaswani:
ReProCS: A Missing Link between Recursive Robust PCA and Recursive Sparse Recovery in Large but Correlated Noise. - Roman Gitlin:
Reducing Interpolation on Multi-Grid to Quantizing Grid's Data-Base as a Recursion. - Daniel Shawcross Wilkerson, Simon Fredrick Vicente Goldsmith, Ryan Barrett, Erick Armbrust, Robert Johnson, Alfred Fuller:
Distributed Transactions for Google App Engine: Optimistic Distributed Transactions built upon Local Multi-Version Concurrency Control. - Loïc Andolfatto, René Mayer, Sylvain Lavernhe:
Adaptive Monte Carlo applied to uncertainty estimation in a five axis machine tool link errors identification. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severín:
A polyhedral approach for the Equitable Coloring Problem. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severín:
Polyhedral results for the Equitable Coloring Problem. - Ryan Martin, Omkar J. Tilak:
On epsilon-optimality of the pursuit learning algorithm. - Miron B. Kursa, Lukasz Komsta, Witold R. Rudnicki:
Random forest models of the retention constants in the thin layer chromatography. - Bimal Aklesh Kumar:
Evaluation of Fiji National University Campus Information Systems. - Jie Ding, Laming Chen, Yuantao Gu:
Performance Analysis of Orthogonal Matching Pursuit under General Perturbations. - Hongfei Cui, Jianqiang Sun, Yiming Ding:
The rates of convergence for generalized entropy of the normalized sums of IID random variables. - Rémi Flamary, Alain Rakotomamonjy:
Decoding finger movements from ECoG signals using switching linear models. - Rémi Flamary, Benjamin Labbé, Alain Rakotomamonjy:
Large margin filtering for signal sequence labeling. - Emilie Niaf, Rémi Flamary, Carole Lartizien, Stéphane Canu:
Handling uncertainties in SVM classification. - Anas Chaaban, Aydin Sezgin:
The Capacity Region of the Linear Shift Deterministic Y-Channel. - Gareth W. Peters, Ido Nevat, Jinhong Yuan, Iain B. Collings:
Semi-Blind System Identification in Wireless Relay Networks via Gaussian Process Iterated Conditioning on the Modes Estimation. - Matthew R. Lakin:
Constraint solving in non-permutative nominal abstract syntax. - Robbert Krebbers, Bas Spitters
Type classes for efficient exact real arithmetic in Coq. - P. Venkata Subba Reddy, K. Viswanathan Iyer:
Conditional and Unique Coloring of Graphs. - Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. - Mrinal Kanti Bhowmik, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri:
Polar Fusion Technique Analysis for Evaluating the Performances of Image Fusion of Thermal and Visual Images for Human Face Recognition. - Mrinal Kanti Bhowmik, Gautam Majumdar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri:
Next Level of Data Fusion for Human Face Recognition. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
High Performance Human Face Recognition using Independent High Intensity Gabor Wavelet Responses: A Statistical Approach. - Joachim Breitner:
Conditional Elimination through Code Duplication. - John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents] - Wenjie Fang:
New Computational Result on Harmonious Trees. - Olivier Bailleux:
On the expressive power of unit resolution. - Barbara T. Blaustein, Adriane Chapman, Len Seligman, M. David Allen, Arnon Rosenthal:
Surrogate Parenthood: Protected and Informative Graphs. - D. R. Shashi Kumar, K. B. Raja, R. K. Chhotaray, Sabyasachi Pattanaik:
DWT Based Fingerprint Recognition using Non Minutiae Features. - Gregory Z. Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo:
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming. - Sung-Ha Hwang, Luc Rey-Bellet:
Decompositions of two player games: potential, zero-sum, and stable games. - Sandhya Rangineni:
Cryptographic Hardening of d-Sequences. - Emmanuel Godard, Joseph G. Peters:
Consensus vs Broadcast in Communication Networks with Arbitrary Mobile Omission Faults. - Sarif Sk. Hassan, Ananya Roy, Pabitra Pal Choudhury, Birendra Kumar Nayak:
One Dimensional p-adic Integral Value Transformations. - Mark Braverman, Anup Rao:
Information Equals Amortized Communication. - Parikshit Gopalan, Cheng Huang, Huseyin Simitci, Sergey Yekhanin:
On the Locality of Codeword Symbols. - Binyue Liu, Ning Cai:
Analog Network Coding in the Generalized High-SNR Regime. - Haim Kaplan, Micha Sharir:
Finding the Maximal Empty Rectangle Containing a Query Point. - Yipeng Liu, Qun Wan:
Total Variation Minimization Based Compressive Wideband Spectrum Sensing for Cognitive Radios. - Ashwin Ganesan:
Minimal resolving sets for the hypercube. - Vladimir Berezovsky, Alexander Popov:
Strategies for Development of a Distributed Framework for Computational Sciences. - Christos Dimitrakakis:
Robust Bayesian reinforcement learning through tight lower bounds. - Emil Stefanov, Elaine Shi, Dawn Song:
Towards Practical Oblivious RAM. - Diana Bodean, Ghenadie Bodean, Wajeb Gharibi:
Pseudo-Ring Testing Schemes and Algorithms of RAM Built-In and Embedded Self-Testing. - Valerio Capraro:
Solution of Wald's game using loadings and allowed strategies. - Michael Huber:
Efficient Two-Stage Group Testing Algorithms for DNA Screening. - Svetlana Chumachenko, Wajeb Gharibi, Anna Hahanova, Aleksey Sushanov:
SoC Software Components Diagnosis Technology. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas:
Exploratory simulation of an Intelligent Iris Verifier Distributed System. - Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic. - Sunil K. Narang, Antonio Ortega:
Perfect Reconstruction Two-Channel Wavelet Filter-Banks For Graph Structured Data. - Hugo Jiménez-Pérez, Jacques Laskar:
A time-parallel algorithm for almost integrable Hamiltonian systems. - Giorgi Japaridze:
The taming of recurrences in computability logic through cirquent calculus, Part II. - Yipeng Liu, Qun Wan:
Sidelobe Suppression for Capon Beamforming with Mainlobe to Sidelobe Power Ratio Maximization. - Yonathan Murin, Ron Dabora, Deniz Gündüz:
Source-Channel Coding Theorems for the Multiple-Access Relay Channe. - Slawomir Staworko, Piotr Wieczorek:
Learning XML Twig Queries. - (Withdrawn) Reducing Interpolation on Multi-Dimensional Grid to Quantizing Grid's Data-Base as a Recursion.
- Dan Tavrov, Oleg Chertov:
SSA-Caterpillar in Group Anonymity. - Marcelo Arenas, Ronald Fagin, Alan Nash:
Composition with Target Constraints. - Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]. - Georg Gottlob, Thomas Schwentick:
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. - Jer-Chin Chuang:
Convex Geometry and Stoichiometry. - Paul Tune, Darryl Veitch:
Fisher Information in Flow Size Distribution. - MohammadAmin Fazli, Jafar Habibi, Pooya Jalaly Khalilabadi, Sina Sadeghian Sadeghabad:
On the Non-Progressive Spread of Influence through Social Networks. - Yi Gai, Hua Liu, Bhaskar Krishnamachari:
A Packet Dropping Mechanism for Efficient Operation of M/M/1 Queues with Selfish Users. - Amandine Bellenger, Sylvain Gatepaille:
Uncertainty in Ontologies: Dempster-Shafer Theory for Data Fusion Applications. - Debiao He, Yitao Chen:
An efficient certificateless authenticated key agreement protocol without bilinear pairings. - Jean-Louis Dessalles:
Coincidences and the encounter problem: A formal account. - Venkatesan Guruswami, Carol Wang:
Optimal rate list decoding via derivative codes. - Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. - Emilio Ferrara, Robert Baumgartner:
Intelligent Self-Repairable Web Wrappers. - Leonid A. Ostromuhov:
Models, Calculation and Optimization of Gas Networks, Equipment and Contracts for Design, Operation, Booking and Accounting. - Kenneth M. Mackenthun Jr.:
Group Codes and the Schreier matrix form. - Edward Grefenstette, Mehrnoosh Sadrzadeh:
Experimental Support for a Categorical Compositional Distributional Model of Meaning. - Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
Verification of Quantum Programs. - David Klein, Kyle Murray, Simon Weber:
Algorithmic Programming Language Identification. - Daniel Harabor, Adi Botea, Philip Kilby:
Symmetry-Based Search Space Reduction For Grid Maps. - Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of Invariants through Automated Theory Formation. 1-19 - Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
Bigraphical Refinement. 20-36 - John Derrick
Building a refinement checker for Z. 37-52 - César Jesus Rodrigues, Manuel A. Martins
Refinement by interpretation in π-institutions. 53-64 - Alvaro Miyazawa
Refinement-based verification of sequential implementations of Stateflow charts. 65-83 - Steve Reeves
Refinement for Probabilistic Systems with Nondeterminism. 84-100 - Ukachukwu Ndukwu, Annabelle McIver
Model exploration and analysis for quantitative safety refinement in probabilistic B. 101-120 - Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang:
Formalising the Continuous/Discrete Modeling Step. 121-138 - Steve A. Schneider, Helen Treharne
A CSP Account of Event-B Refinement. 139-154 - Eerke A. Boiten
Perspicuity and Granularity in Refinement. 155-165 - Pontus Boström
Concurrent Scheduling of Event-B Models. 166-182 - Ka. Shrinivaasan:
Decidability of Existence and Construction of a Complement of a given Function. - Hans L. Bodlaender, Bart M. P. Jansen, Stefan Kratsch:
Kernel Bounds for Path and Cycle Problems. - Dai Tri Man Le, Stephen A. Cook, Yuli Ye:
Complexity Classes and Theories for the Comparator Circuit Value Problem. - Michael Hickson, Yannis Kargakis, Yannis Tzitzikas:
Similarity-based Browsing over Linked Open Data. - Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky:
A Novel Attack against Android Phones. - Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall:
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC. - Erlin Yao, Mingyu Chen, Rui Wang, Wenli Zhang, Guangming Tan:
A New and Efficient Algorithm-Based Fault Tolerance Scheme for A Million Way Parallelism. - Francesca Giardini, Walter Quattrociocchi, Rosaria Conte:
Rooting opinions in the minds: a cognitive model and a formal account of opinions and their dynamics. - Francesca Giardini, Walter Quattrociocchi, Rosaria Conte:
Understanding opinions. A cognitive and formal account. - Lisa Hellerstein, Devorah Kletenik:
On the gap between ess(f) and cnf_size(f). - Rina Foygel, Ruslan Salakhutdinov, Ohad Shamir, Nathan Srebro:
Learning with the Weighted Trace-norm under Arbitrary Sampling Distributions. - Ersen Ekrem, Sennur Ulukus:
Multi-receiver Wiretap Channel with Public and Confidential Messages. - Yang Zhang, Edwin K. P. Chong, Jan Hannig, Donald J. Estep:
Continuum Limits of Markov Chains with Application to Network Modeling. - Siqi Zhao, Lin Zhong, Jehan Wickramasuriya, Venu Vasudevan:
Human as Real-Time Sensors of Social and Physical Events: A Case Study of Twitter and Sports Games. - Kevin Topley, Vikram Krishnamurthy:
Average-Consensus Algorithms in a Deterministic Framework. - Daniel Burgarth, Vittorio Giovannetti, Leslie Hogben, Simone Severini, Michael Young:
Logic circuits from zero forcing. - Raphaël Clifford, Markus Jalsenius, Ely Porat, Benjamin Sach:
Space Lower Bounds for Online Pattern Matching. - Thomas Braibant, Damien Pous:
Tactics for Reasoning modulo AC in Coq. - Svebor Karaman, Jenny Benois-Pineau, Jean-François Dartigues, Yann Gaëstel, Rémi Mégret, Julien Pinquier:
Activities of Daily Living Indexing by Hierarchical HMM for Dementia Diagnostics. - Robert Crowston, Gregory Z. Gutin, Mark Jones, Anders Yeo:
Parameterized Eulerian Strong Component Arc Deletion Problem on Tournaments. - Ajit Singh, Nidhi Sharma:
Development of mechanism for enhancing data security in quantum cryptography. - Eirini Spyropoulou, Tijl De Bie:
Interesting Multi-Relational Patterns. - José Luis López-Presa, Antonio Fernández Anta:
Fast Isomorphism Testing of Graphs with Regularly-Connected Components. - Pooria Pakrooh, Arash Amini, Farrokh Marvasti:
OFDM pilot allocation for sparse channel estimation. - Amos J. Storkey:
Machine Learning Markets. - Moshe Mishali, Yonina C. Eldar:
Sub-Nyquist Sampling: Bridging Theory and Practice. - Foster J. Provost, Gary M. Weiss:
Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction. - Maria Fox, Derek Long:
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. - David V. Pynadath, Milind Tambe:
The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models. - Moshe Tennenholtz:
Competitive Safety Analysis: Robust Decision-Making in Multi-Agent Systems. - Cynthia A. Thompson, Raymond J. Mooney:
Acquiring Word-Meaning Mappings for Natural Language Interfaces. - Alan Fern, Robert Givan, Jeffrey Mark Siskind:
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video. - David V. Pynadath, Paul Scerri, Milind Tambe:
Towards Adjustable Autonomy for the Real World. - Andrew Cotter, Ohad Shamir, Nathan Srebro, Karthik Sridharan:
Better Mini-Batch Algorithms via Accelerated Gradient Methods. - Joseph C. Culberson, Yong Gao:
An Analysis of Phase Transition in NK Landscapes. - Dragan Gamberger, Nada Lavrac:
Expert-Guided Subgroup Discovery: Methodology and Application. - Pauline Berry, Thomas J. Lee, David E. Wilkins:
Interactive Execution Monitoring of Agent Teams. - Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Propositional Independence - Formula-Variable Independence and Forgetting. - Giovanni Rossi:
Partition distances. - Alan Edelman, Avinatan Hassidim, Huy N. Nguyen, Krzysztof Onak:
An Efficient Partitioning Oracle for Bounded-Treewidth Graphs. - Prabhu Manyem:
Nearly identical BFC expressions and identical OFC expressions for Matching and Clique. - Heran Yang, Tiffany Low, Matthew Cong, Ashutosh Saxena:
Inferring 3D Articulated Models for Box Packaging Robot. - Gonzalo Navarro, Luís M. S. Russo:
Space-Efficient Data-Analysis Queries on Grids. - Oren Ben-Zwi, Ilan Newman:
Optimal Bi-Valued Auctions. - Koceilah Rekouche:
Early Phishing. - Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Verifying Eiffel Programs with Boogie. - Lukas Moll, Siamak Tazari, Marc Thurley:
Computing hypergraph width measures exactly. - Sylvain Kubler
Key Factors for Information Dissemination on Communicating Products and Fixed Databases. - Guang Gong, Fei Huo, Yang Yang:
Large Zero Autocorrelation Zone of Golay Sequences and $4^q$-QAM Golay Complementary Sequences. - Antonio Ferrández, Jesús Peral:
Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation. - Ali Taylan Cemgil, Bert Kappen:
Monte Carlo Methods for Tempo Tracking and Rhythm Quantization. - David L. Poole, Nevin Lianwen Zhang:
Exploiting Contextual Independence In Probabilistic Inference. - Bert Kappen, Martijn A. R. Leisink:
Bound Propagation. - Paolo Liberatore:
On Polynomial Sized MDP Succinct Policies. - Fangzhen Lin:
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. - Reid G. Simmons, Håkan L. S. Younes:
VHPOP: Versatile Heuristic Partial Order Planner. - Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dana S. Nau, Dan Wu, Fusun Yaman:
SHOP2: An HTN Planning System. - John E. Laird
An Architectural Approach to Ensuring Consistency in Hierarchical Execution. - Craig A. Knoblock, Kristina Lerman, Steven Minton:
Wrapper Maintenance: A Machine Learning Approach. - H. R. Chennamma, Lalitha Rangarajan, Veerabhadrappa:
Face Identification from Manipulated Facial Images using SIFT. - Yao Sun, Dingkang Wang:
A Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases. - Esther M. Arkin, Antonio Fernández Anta, Joseph S. B. Mitchell, Miguel A. Mosteiro:
Probabilistic Bounds on the Length of a Longest Edge in Delaunay Graphs of Random Points in d-Dimensions. - Henri Casanova, Mark Stillwell, Frédéric Vivien:
Dynamic Fractional Resource Scheduling vs. Batch Scheduling. - Thong T. Do, Lu Gan, Nam H. Nguyen, Trac D. Tran:
Fast and Efficient Compressive Sensing using Structurally Random Matrices. - Mai Vu:
The Capacity of MIMO Channels with Per-Antenna Power Constraint. - Myunghwan Kim, Jure Leskovec:
Modeling Social Networks with Node Attributes using the Multiplicative Attribute Graph Model. - Meng He, J. Ian Munro, Patrick K. Nicholson:
Dynamic Range Selection in Linear Space. - Ahmad Rahmati, Clayton Shepard, Chad Tossell, Mian Dong, Zhen Wang, Lin Zhong, Philip T. Kortum:
Tales of 34 iPhone Users: How they change and why they are different. - Walter Quattrociocchi, Rosaria Conte:
Exploiting Reputation in Distributed Virtual Environments. - Miron B. Kursa, Witold R. Rudnicki:
The All Relevant Feature Selection using Random Forest. - Tamir Tassa:
Secure Mining of Association Rules in Horizontally Distributed Databases. - Oleg Chertov, Marharyta Aleksandrova:
Clustering with Prototype Extraction for Census Data Analysis. - Adrian Francalanza, Julian Rathke, Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency. - Mladen Kovacevic, Ivan Stanojevic, Vojin Senk:
On Rényi Entropies Over Countably Infinite Alphabets. - Peter Birkner, Francesco Sica:
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication. - B. V. Dhandra, Mallikarjun Hangarge:
Morphological Reconstruction for Word Level Script Identification. - Ciprian Dobre, Corina Stratan:
MONARC Simulation Framework. - Iosif Legrand, Ciprian Dobre, Ramiro Voicu, Corina Stratan, Catalin Cirstoiu, Lucian Musat:
A Simulation Study for T0/T1 Data Replication and Production Activities. - Iosif Legrand, Ciprian Dobre, Ramiro Voicu, Corina Stratan, Catalin Cirstoiu, Lucian Musat:
LISA (Localhost Information Service Agent). - Allison B. Lewko:
The Contest Between Simplicity and Efficiency in Asynchronous Byzantine Agreement. - Ciprian Dobre, Ramiro Voicu, Adrian Muraru, Iosif Legrand:
A Distributed Agent Based System to Control and Coordinate Large Scale Data Transfers. - Dmitry Zinoviev, Vy Duong:
A Game Theoretical Approach to Broadcast Information Diffusion in Social Networks. - Albert Fannjiang, Wenjing Liao:
Coherence-Pattern Guided Compressive Sensing with Unresolved Grids. - Bernhard Haslhofer, Rainer Simon, Robert Sanderson, Herbert Van de Sompel:
The Open Annotation Collaboration (OAC) Model. - Ulas Bagci, Jianhua Yao, Jesus Caban, Anthony F. Suffredini, Tara N. Palmore, Daniel J. Mollura:
Learning Shape and Texture Characteristics of CT Tree-in-Bud Opacities for CAD Systems. - Julien Cassaigne, James D. Currie, Luke Schaeffer, Jeffrey O. Shallit:
Avoiding Three Consecutive Blocks of the Same Size and Same Sum. - Maarten Clements, Pavel Serdyukov, Arjen P. de Vries, Marcel J. T. Reinders:
Personalised Travel Recommendation based on Location Co-occurrence. - (Withdrawn) Some results on equivalence of multi-letter quantum finite automata.
- Mohammad R. Javan, Ahmad R. Sharafat:
Opportunistic Power Control for Multi-Carrier Interference Channels. - Andreas Argyriou, Luca Baldassarre, Jean Morales, Massimiliano Pontil:
A General Framework for Structured Sparsity via Proximal Optimization. - Behrang Nosrat-Makouei, Jeffrey G. Andrews, Robert W. Heath Jr.:
User Arrival in MIMO Interference Alignment Networks. - Ronen I. Brafman, Carmel Domshlak:
Structure and Complexity in Planning with Unary Operators. - Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. - Ronen I. Brafman, Moshe Tennenholtz:
Learning to Coordinate Efficiently: A Model-based Approach. - Minh Binh Do, Subbarao Kambhampati:
SAPA: A Multi-objective Metric Temporal Planner. - Peter F. Patel-Schneider, Roberto Sebastiani:
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. - Subbarao Kambhampati, Romeo Sanchez Nigenda:
AltAltp: Online Parallelization of Plans with Heuristic State Search. - Bruno Zanuttini:
New Polynomial Classes for Logic-Based Abduction. - Ehud Reiter, Roma Robertson, Somayajulu Sripada:
Acquiring Correct Knowledge for Natural Language Generation. - Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
Planning Through Stochastic Local Search and Temporal Action Graphs in LPG. - Jonas Kvarnström, Martin Magnusson:
TALplanner in IPC-2002: Extensions and Control Rules. - Eric Wiewiora:
Potential-Based Shaping and Q-Value Initialization are Equivalent. - Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. - Lev Finkelstein, Shaul Markovitch, Ehud Rivlin:
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources. - János A. Csirik, Michael L. Littman, David A. McAllester, Robert E. Schapire, Peter Stone:
Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions. - Jörg Hoffmann:
The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables. - Rio Yokota, Tetsu Narumi, Lorena A. Barba, Kenji Yasuoka:
Petascale turbulence simulation using a highly parallel fast multipole method. - Yohji Akama:
Set systems: order types, continuous nondeterministic deformations, and quasi-orders. - Ciprian Dobre, Florin Pop, Valentin Cristea:
DistHash: A robust P2P DHT-based system for replicated objects. - Dacian Tudor, Florin Pop, Valentin Cristea, Vladimir Cretu:
Towards an IO intensive Grid application instrumentation in MedioGRID. - Florin Pop, Valentin Cristea:
Intelligent strategies for DAG scheduling optimization in Grid environments. - George Milescu, Gabriel Noaje, Florin Pop:
OpenPh - Numerical Physics Library. - Michael Lesnick:
The Optimality of the Interleaving Distance on Multidimensional Persistence Modules. - Florin Pop, Diana Petrescu, Stefan Trausan-Matu:
Clasificarea distribuita a mesajelor de e-mail. - Diana Moise, Eliza Moise, Florin Pop, Valentin Cristea:
Resource CoAllocation for Scheduling Tasks with Dependencies, in Grid. - Eliza Moise, Diana Moise, Florin Pop, Valentin Cristea:
Advance Reservation of Resources for Task Execution in Grid Environments. - Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. - Toby Walsh:
Online Cake Cutting (published version). - Zhi Yang, Christo Wilson, Xiao Wang, Tingting Gao, Ben Y. Zhao, Yafei Dai:
Uncovering Social Network Sybils in the Wild. - Mohammad R. Javan, Ahmad R. Sharafat:
Efficient and Distributed SINR-based Joint Resource Allocation and Base Station Assignment in Wireless CDMA Networks. - Daniel Le Ly, Ashutosh Saxena, Hod Lipson:
Pose Estimation from a Single Depth Image for Arbitrary Kinematic Skeletons. - Onur Oktay, Götz E. Pfander, Pavel Zheltov:
Scattering Function Estimation for Overspread Radar Targets. - Mélanie Plainchault, Nicolas Gresset, Ghaya Rekaya-Ben Othman:
Macro and Micro Diversity Behaviors of Practical Dynamic Decode and Forward Relaying schemes. - Huang Huang, Vincent K. N. Lau:
Partial Interference Alignment for K-user MIMO Interference Channels. - Mahdi Jafari Siavoshani, Christina Fragouli, Suhas N. Diggavi:
Subspace Properties of Network Coding and their Applications. - You Xu, Yixin Chen, Qiang Lu, Ruoyun Huang:
Theory and Algorithms for Partial Order Based Reduction in Planning. - Andrej Muchnik:
Kolmogorov complexity and cryptography. - Vincent Conitzer, Toby Walsh, Lirong Xia:
Dominating Manipulations in Voting with Partial Information. - Ilango Sriram, Dave Cliff:
Hybrid complex network topologies are preferred for component-subscription in large-scale data-centres. - John Cartlidge
Modelling Resilience in Cloud-Scale Data Centres. - Jeremiah A. Wala, Sergei V. Fotin, Jaesung Lee, Artit C. Jirapatnakul, Alberto M. Biancardi, Anthony P. Reeves:
Automated segmentation of the pulmonary arteries in low-dose CT by vessel tracking. - Ilango Leonardo Sriram, Dave Cliff:
SPECI-2: An open-source framework for predictive simulation of cloud-scale data-centres. - Koji Kobayashi:
Connection and Dispersion of Computation. - Gilberto Zonta Pastorello Jr., G. Arturo Sanchez-Azofeifa, Mario A. Nascimento:
A Review of the Enviro-Net Project. - Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena:
Labeling 3D scenes for Personal Assistant Robots. - Ardalan Amiri Sani, Wolfgang Richter, Xuan Bao, Trevor Narayan, Mahadev Satyanarayanan, Lin Zhong, Romit Roy Choudhury:
Opportunistic Content Search of Smartphone Photos. - David Prochazka, Tomas Koubek:
Augmented Reality Implementation Methods in Mainstream Applications. - Ramiro Voicu, Iosif Legrand, Harvey B. Newman, Nicolae Tapus, Ciprian Dobre:
A distributed service for on demand end to end optical circuits. - David Prochazka, Michael Stencl, Ondrej Popelka, Jiri Stastny:
Mobile Augmented Reality Applications. - Valentin Cristea, Ciprian Dobre, Florin Pop, Corina Stratan, Alexandru Costan, Catalin Adrian Leordeanu:
Models and Techniques for Ensuring Reliability, Safety, Availability and Security of Large Scale Distributed Systems. - Fabio Daolio, Marco Tomassini, Konstantin Bitkov:
The Swiss Board Directors Network in 2009. - Mario Bravo:
An adjusted payoff-based procedure for normal form games. - Junyi Chai, James N. K. Liu:
Class-based Rough Approximation with Dominance Principle. - Johannes Lindblom, Eleftherios Karipidis, Erik G. Larsson:
Outage Rate Regions for the MISO Interference Channel: Definitions and Interpretations. - Emanuele Cesena, Marco Pedicini, Luca Roversi:
Typing a Core Binary Field Arithmetic in a Light Logic. - Xiaofu Wu, Chunming Zhao, Xiaohu You:
Joint LDPC and Physical-layer Network Coding for Asynchronous Bi-directional Relaying. - Loet Leydesdorff:
Hyperincursive Cogitata and Incursive Cogitantes: Scholarly Discourse as a Strongly Anticipatory System. - Georg Böcherer, Fabian Altenbach, Martina Malsbender, Rudolf Mathar:
Writing on the Facade of RWTH ICT Cubes: Cost Constrained Geometric Huffman Coding. - Yanjun Ma, Jiandong Li, Rui Chen:
Distributed Interference Alignment with Low Overhead. - Roberto Roverso, Amgad Naiem, Mohammed El-Beltagy, Sameh El-Ansary:
GPU-Based Heuristic Solver for Linear Sum Assignment Problems Under Real-time Constraints. - Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg:
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking. - Erik D. Demaine, Martin L. Demaine, Sarah Eisenstat, Anna Lubiw, Andrew Winslow:
Algorithms for Solving Rubik's Cubes. - D. Bennet, S. Arumuga Perumal:
Fingerprint: DWT, SVD Based Enhancement and Significant Contrast for Ridges and Valleys Using Fuzzy Measures. - Alireza Vahid, Vaneet Aggarwal, Amir Salman Avestimehr, Ashutosh Sabharwal:
Wireless Network Coding with Local Network Views: Coded Layer Scheduling. - Narad Rampersad, Jeffrey O. Shallit:
Shuffling and Unshuffling. - Ping Xia, Han-Shin Jo, Jeffrey G. Andrews:
Fundamentals of Inter-cell Overhead Signaling in Heterogeneous Cellular Networks. - Ali Jalali, Pradeep Ravikumar, Sujay Sanghavi:
A Dirty Model for Multiple Sparse Regression. - Geoffrey A. Hollinger, Urbashi Mitra, Gaurav S. Sukhatme:
Active Classification: Theory and Application to Underwater Inspection. - P. Kabir, M. H. Shafinia, Pedram Pad, Farrokh Marvasti:
Capacity of Synchronous CDMA Systems with Near-Far Effects and Design of Suboptimum Signature Codes. - Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada:
Minimum Certificate Dispersal with Tree Structures. - Alexandru Costan, Florin Pop, Corina Stratan, Ciprian Dobre, Catalin Adrian Leordeanu, Valentin Cristea:
An Architectural Model for a Grid based Workflow Management Platform in Scientific Applications. - Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. - Gerald Schubert, Holger Fehske, Georg Hager, Gerhard Wellein:
Hybrid-parallel sparse matrix-vector multiplication with explicit communication overlap on current multicore-based systems. - Jitesh Dundas, David Chik:
Implementing Human-like Intuition Mechanism in Artificial Intelligence. - Salvador Gabarda, Gabriel Cristóbal:
Image denoising assessment using anisotropic stack filtering. - Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011 [contents] - Venkata Ravinder Paruchuri:
Entropy of Telugu. - Mohammed Eunus Ali, Egemen Tanin, Rui Zhang, Kotagiri Ramamohanarao:
Probabilistic Voronoi Diagrams for Probabilistic Moving Nearest Neighbor Queries. - Lazaros Gkatzikis, Georgios S. Paschos, Iordanis Koutsopoulos:
The impact of energy constraints on the medium access. - André Panisson, Alain Barrat, Ciro Cattuto, Wouter Van den Broeck, Giancarlo Ruffo, Rossano Schifanella:
On the Dynamics of Human Proximity for Data Diffusion in Ad-Hoc Networks. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas:
From Cognitive Binary Logic to Cognitive Intelligent Agents. - Maria Fox, Derek Long:
The 3rd International Planning Competition: Results and Analysis. - William P. Birmingham, Edmund H. Durfee, Sunju Park:
Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions. - Jérémie Chalopin, Shantanu Das, Arnaud Labourel, Euripides Markou:
Black Hole Search with Finite Automata Scattered in a Synchronous Torus. - Elaine M. Eschen, Xiaoqiang Wang:
Algorithms for Unipolar and Generalized Split Graphs. - Ragib Hasan, Randal C. Burns:
The Life and Death of Unwanted Bits: Towards Proactive Waste Data Management in Digital Ecosystems. - Harish Chintakunta, Hamid Krim:
Topological Fidelity in Sensor Networks. - Ciprian Dobre, Valentin Cristea, Iosif Legrand:
Simulation Framework for Modeling Large-Scale Distributed Systems. - Joan Boyar, Kim S. Larsen, Abyayananda Maiti:
A Comparison of Performance Measures via Online Search. - Denis Teissandier, Vincent Delos, Yves Couétard:
Operations on polytopes: application to tolerance analysis. - Jitesh Dundas:
Understanding Code Patterns - Analysis, Interpretation & Measurement. - Xiaowei Wang, Meixia Tao, Jianhua Mo, Youyun Xu:
Power and Subcarrier Allocation for Physical-Layer Security in OFDMA-based Broadband Wireless Networks. - Jianquan Liu, Meixia Tao, Youyun Xu:
Pairwise Check Decoding for LDPC Coded Two-Way Relay Block Fading Channels. - Mark Rowan:
Effects of Compensation, Connectivity and Tau in a Computational Model of Alzheimer's Disease. - Jitesh Dundas, David Chik:
IBSEAD: - A Self-Evolving Self-Obsessed Learning Algorithm for Machine Learning. - Jan A. Bergstra, Cornelis A. Middelburg:
On the behaviours produced by instruction sequences under execution. - Ludo Tolhuizen:
A generalisation of the Gilbert-Varshamov bound and its asymptotic evaluation. - Hyo-Sil Kim, Otfried Cheong:
The Cost of Bounded Curvature. - Leonardo Ermann, Alexei Chepelianskii, Dima Shepelyansky:
Towards two-dimensional search engines. - Mihai Niculescu, Sorin-Ion Zgura:
Computing trends using graphic processor in high energy physics. - Melvin Gauci, Tony J. Dodd, Roderich Gross:
Why 'GSA: A Gravitational Search Algorithm' Is Not Genuinely Based on the Law of Gravity. - Marco F. Duarte, Yonina C. Eldar:
Structured Compressed Sensing: From Theory to Applications. - Sandeep Katta:
Visual Secret Sharing Scheme using Grayscale Images. - Menelaos I. Karavelas, Eleni Tzanaki:
The maximum number of faces of the Minkowski sum of two convex polytopes. - Zakria Hussain, John Shawe-Taylor:
A Note on Improved Loss Bounds for Multiple Kernel Learning. - Yakov Nekrich:
External Memory Orthogonal Range Reporting with Fast Updates. - Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas:
A Dynamic Algebraic Specification for Social Networks. - Sayed A. Hadei, Paeiz Azmi:
Low-Complexity Adaptive Channel Estimation over Multipath Rayleigh Fading Non-Stationary Channels Under CFO. - Gal Bar-Nissan, Danny Hendler, Adi Suissa:
A Dynamic Elimination-Combining Stack Algorithm. - Sanjay Karmakar, Mahesh K. Varanasi:
The Diversity Multiplexing Tradeoff of the MIMO Half-Duplex Relay Channel. - Jeong-woo Cho, Jean-Yves Le Boudec, Yuming Jiang:
On the Asymptotic Validity of the Decoupling Assumption for Analyzing 802.11 MAC Protocol. - Carol Davids, Alan Johnston, Kundan Singh, Henry Sinnreich, Wilhelm Wimmreuter:
SIP APIs for Voice and Video Communications on the Web. - Michael T. Goodrich, Pawel Pszona:
External-Memory Network Analysis Algorithms for Naturally Sparse Graphs. - Ronen Lerner, Oleg Kupervasser, Ehud Rivlin:
Pose and Motion from Omnidirectional Optical Flow and a Digital Terrain Map. - Sebastian Deorowicz:
Quadratic-time Algorithm for the String Constrained LCS Problem. - Andrew Roberts, Abdelhamid Tayebi:
Attitude Estimation and Position Control of VTOL UAVs using IMU and GPS Measurements. - Vincenzo Carbone:
Fractional counting of authorship to quantify scientific research output. - Amin Coja-Oghlan, Alan M. Frieze:
Analyzing Walksat on random formulas. - Fatiha Alabau-Boussouira, Piermarco Cannarsa, Roberto Guglielmi:
Indirect stabilization of weakly coupled systems with hybrid boundary conditions. - Lucas R. Peres, José F. Fontanari:
The media effect in Axelrod's model explained. - Fragkiskos Papadopoulos, Marián Boguñá, Dmitri V. Krioukov:
Popularity versus Similarity in Growing Networks. - Hang-Hyun Jo, Raj Kumar Pan, Kimmo Kaski:
Emergence of Bursts and Communities in Evolving Weighted Networks. - T. Clemson, T. S. Evans:
The Emergence of Leadership in Social Networks. - Thomas Courtat, Catherine Gloaguen, Stéphane Douady:
Hypergraphs and City Street Networks. - David R. Morrison, Susan E. Martonosi:
Characteristics of Optimal Solutions to the Sensor Location Problem. - Stanislaw Drozdz, Jaroslaw Kwapien, Andreas A. Ioannides:
Asymmetric random matrices: What do we need them for? - Soumyajyoti Biswas:
On mean field solutions of kinetic exchange opinion models. - Pawel Kondratiuk, Grzegorz Siudem, Janusz A. Holyst:
Analytical approach to model of scientific revolutions. - Pawel Kondratiuk, Janusz A. Holyst:
Model of communities isolation at hierarchical modular networks. - Gil Kalai:
How Quantum Computers Fail: Quantum Codes, Correlations in Physical Systems, and Noise Accumulation. - Mayer Humi:
A Modified EMD Algorithm and its Applications. - James P. Bagrow
Collective response of human populations to large-scale emergencies. - (Withdrawn) BQP_p = PP for integer p > 2.
- Carlo Piccardi:
Finding and testing network communities by lumped Markov chains. - Chao Fan, Jin-Li Guo:
Research on the visitor flow pattern of Expo 2010. - Morten Vierling:
On control-constrained parabolic optimal control problems on evolving surfaces - theory and variational discretization. - François-Alex Bourque, Bao U. Nguyen:
Optimal Sensor Configurations for Rectangular Target Dectection. - Daniel J. McDonald, Cosma Rohilla Shalizi, Mark J. Schervish:
Risk bounds for time series without strong mixing. - Feng Chen, Aiguo Xu, Guangcai Zhang, Yingjun Li:
Prandtl number effects in MRT Lattice Boltzmann models for shocked and unshocked compressible fluids. - Sujith Vijay:
Monochromatic Progressions in Random Colorings. - Philipp Hennig:
Optimal Reinforcement Learning for Gaussian Systems. - Alexander V. Gnedin:
Dominance in the Monty Hall Problem. - Xiongping Dai:
The finite-step realizability of the joint spectral radius of a pair of d×d matrices one of which being rank-one. - Igor Kanovsky, Omer Yaary:
Model of Opinion Spreading in Social Networks. - Emilie Hogan, Doron Zeilberger:
A New Algorithm for Proving Global Asymptotic Stability of Rational Difference Equations. - Katarzyna Sznajd-Weron, M. Tabiszewski, André M. Timpanaro:
Phase transition in the Sznajd model with independence. - Andrew Suk:
$k$-quasi planar graphs. - Ping Li, Anshumali Shrivastava, Joshua L. Moore, Arnd Christian König:
Hashing Algorithms for Large-Scale Learning. - Mark Rudelson, Shuheng Zhou:
Reconstruction from anisotropic random measurements. - Yanyan Zhuang, Jianping Pan:
Random Distances Associated with Rhombuses. - Gitta Kutyniok, Morteza Shahram, Xiaosheng Zhuang:
ShearLab: A Rational Design of a Digital Parabolic Scaling Algorithm. - Gitta Kutyniok, Jakob Lemvig, Wang-Q Lim:
Shearlets and Optimally Sparse Approximations. - Simon B. Kogan, Oleg Kupervasser:
Domain Hierarchy of Protein Loop-Lock Structure (DHoPLLS): a server for decomposition of a protein structure on set of closed loops. - Nicolas Burq, Maciej Zworski:
Control for Schroedinger operators on tori. - Mark M. Wilde:
From Classical to Quantum Shannon Theory. - Arvind Ayyer:
Determinants and Perfect Matchings. - Serge Galam:
Market efficiency, anticipation and the formation of bubbles-crashes. - Amir Bashan, Shlomo Havlin:
The combined effect of connectivity and dependency links on percolation of networks. - David F. Gleich, Art B. Owen:
Moment based estimation of stochastic Kronecker graph parameters. - Loïc Michel:
Model-free control of non-minimum phase systems and switched systems. - Mostafa Bendahmane, Felipe Wallison Chaves Silva:
Controllability of Degenerating Reaction-Diffusion System in Electrocardiology. - Jeroen Bédorf, Evghenii Gaburov, Simon Portegies Zwart:
A sparse octree gravitational N-body code that runs entirely on the GPU processor. - Ryan Prescott Adams, Richard S. Zemel:
Ranking via Sinkhorn Propagation. - Mohammad Shoaib Jamall:
A Brooks' Theorem for Triangle-Free Graphs. - Padmini Mukkamala, Dömötör Pálvölgyi:
Drawing cubic graphs with the four basic slopes. - Joachim Mathiesen, Pernille Yde, Mogens H. Jensen:
The emergence of complex patterns in online human communication. - Thierry Huillet:
A Bose-Einstein Approach to the Random Partitioning of an Integer. - Ge Wang
Omni-tomography/Multi-tomography -- Integrating Multiple Modalities for Simultaneous Imaging. - Vincenzo Nicosia, John Kit Tang, Mirco Musolesi, Giovanni Russo, Cecilia Mascolo, Vito Latora:
Components in time-varying graphs. - Yanyan Zhuang, Jianping Pan:
Random Distances Associated with Hexagons. - Pedro Contreras, Fionn Murtagh:
Fast, Linear Time Hierarchical Clustering using the Baire Metric. - Hugo Jiménez-Pérez
On Alfred Gray's Elliptical Catenoid. - Daniel J. Hsu, Sham M. Kakade, Tong Zhang:
An Analysis of Random Design Linear Regression. - Víctor Blanco, Safae El-Haj Ben-Ali, Justo Puerto:
A Semidefinite Programming approach for minimizing ordered weighted averages of rational functions. - Lars Eirik Danielsen:
Classification of Hermitian self-dual additive codes over GF(9). - Shaun Lichter, Christopher Griffin, Terry L. Friesz:
A Game Theoretic Perspective on Network Topologies. - Kazuhiro Suzuki:
An f-chromatic spanning forest of edge-colored complete bipartite graphs. - Noah J. Cowan, Erick J. Chastain, Daril A. Vilhena, James S. Freudenberg, Carl T. Bergstrom:
Controllability of Real Networks. - Sang Hoon Lee, Petter Holme:
Pathlength scaling in graphs with incomplete navigational information. - Edoardo Ballico, Michele Elia, Massimiliano Sala:
Complexity of multivariate polynomial evaluation. - Richard H. Stockbridge, Chao Zhu:
On Optimal Harvesting in Stochastic Environments: Optimal Policies in a Relaxed Model. - Runhuan Feng, Shuaiqi Zhang, Chao Zhu:
Optimal Dividend Payments for the Piecewise-Deterministic Poisson Risk Model. - Leonid Gurvits:
Unharnessing the power of Schrijver's permanental inequality. - Andrei N. Soklakov:
Learning, investments and derivatives. - Pawel Oswiecimka, Jaroslaw Kwapien, Iwona Celinska, Stanislaw Drozdz, Rafal Rak:
Computational approach to multifractal music. - Omid Kavehei, Said F. Al-Sarawi, Kyoung-Rok Cho, Kamran Eshraghian, Derek Abbott:
An Analytical Approach for Memristive Nanoarchitectures. - Sara Cuenda, Juan A. Crespo:
Simple rules govern finite-size effects in scale-free networks. - Marcel Nutz:
A Quasi-Sure Approach to the Control of Non-Markovian Stochastic Differential Equations. - Olivier Guéant, Charles-Albert Lehalle, Joaquin Fernandez Tapia:
Optimal Portfolio Liquidation with Limit Orders. - Matthew J. Graham:
The Art of Data Science. - Dale Daniel, Timothy H. McNicholl:
Effective local connectivity properties. - Zimo Yang, Ai-Xiang Cui, Tao Zhou:
Impact of Heterogeneous Human Activities on Epidemic Spreading. - Shaun Lichter, Christopher Griffin, Terry L. Friesz:
Link Biased Strategies in Network Formation Games. - Liane Gabora, Apara Ranjan:
How Insight Emerges in a Distributed, Content-addressable Memory. - Christos Dimitrakakis, Constantin A. Rothkopf:
Bayesian multitask inverse reinforcement learning. - Man-Chung Yeung:
An introduction to ML(n)BiCGStab. - Artemy Kolchinsky, Luis M. Rocha:
Prediction and Modularity in Dynamical Systems. - Li Li:
The Asymptotic Mandelbrot Law of Some Evolution Networks. - János Körner, Silvia Messuti, Gábor Simonyi:
Families of graph-different Hamilton paths. - Peter Situmbeko Nalitolela, Nikolai Dokuchaev:
Frequency Criteria for Optimal Control Existence of Stochastic Models. - Gary B. Hughes, Mohcine Chraibi:
Calculating ellipse overlap areas. - Shanika Kuruppu, Simon J. Puglisi, Justin Zobel:
Reference Sequence Construction for Relative Compression of Genomes. - Suyong Choi:
Dimensionally Constrained Symbolic Regression. - Adam Caulton, Jeremy Butterfield:
On Kinds of Indiscernibility in Logic and Metaphysics. - Amanda de Paula, Cristiano Panazio:
Cooperative spectrum sensing over unreliable reporting channel. - Haizhang Zhang, Liang Zhao:
On the Inclusion Relation of Reproducing Kernel Hilbert Spaces. - Tero Harju:
Square-free Walks on Labelled Graphs. - Yanqing Hu, Baruch Ksherim, Reuven Cohen, Shlomo Havlin:
Percolation in Interdependent and Interconnected Networks: Abrupt Change from Second to First Order Transition. - Juan Carlos García-Escartín, Pedro Chamorro-Posada:
Repeaters in relativistic communications. - Paolo Moretti, Suyu Liu, Andrea Baronchelli, Romualdo Pastor-Satorras:
Unified mean-field approach to voter-like models on networks. - Piermarco Cannarsa, Giuseppe Floridia:
Approximate controllability for linear degenerate parabolic problems with bilinear control. - Gilles Brassard, Frédéric Dupuis, Sébastien Gambs, Alain Tapp:
An optimal quantum algorithm to approximate the mean and its application for approximating the median of a set of points over an arbitrary distance. - Christophe Krzeminski, Xiaohui Tang, Nicolas Reckinger, Vincent Bayot, Emmanuel Dubois:
Process Optimization and Downscaling of a Single Electron Single Dot Memory. - Alfredo A. Kalaitzis, Neil D. Lawrence
Residual Component Analysis. - Carsten Grabow, Stefan Grosskinsky, Marc Timme:
Speed of complex network synchronization. - Wanyang Dai:
Optimal Rate Scheduling via Utility-Maximization for J-User MIMO Markov Fading Wireless Channels with Cooperation. - M. Kotorowicz, Yuri Kozitsky:
Motif based hierarchical random graphs: structural properties and critical points of an Ising model. - Hans De Sterck:
Steepest Descent Preconditioning for Nonlinear GMRES Optimization. - Daan Wierstra, Tom Schaul, Tobias Glasmachers, Yi Sun, Jürgen Schmidhuber:
Natural Evolution Strategies. - Maury Bramson, Yi Lu, Balaji Prabhakar:
Decay of Tails at Equilibrium for FIFO Join the Shortest Queue Networks. - Dennis Wylie:
Perturbed and Permuted: Signal Integration in Network-Structured Dynamic Systems. - Xin Zhang, Guizhen Liu, Jianliang Wu:
(1,λ)-embedded graphs and the acyclic edge choosability. - Chenzhou Cui, Dongwei Fan
Enhanced Management of Personal Astronomical Data with FITSManager. - Qian Zhu, Yuyin Sun, Sashikiran Challa, Ying Ding, Michael S. Lajiness, David J. Wild:
Semantic Inference using Chemogenomics Data for Drug Discovery. - Jason Lin, Chun-Wei Yang, Chia-Wei Tsai, Tzonelih Hwang:
Intercept-resend attacks on Semiquantum secret sharing and the Improvements. - S. Yoon, Alexander V. Goltsev, Sergey N. Dorogovtsev, J. F. F. Mendes:
Belief-propagation algorithm and the Ising model on networks with arbitrary distributions of motifs. - Andrei Alexandru, Michael Lujan, Craig Pelissier, Ben Gamari, Frank X. Lee
Efficient implementation of the overlap operator on multi-GPUs. - Sangnam Nam, Mike E. Davies, Michael Elad, Rémi Gribonval:
The Cosparse Analysis Model and Algorithms. - Thuy Nguyen:
The uniform controllability property of semidiscrete approximations for the parabolic distributed parameter systems in Banach spaces. - Michael Chertkov, Scott Backhaus, K. Turtisyn, Vladimir Y. Chernyak, Vladimir Lebedev:
Voltage Collapse and ODE Approach to Power Flows: Analysis of a Feeder Line with Static Disorder in Consumption/Production. - Fabien Guilbaud, Huyen Pham:
Optimal High Frequency Trading with limit and market orders. - Qiao Li, Tao Cui, Rohit Negi, Franz Franchetti, Marija D. Ilic:
On-line Decentralized Charging of Plug-In Electric Vehicles in Power Systems. - Charo I. Del Genio, Thilo Gross, Kevin E. Bassler:
Graphicality transitions in scale-free networks. - Raj Kumar Pan, Jari Saramäki:
The strength of strong ties in scientific collaboration networks. - Xiaoke Xu, Jie Zhang, Ping Li, Michael Small:
Optimizing and controlling functions of complex networks by manipulating rich-club connections. - Philippe Ryckelynck, Laurent Smoch:
Discrete calculus of variations for quadratic lagrangians. - Philippe Ryckelynck, Laurent Smoch:
Discrete Calculus of Variations for Quadratic Lagrangians. Convergence Issues. - Philippe Ryckelynck, Laurent Smoch:
Quadratic choreographies. - Bo Huang, Shiqian Ma, Donald Goldfarb:
Accelerated Linearized Bregman Method. - Joe Neeman:
A law of large numbers for weighted plurality. - Lovro Subelj, Marko Bajec:
Robust network community detection using balanced propagation. - Jukka-Pekka Onnela, Nicholas A. Christakis:
Spreading paths in partially observed social networks. - Tao Zhou, Zhi-Dan Zhao, Zimo Yang, Changsong Zhou:
Relative clock demonstrates the endogenous heterogeneity of human dynamics. - Markus Perling:
Resolutions and Cohomologies of Toric Sheaves. The affine case. - Saverio Bolognani, Sandro Zampieri:
Distributed control for optimal reactive power compensation in smart microgrids. - Edwin A. Henneken, Michael J. Kurtz
The ADS in the Information Age - Impact on Discovery. - Oliver Johnson, Dino Sejdinovic, James R. Cruise, Ayalvadi Ganesh, Robert J. Piechocki:
Non-parametric change-point detection using string matching algorithms. - Nick Gravin, Jean B. Lasserre, Dmitrii V. Pasechnik, Sinai Robins:
The inverse moment problem for convex polytopes. - Feng Niu, Benjamin Recht, Christopher Ré, Stephen J. Wright:
HOGWILD!: A Lock-Free Approach to Parallelizing Stochastic Gradient Descent. - Simon DeDeo:
Effective Theories for Circuits and Automata. - Dandan Hu, Peter Ronhovde, Zohar Nussinov:
A Replica Inference Approach to Unsupervised Multi-Scale Image Segmentation. - Cesar O. Aguilar, Arthur J. Krener:
Patchy Solution of a Francis-Byrnes-Isidori Partial Differential Equation. - Jinn-Wen Wu, Yu-Pin Luo, Ming-Chang Huang:
Characterizing the process of reaching consensus for social systems. - An Zeng, Linyuan Lu, Tao Zhou:
Reconstructing directed networks for better synchronization. - Stefka Bouyuklieva, Iliya Bouyukliev:
On the Classification of Binary Self-Dual Codes. - Stefka Bouyuklieva, Wolfgang Willems:
Singly-even self-dual codes with minimal shadow. - Stefka Bouyuklieva, Nikolay I. Yankov, Radka Russeva:
On the classification of binary self-dual [44,22,8] codes with an automorphism of order 3 or 7. - Aurélien Garivier:
A Propp-Wilson perfect simulation scheme for processes with long memory. - Indraneel Mukherjee, Cynthia Rudin, Robert E. Schapire:
The Rate of Convergence of AdaBoost. - Keqin Liu, Qing Zhao:
Deterministic Sequencing of Exploration and Exploitation for Multi-Armed Bandit Problems. - Gábor Ivanyos, Lajos Rónyai, Josef Schicho:
Splitting full matrix algebras over algebraic number fields. - Mauricio A. Álvarez, Lorenzo Rosasco, Neil D. Lawrence
Kernels for Vector-Valued Functions: a Review. - Francesco Noseda, Gilvan Oliveira, Luciane Quoos:
Bases for Riemann-Roch spaces of one point divisors on an optimal tower of function fields. - Matthias Lenz:
Matroids and log-concavity. - (Withdrawn) On a diameter bound for Cayley graphs generated by transposition trees.
- Nikhil Rao, Benjamin Recht, Robert D. Nowak:
Tight Measurement Bounds for Exact Recovery of Structured Sparse Signals.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: