default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, September 2011
- Robert E. Kent:
Semantic Integration in the IFF. - Stylianos P. Savaidis, Nikolaos I. Miridakis:
Statistical Model of Downlink Power Consumption in Cellular CDMA Networks. - Abbas Asosheh, Nafiseh Karimi, Hourieh Khodkari:
Provide a Model for Handover Technology in Wireless Networks. - Shibamouli Lahiri, Xiaofei Lu:
Inter-rater Agreement on Sentence Formality. - Sheikh Shanawaz Mostafa, Md. Mahbub Hossain
, Khondker Jahid Reza, Gazi Maniur Rashid:
A Radio Based Intelligent Railway Grade Crossing System to Avoid Collision. - Chaiwat Jassadapakorn, Prabhas Chongstitvatana:
Self-Adaptation Mechanism to Control the Diversity of the Population in Genetic Algorithm. - (Withdrawn) Comments on "Stack-based Algorithms for Pattern Matching on DAGs".
- Arup Kumar Pal, Anup Sar:
An Efficient Codebook Initialization Approach for LBG Algorithm. - Nicolas Le Roux, Francis R. Bach:
Local Component Analysis. - Heba Afify, Muhammad Islam, Manal Abdel Wahed:
DNA Lossless Differential Compression Algorithm based on Similarity of Genomic Sequence Database. - Xun Gong, Negar Kiyavash, Nabil Schear, Nikita Borisov:
Website Detection Using Remote Traffic Analysis. - Michael Gall, Thomas Grechenig, Mogens Bjerre:
Assessing the Feasibility of Developing a Federated ERP System. - Prateek Jain, Pravesh Kothari, Abhradeep Thakurta:
Differentially Private Online Learning. - Martin Gebser, Roland Kaminski, Torsten Schaub:
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. 12-25 - Gerhard Friedrich, Anna Ryabokon, Andreas A. Falkner, Alois Haselböck, Gottfried Schenner, Herwig Schreiner:
(Re)configuration based on model generation. 26-35 - Markus Aschinger, Conrad Drescher, Georg Gottlob:
Introducing LoCo, a Logic for Configuration Problems. 36-45 - Sheng-Gwo Chen, Jyh-Yang Wu:
Discrete Conservation Law on Curved Surfaces. - Sushma Yalamanchili, M. Kameswara Rao:
A Framework for Devanagari Script-based Captcha. - Andrey V. Makarenko, A. V. Pravdivtsev:
Architectural solutions of conformal network-centric staring-sensor systems with spherical field of view. - Atef Boujelben, Hedi Tmar, Jameleddine Mnif, Mohamed Abid:
Automatic Application Level Set Approach in Detection Calcifications in Mammographic Image. - Bahram Amini, Roliana Ibrahim, Mohd Shahizan Othman:
Discovering the Impact of Knowledge in Recommender Systems: A Comparative Study. - Jürgen Umbrich, Aidan Hogan, Axel Polleres:
Improving the recall of decentralised linked data querying through implicit knowledge. - Wei Chen, Wei Lin, Shizhen Huang:
A Novel VSWR-Protected and Controllable CMOS Class E Power Amplifier for Bluetooth Applications. - Carlos Gershenson:
Complexity. - Asadollah Shahbahrami, Ramin Bahrampour, Mobin Sabbaghi Rostami, Mostafa Ayoubi Mobarhan:
Evaluation of Huffman and Arithmetic Algorithms for Multimedia Compression Standards. - Umer Farooq, M. Aqeel Iqbal, Usman Shabbir, Sohail Nazir:
Critical Aspects of Modern Open Source SoftwareTechnology to Support Emerging Demands. - Partha Pratim Bhattacharya, Ronak Khandelwal, Rishita Gera, Anjali Agarwal:
Smart Radio Spectrum Management for Cognitive Radio. - Dimitris S. Papailiopoulos, Jianqiang Luo, Alexandros G. Dimakis, Cheng Huang, Jin Li:
Simple Regenerating Codes: Network Coding for Cloud Storage. - Michael T. Goodrich, Joseph A. Simons:
Fully Retroactive Approximate Range and Nearest Neighbor Searching. - William Mantzel, Justin K. Romberg, Karim Sabra:
Compressive Matched-Field Processing. - Olivier Danvy, Chung-chieh Shan:
Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011. EPTCS 66, 2011 [contents] - Lamia Yessad, Zizette Boufaïda:
A qos ontology-based component selection. - Robert E. Kent:
A KIF Formalization for the IFF Category Theory Ontology. - Jianqin Zhou:
On discrete cosine transform. - Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Maarten Löffler:
Planar and Poly-Arc Lombardi Drawings. - Tsachy Weissman, Young-Han Kim, Haim H. Permuter:
Directed Information, Causal Estimation, and Communication in Continuous Time. - T. R. Srinath, Mahendra Pratap Singh, Alwyn Roshan Pais:
Anonymity and verifiability in multi-attribute reverse auction. - Ján Sefránek, Alexander Simko:
Warranted Derivations of Preferred Answer. - Athanasios K. Tsakalidis, Kostas Tsichlas:
A Space-Optimal Hidden Surface Removal Algorithm for Iso-Oriented Rectangles. - Thierry Dumont:
Context Tree Estimation in Variable Length Hidden Markov Models. - Moreno Marzolla, Stefano Ferretti, Gabriele D'Angelo:
Auction-Based Resource Allocation in Digital Ecosystems. - Ram Zamir:
Anti-Structure Problems. - Yizhao Ni, Matt McVicar, Raúl Santos-Rodriguez, Tijl De Bie:
Meta-song evaluation for chord recognition. - Said Leghmizi, Sheng Liu:
A survey of fuzzy control for stabilized platforms. - Roberto Di Cosmo, Olivier Lhomme, Claude Michel:
Aligning component upgrades. 1-11 - Adam Barth, Saung Li, Benjamin I. P. Rubinstein, Dawn Song:
How Open Should Open Source Be? - Margareta Ackerman, David Loker, Alejandro López-Ortiz:
Orthogonal Query Expansion. - Jan Verschelde, Genady Yoffe:
Quality Up in Polynomial Homotopy Continuation by Multithreaded Path Tracking. - Mehrnoush Malekesmaeili, Cédric Chauve, Tamon Stephen:
A tight bound on the length of odd cycles in the incompatibility graph of a non-C1P matrix. - Emmanuel J. Candès, Yonina C. Eldar, Thomas Strohmer, Vladislav Voroninski:
Phase Retrieval via Matrix Completion. - Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska:
Solving Modular Model Expansion Tasks. - Prateek Mittal, Ahmed Khurshid, Joshua Juen, Matthew Caesar, Nikita Borisov:
Stealthy Traffic Analysis of Low-Latency Anonymous Communication Using Throughput Fingerprinting. - Sergey Kornienko, Olga Kornienko, Paul Levi:
Application of distributed constraint satisfaction problem to the agent-based planning in manufacturing systems. - Liang Li, Pinyan Lu, Yitong Yin:
Approximate Counting via Correlation Decay in Spin Systems. - G. Koteswara Rao, Roshan Kumar:
Framework to Integrate Business Intelligence and Knowledge Management in Banking Industry. - Josef Urban, Piotr Rudnicki, Geoff Sutcliffe:
ATP and Presentation Service for Mizar Formalizations. - C. Komalavalli, Chetna Laroiya:
Metadata Challenge for Query Processing Over Heterogeneous Wireless Sensor Network. - Krzysztof Kluza, Grzegorz J. Nalepa, Lukasz Lysik:
Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal. - Marwa Graja, Maher Jaoua, Lamia Hadrich Belguith:
Building Ontologies to Understand Spoken Tunisian Dialect. - Baocheng Wang, Chunming Tang, Yanfeng Qi, Yixian Yang, Maozhi Xu:
The Weight Distributions of Cyclic Codes and Elliptic Curves. - Rosemberg Silva, Antonio Campello, Ricardo Dahab:
LWE-based Identification Schemes. - Jesse Alama:
Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission. - Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine:
Translating Nondeterministic Functional Language based on Attribute Grammars into Java. - Jaydeep P. Bardhan, Matthew G. Knepley:
Mathematical Analysis of the BIBEE Approximation for Molecular Solvation: Exact Results for Spherical Inclusions. - Albert Fannjiang, Wenjing Liao:
Mismatch and resolution in compressive imaging. - Rama Murthy Garimella, Samdarshi Abhijeet, Deepti Singhal:
Doubly Optimal Secure Multicasting: Hierarchical Hybrid Communication Network : Disaster Relief. - Prodromos Tsiavos, Petros S. Stefaneas:
Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach. - Gan Zheng, Symeon Chatzinotas, Björn E. Ottersten:
Generic Optimization of Linear Precoding in Multibeam Satellite Systems. - Jia Xu, Yong Yao:
A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm. - Ashwin Ganesan:
On some sufficient conditions for distributed QoS support in wireless networks. - Sandeep Pratap Singh, Shiv Shankar Prasad Shukla, Nitin Rakesh, Vipin Tyagi:
Problem Reduction in Online Payment System Using Hybrid Model. - Joffrey Villard, Pablo Piantanida, Shlomo Shamai:
Hybrid Digital/Analog Schemes for Secure Transmission with Side Information. - Han-Xin Yang, Wen-Xu Wang, Zhi-Xi Wu, Bing-Hong Wang:
Traffic dynamics in scale-free networks with limited packet-delivering capacity. - Annmol Cherian, Ajay Augustine, Jemy Jose, Vinod Pangracious:
A Novel Methodology for Thermal Analysis & 3-Dimensional Memory Integration. - Chuan Huang, Rui Zhang, Shuguang Cui:
Throughput Maximization for the Gaussian Relay Channel with Energy Harvesting Constraints. - Feiyu Lin, Andrew Krizhanovsky:
Multilingual ontology matching based on Wiktionary data accessible via SPARQL endpoint. - Hideaki Kimura, Vivek R. Narasayya, Manoj Syamala:
Compression Aware Physical Database Design. - Robert Louis Cloud:
Problems in Modern High Performance Parallel I/O Systems. - Jing Zhang, Huaxi Gu, Yintang Yang:
An improved distributed routing algorithm for Benes based optical NoC. - Kinjal Shah, Gagan Dua, Dharmendar Sharma, Priyanka Mishra, Nitin Rakesh:
Transmission of Successful Route Error Message(RERR) in Routing Aware Multiple Description Video Coding over Mobile Ad-Hoc Network. - Peibo Xie, Huaxi Gu:
Intelligent Bees for QoS Routing in Networks-on-Chip. - Mao Ye, Xingjie Liu, Wang-Chien Lee:
Exploring Social Influence for Recommendation - A Probabilistic Generative Model Approach. - Nan Ni:
Tunable Dual-band IFA Antenna using LC Resonators. - Qian Wang, Kaihe Xu, Kui Ren:
Cooperative Secret Key Generation from Phase Estimation in Narrowband Fading Channels. - Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-Based Programming in Haskell. 1-23 - Azer Bestavros, Assaf J. Kfoury:
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report). 24-47 - Lucas Beyak, Jacques Carette:
SAGA: A DSL for Story Management. 48-67 - Dominic A. Orchard, Alan Mycroft:
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. 68-92 - Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun:
Building-Blocks for Performance Oriented DSLs. 93-117 - Basile Starynkevitch:
MELT - a Translated Domain Specific Language Embedded in the GCC Compiler. 118-142 - Eric Walkingshaw, Martin Erwig:
A DSEL for Studying and Explaining Causation. 143-167 - William R. Cook, Ralf Lämmel:
Tutorial on Online Partial Evaluation. 168-180 - Jeremy Gibbons:
Maximum Segment Sum, Monadically (distilled tutorial). 181-194 - Jerzy Karczmarczuk:
Specific "scientific" data structures, and their processing. 195-209 - Oleg Kiselyov:
Implementing Explicit and Finding Implicit Sharing in Embedded DSLs. 210-225 - Keiko Nakata:
Resumption-based big-step and small-step interpreters for While with interactive I/O. 226-235 - Walid Taha, Verónica Gaspes, Rex L. Page:
Accurate Programming: Thinking about programs in terms of properties. 236-260 - Adrian Sai-Wah Tam, Kang Xi, H. Jonathan Chao:
Trimming the Multipath for Efficient Dynamic Routing. - Song-Nam Hong, Giuseppe Caire:
Quantized Compute and Forward: A Low-Complexity Architecture for Distributed Antenna Systems. - Reinhard Heckel, Steffen Schober, Martin Bossert:
Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations. - Shai Shalev-Shwartz, Yonatan Wexler, Amnon Shashua:
ShareBoost: Efficient Multiclass Learning with Feature Sharing. - Enrico Formenti, Van Trung Pham, Ha Duong Phan, Tran Thi Thu Huong:
Fixed point forms of the parallel symmetric sandpile model. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
A Trellis Coded Modulation Scheme for the Fading Relay Channel. - Chengwen Xing, Minghua Xia, Feifei Gao, Yik-Chung Wu:
Robust Transceiver with Tomlinson-Harashima Precoding for Amplify-and-Forward MIMO Relaying Systems. - Xiaowei Zhou, Can Yang, Weichuan Yu:
Moving Object Detection by Detecting Contiguous Outliers in the Low-Rank Representation. - Anis Charrada, Abdelaziz Samet:
Nonlinear Channel Estimation for OFDM System by Complex LS-SVM under High Mobility Conditions. - Marco Baldi, Marco Bianchi, Franco Chiaraluce:
Increasing Physical Layer Security through Scrambled Codes and ARQ. - Daniele Mundici, Claudia Picardi:
Drawing Sound Conclusions from Unsound Premises. - Dirk Lewandowski, Ulrike Spree:
Ranking of Wikipedia articles in search engines revisited: Fair ranking for reasonable quality? - Matthias Bechmann, Angelika Sebald, Susan Stepney:
Boolean logic gate design principles in unconventional computers: an NMR case study. - Benjamin G. Kelly, Aaron B. Wagner:
Reliability in Source Coding with Side Information. - Md. Monzur Morshed, Meftah Ur Rahman, Md. Rafiqul Islam:
An Empirical Study on variants of TCP over AODV routing protocol in MANET. - Manoj Kumar:
Impact of the Evolution of Smart Phones in Education Technology and its Application in Technical and Professional Studies: Indian Perspective. - Attila Pereszlényi:
On quantum interactive proofs with short messages. - Prateek Mittal, Matthew Caesar, Nikita Borisov:
X-Vine: Secure and Pseudonymous Routing Using Social Networks. - Robert E. Kent:
The Information Flow Framework: New architecture. - Lingjie Duan, Alexander W. Min, Jianwei Huang, Kang G. Shin:
Attack Prevention for Collaborative Spectrum Sensing in Cognitive Radio Networks. - Ronald M. Caplan, Ricardo Carretero-González:
A Two-Step High-Order Compact Scheme for the Laplacian Operator and its Implementation in an Explicit Method for Integrating the Nonlinear Schrödinger Equation. - Emanuele Coviello, Antoni B. Chan, Gert R. G. Lanckriet:
Tech Report A Variational HEM Algorithm for Clustering Hidden Markov Models. - Jianquan Liu, Meixia Tao, Youyun Xu:
Joint Network Coding and Opportunistic Transmission for Two-Way Relay Fading Channels. - Ion Petre, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents] - Weiliang Zeng, Chengshan Xiao, Mingxi Wang, Jianhua Lu:
On the Linear Precoder Design for MIMO Channels with Finite-Alphabet Inputs and Statistical CSI. - Shaddin Dughmi, Tim Roughgarden, Jan Vondrák, Qiqi Yan:
An approximately truthful-in-expectation mechanism for combinatorial auctions using value queries. - Shaddin Dughmi, Jan Vondrák:
Limitations of randomized mechanisms for combinatorial auctions. - Risheng Liu, Zhouchen Lin, Wei Zhang, Kewei Tang, Zhixun Su:
Toward Designing Intelligent PDEs for Computer Vision: An Optimal Control Approach. - Seok-Ho Yoon, Sang-Wook Kim, Sunju Park:
C-Rank: A Link-based Similarity Measure for Scientific Literature Databases. - G. Victo Sudha George, Velankanni Cyril Raj:
Review on Feature Selection Techniques and the Impact of SVM for Cancer Classification using Gene Expression Profile. - Seok-Ho Yoon, Ki-Nam Kim, Sang-Wook Kim, Sunju Park:
A Community-Based Sampling Method Using DPL for Online Social Network. - A. Padma, R. Sukanesh:
Automatic Diagnosis of Abnormal Tumor Region from Brain Computed Tomography Images Using Wavelet Based Statistical Texture Features. - K. Karteeka Pavan, Allam Appa Rao, A. V. Dattatreya Rao:
An Automatic Clustering Technique for Optimal Clusters. - Martin Aruldoss, Na. Ba. Anutthamaa, M. Sathyavathy, Marie Manjari Saint Francois, V. Prasanna Venkatesan:
A Framework for Predicting Phishing Websites using Neural Networks. - Martin Aruldoss, M. Manjula, V. Prasanna Venkatesan:
A Business Intelligence Model to Predict Bankruptcy using Financial Domain Ontology with Association Rule Mining Algorithm. - Martin Aruldoss, D. Maladhy, V. Prasanna Venkatesan:
A Framework for Business Intelligence Application using Ontological Classification. - Martin Aruldoss, T. Miranda Lakshmi, J. Madhusudanan:
Multi Agent Communication System for Online Auction with Decision Support System by JADE and TRACE. - Xiongping Dai, Yu Huang, Mingqing Xiao:
Stability of time-varying nonlinear switching systems under perturbations. - Jianqin Zhou:
Embedding Constructions of Tail-Biting Trellises for Linear Block Codes. - Shervan Fekri Ershad:
Color Texture Classification Approach Based on Combination of Primitive Pattern Units and Statistical Features. - Anis Ismail, Aziz Barbar, Ziad Ismail:
P2P Simulator for Queries Routing using Data Mining. - M. Venkatesan, Arunkumar Thangavelu, P. Prabhavathy:
Event Centric Modeling Approach in Colocation Pattern Snalysis from Spatial Data. - Pravin M. Kamde, Siddu P. Algur:
A Survey on Web Multimedia Mining. - Alexander Shekhovtsov, Václav Hlavác:
A Distributed Mincut/Maxflow Algorithm Combining Path Augmentation and Push-Relabel. - Anis Ismail, Aziz Barbar:
P2P Domain Classification using Decision Tree. - Alexander Shekhovtsov, Václav Hlavác:
On Partial Opimality by Auxiliary Submodular Problems. - Mohammad Ali Tebbi, Mahtab Mirmohseni, Mahmoud Ahmadian-Attari, Mohammad Reza Aref:
An Achievable Rate Region for a Two-Relay Network with Receiver-Transmitter Feedback. - Hervé Fournier, Antoine Vigneron:
A deterministic algorithm for fitting a step function to a weighted point-set. - Arezoo Rajaei, Ahmad Baraani-Dastjerdi, Nasser Ghasem-Aghaee:
An Extension of Semantic Proximity for Fuzzy Multivalued Dependencies in Fuzzy Relational Database. - Lutz Bornmann, Loet Leydesdorff:
Which cities' paper output and citation impact are above expectation in information science? Some improvements of our previous mapping approaches. - Stefanie Wuhrer, Chang Shu:
Estimating 3D Human Shapes from Measurements. - Yan-Bo Zhou, Linyuan Lü, Menghui Li:
Quantifying the influence of scientists and their publications: Distinguish prestige from popularity. - Abhijit Raorane, R. V. Kulkarni:
Data Mining Techniques: A Source for Consumer Behavior Analysis. - C. Ramya, G. Kavitha:
An Efficient Preprocessing Methodology for Discovering Patterns and Clustering of Web Users using a Dynamic ART1 Neural Network. - Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle:
A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks. - Vikas J. Dongre, Vijay H. Mankar:
Devnagari document segmentation using histogram approach. - Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini:
Optimal Placement of Valves in a Water Distribution Network with CLP(FD). - Yushan Chen, Xu Chu Ding, Calin Belta:
Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications. - Matthew Aldridge:
Interference Mitigation in Large Random Wireless Networks. - J. Progsch, Yves Ineichen, Andreas Adelmann:
A New Vectorization Technique for Expression Templates in C++. - (Withdrawn) FEBER: Feedback Based Erasure Recovery for Real-Time Multicast over 802.11 Networks.
- Boyan Yordanov, Calin Belta:
A Formal Verification Approach to the Design of Synthetic Gene Networks. - Rohan Agrawal:
Application of the Modified 2-opt and Jumping Gene Operators in Multi-Objective Genetic Algorithm to solve MOTSP. - Osvaldo Simeone, Haim H. Permuter:
Source Coding When the Side Information May Be Delayed. - Hakik Paci, Elinda Kajo, Igli Tafa, Aleksander Xhuvani:
Adding a new site in an existing Oracle Multimaster replication without quiescing the replication. - Tom Schaul, Julian Togelius, Jürgen Schmidhuber:
Measuring Intelligence through Games. - Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën:
Lifted Unit Propagation for Effective Grounding. - Edith Cohen, Haim Kaplan:
Get the Most out of Your Sample: Optimal Unbiased Estimators using Partial Information. - Ziqiang Shi, Tieran Zheng, Jiqing Han:
Trace Norm Regularized Tensor Classification and Its Online Learning Approaches. - Mihai Cucuringu, Michael W. Mahoney:
Localization on low-order eigenvectors of data matrices. - Agus Pratondo:
Representation for alphanumeric data type based on space and speed case study: Student ID of X university. - Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments. 3-18 - Luca Bortolussi, Alberto Policriti:
Programmable models of growth and mutation of cancer-cell populations. 19-33 - Vashti Galpin, Jane Hillston, Federica Ciocchetta:
A semi-quantitative equivalence for abstracting from fast reactions. 34-49 - Livio Bioglio:
A Minimal OO Calculus for Modelling Biological Systems. 50-64 - Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter:
A Study of the PDGF Signaling Pathway with PRISM. 65-81 - Pietro Liò, Emanuela Merelli, Nicola Paoletti:
Multiple verification in computational modeling of bone pathologies. 82-96 - Róbert Ormándi, István Hegedüs, Márk Jelasity:
Efficient P2P Ensemble Learning with Linear Models on Fully Distributed Data. - (Withdrawn) A georeferenced Agent-Based Model to analyze the climate change impacts on the Andorra winter tourism.
- Paul Bone, Zoltan Somogyi, Peter Schachte:
Estimating the overlap between dependent computations for automatic parallelization. - Paul Bone, Zoltan Somogyi:
Profiling parallel Mercury programs with ThreadScope. - Anis Ismail, Abd El Salam Al Hajjar, Mohammad Hajjar:
A Prototype System for Controlling a Computer by Head Movements and Voice Commands. - Christian Bachmaier, Franz-Josef Brandenburg, Philip Effinger, Carsten Gutwenger, Jyrki Katajainen, Karsten Klein, Miro Spönemann, Matthias Stegmaier, Michael Wybrow:
The Open Graph Archive: A Community-Driven Effort. - Alexander Shekhovtsov, Pushmeet Kohli, Carsten Rother:
Curvature Prior for MRF-based Segmentation and Shape Inpainting. - Ayelet Butman, Peter Clifford, Raphaël Clifford, Markus Jalsenius, Noa Lewenstein, Benny Porat, Ely Porat, Benjamin Sach:
Pattern Matching under Polynomial Transformation. - Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Structured Knowledge Representation for Image Retrieval. - Dirk Sudholt:
A New Method for Lower Bounds on the Running Time of Evolutionary Algorithms. - Ravi Tandon, Soheil Mohajer, H. Vincent Poor:
On the Symmetric Feedback Capacity of the K-user Cyclic Z-Interference Channel. - Michael A. Burr, Eynat Rafalin, Diane L. Souvaine:
Dynamic Maintenance of Half-Space Depth for Points and Contours. - Robert E. Kent:
Conceptual Knowledge Markup Language: The central core. - Ardeshir Kianercy, Aram Galstyan:
Dynamics of Softmax Q-Learning in Two-Player Two-Action Games. - John W. Byers, Michael Mitzenmacher, Georgios Zervas:
Daily Deals: Prediction, Social Diffusion, and Reputational Ramifications. - Wenhan Dai, Yi Gai, Bhaskar Krishnamachari:
Efficient Online Learning for Opportunistic Spectrum Access. - Alina Ene, Sungjin Im, Benjamin Moseley:
Fast Clustering using MapReduce. - Trong Duong Quoc, Heiko Perkuhn, Daniel Catrein, Uwe Naumann, Toni Anwar:
Optimization and Evaluation of a Multimedia Streaming Service on Hybrid Telco cloud. - Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for Timed Concurrent Constraint programs. - Aly El Gamal, V. Sreekanth Annapureddy, Venugopal V. Veeravalli:
Degrees of Freedom (DoF) of Locally Connected Interference Channels with Coordinated Multi-Point (CoMP) Transmission. - Matthew Rocklin, Ali Pinar:
On Clustering on Graphs with Multiple Edge Types. - Yi Gai, Bhaskar Krishnamachari, Mingyan Liu:
Online Learning for Combinatorial Network Optimization with Restless Markovian Rewards. - Son Doan, Bao-Khanh Ho Vo, Nigel Collier:
An analysis of Twitter messages in the 2011 Tohoku Earthquake. - (Withdrawn) An Efficient Hybrid Power Control Algorithm for Capacity Improvement of CDMA-based Fixed Wireless Applications.
- Guangcan Liu, Huan Xu, Shuicheng Yan:
Exact Subspace Segmentation and Outlier Detection by Low-Rank Representation. - Ardhendu Mandal:
BRIDGE: A Model for Modern Software Development Process to Cater the Present Software Crisis. - Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract). 97-112 - Ardhendu Mandal, Subhas Chandra Pal:
An Empirical Study and Analysis of the Dynamic Load Balancing Techniques Used in Parallel Computing Systems. - Ardhendu Mandal:
SRS BUILDER 1.0: An Upper Type CASE Tool For Requirement Specification. - Tamal Sarkar, Samir Chandra Das, Ardhendu Mandal:
A Study of Computer-Based Simulations for Nano-Systems and their types. - Ghosheh Abed Hodtani:
A New Rate Region for General Interference Channel (Improved HK Region). - Gabriele Nebe:
An extremal [72,36,16] binary code has no automorphism group containing Z2xZ4, Q_8, or Z_{10}. - Gabriele Nebe:
On extremal self-dual ternary codes of length 48. - Prateek Karandikar, Philippe Schnoebelen:
Cutting Through Regular Post Embedding Problems. - Grey Ballard, James Demmel, Olga Holtz, Oded Schwartz:
Graph Expansion and Communication Costs of Fast Matrix Multiplication. - Steven Awodey, Florian Rabe:
Kripke Semantics for Martin-Löf's Extensional Type Theory. - Immanuel Halupczok, André Schulz:
Pinning Balloons with Perfect Angles and Optimal Area. - Esha Ghosh, Subhas Kumar Ghosh, C. Pandu Rangan:
On the Fault Tolerance and Hamiltonicity of the Optical Transpose Interconnection System of Non-Hamiltonian Base Graphs. - Jinwoo Shin:
The Complexity of Approximating a Bethe Equilibrium. - Nan Wang, Jizhong Han, Jinyun Fang:
Anomaly Sequences Detection from Logs Based on Compression. - Denis Deratani Mauá, Cassio Polpo de Campos, Marco Zaffalon:
Solving Limited Memory Influence Diagrams. - Jörg Lässig, Dirk Sudholt:
Analysis of Speedups in Parallel Evolutionary Algorithms for Combinatorial Optimization. - Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel:
Conjure Revisited: Towards Automated Constraint Modelling. - Alberto Pepe, Matthew S. Mayernik:
The use of microblogging for field-based scientific research. - Robert E. Kent, C. Mic Bowman:
Digital Libraries, Conceptual Knowledge Systems, and the Nebula Interface. - Caleb T. Phillips, Douglas C. Sicker, Dirk Grunwald:
The Stability of The Longley-Rice Irregular Terrain Model for Typical Problems. - Margareta Ackerman, Shai Ben-David, Simina Brânzei, David Loker:
Weighted Clustering. - Rohit Pandharkar, Ashok Veeraraghavan, Ramesh Raskar:
Progressive versus Random Projections for Compressive Capture of Images, Lightfields and Higher Dimensional Visual Signals. - (Withdrawn) A Capacity Improvement Method for CDMA based Mesh Networks in SUI Multipath Fading Channels.
- Muhammad Yasir Malik:
Efficient Implementation of Elliptic Curve Cryptography Using Low-power Digital Signal Processor. - Tae Qinghui, Muhammad Yasir Malik, Youngjee Hong, Jinwoo Park:
A Real-time Localization System Using RFID for Visually Impaired. - Mahesh R. Dube, Shantanu K. Dixit:
Comprehensive measurement framework for enterprise architectures. - Yuzhe Jin, Bhaskar D. Rao:
Support Recovery of Sparse Signals in the Presence of Multiple Measurement Vectors. - David Monniaux, Martin Bodin:
Modular Abstractions of Reactive Nodes using Disjunctive Invariants. - Ville Junnila, Tero Laihonen, Aline Parreau:
Tolerant identification with Euclidean balls. - Jean-Marc Thiery, Julien Tierny, Tamy Boubekeur:
Jacobians and Hessians of Mean Value Coordinates for Closed Triangular Meshes. - Katya Vladislavleva, Tobias Friedrich, Frank Neumann, Markus Wagner:
Predicting the Energy Output of Wind Farms Based on Weather Data: Important Variables and their Correlation. - (Withdrawn) Alternative Awaiting and Broadcast for Two-Way Relay Fading Channels.
- Marie-Louise Bruner, Martin Lackner:
A W[1]-Completeness Result for Generalized Permutation Pattern Matching. - Timothy Hunter, Ryan Herring, Pieter Abbeel, Alexandre M. Bayen:
The path inference filter: model-based low-latency map matching of probe vehicle data. - L. K. Joshila Grace, V. Maheswari, Dhinaharan Nagamalai:
Efficient Personalized Web Mining: Utilizing The Most Utilized Data. - Edouard Grave, Guillaume Obozinski, Francis R. Bach:
Trace Lasso: a trace norm regularization for correlated designs. - L. K. Joshila Grace, V. Maheswari, Dhinaharan Nagamalai:
Effective Personalized Web Mining by Utilizing The Most Utilized Data. - Adrien Friggeri, Eric Fleury:
Maximizing the Cohesion is NP-hard. - Stefan Hallerstede, Michael Leuschel:
Constraint-Based Deadlock Checking of High-Level Specifications. - Nadeem Javaid, Ayesha Bibi, Akmal Javaid, Shahzad Ali Malik:
Modeling Routing Overhead Generated by Wireless Proactive Routing Protocols. - Justin Bayer, Christian Osendorfer, Patrick van der Smagt:
Learning Sequence Neighbourhood Metrics. - Nitesh V. Chawla, Grigoris I. Karakoulas:
Learning From Labeled And Unlabeled Data: An Empirical Study Across Techniques And Domains. - Greg Barish, Craig A. Knoblock:
An Expressive Language and Efficient Execution System for Software Agents. - Anton Belov, Matti Järvisalo:
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability. - Nees Jan van Eck, Ludo Waltman:
Text mining and visualization using VOSviewer. - Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan:
Formal Analysis of UMTS Privacy. - Shuchi Chawla, Nicole Immorlica, Brendan Lucier:
On the Impossibility of Black-Box Transformations in Mechanism Design. - Arlindo Lima, Miguel Goulão, Miguel Pessoa Monteiro:
Evidence-Based Comparison of Modularity Support Between Java and Object Teams. - Yi Gai, Bhaskar Krishnamachari:
Online Learning Algorithms for Stochastic Water-Filling. - Maria Chudnovsky, Andrew D. King, Matthieu Plumettaz, Paul D. Seymour:
A local strengthening of Reed's ω, Δ, χ conjecture for quasi-line graphs. - Daniel Kharitonov:
Net-Centric World: Lifestyle of the 21st Century. - Valentina Bayer Zubek, Thomas G. Dietterich:
Integrating Learning from Examples into the Search for Diagnostic Policies. - Günes Erkan, Dragomir R. Radev:
LexRank: Graph-based Lexical Centrality as Salience in Text Summarization. - P. E. Dunne:
Extremal Behaviour in Multiagent Contract Negotiation. - Andrés Montoyo, Manuel Palomar, German Rigau, Armando Suárez:
Combining Knowledge- and Corpus-based Word-Sense-Disambiguation Methods. - Javier Larrosa, Enric Morancho, David Niso:
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study. - Ranjit Nair, Milind Tambe:
Hybrid BDI-POMDP Framework for Multiagent Teaming. - Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes:
Generalizing Boolean Satisfiability II: Theory. - Prashant Doshi, Piotr J. Gmytrasiewicz:
A Framework for Sequential Planning in Multi-Agent Settings. - Pamela W. Jordan, Marilyn A. Walker:
Learning Content Selection Rules for Generating Object Descriptions in Dialogue. - Pedro M. Domingos, Sumit K. Sanghai, Daniel S. Weld:
Relational Dynamic Bayesian Networks. - Norman Y. Foo, Quoc Bao Vo:
Reasoning about Action: An Argumentation - Theoretic Approach. - Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs. - Philipp Cimiano, Andreas Hotho, Steffen Staab:
Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis. - Roni Khardon, Dan Roth, Rocco A. Servedio:
Efficiency versus Convergence of Boolean Kernels for On-Line Learning Algorithms. - Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes:
Generalizing Boolean Satisfiability III: Implementation. - Manfred Jaeger:
Ignorability in Statistical and Probabilistic Inference. - Matthijs T. J. Spaan, Nikos Vlassis:
Perseus: Randomized Point-based Value Iteration for POMDPs. - Nicolás García-Pedrajas, César Hervás-Martínez, Domingo Ortiz-Boyer:
CIXL2: A Crossover Operator for Evolutionary Algorithms Based on Population Features. - Peter Geibel, Fritz Wysotzki:
Risk-Sensitive Reinforcement Learning Applied to Control under Constraints. - Luc De Raedt, Kristian Kersting, Tapani Raiko:
Logical Hidden Markov Models. - Georg Gottlob, Gianluigi Greco, Francesco Scarcello:
Pure Nash Equilibria: Hard and Easy Games. - Blai Bonet, Hector Geffner:
mGPT: A Probabilistic Planner Based on Heuristic Search. - Adi Botea, Markus Enzenberger, Martin Müller, Jonathan Schaeffer:
Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators. - Subbarao Kambhampati, Menkes Hector Louis van den Briel:
Optiplan: Unifying IP-based and Graph-based Planning. - Alan Fern, Robert Givan, Sung Wook Yoon:
Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes. - Eric Berberich, Dan Halperin, Michael Kerber, Roza Pogalnikova:
Deconstructing Approximate Offsets. - Andrew R. A. McGrae, Michele Zito:
The Complexity of the Empire Colouring Problem. - Piotr Frackiewicz:
Quantum information approach to the ultimatum game. - Subhash Khot, Preyas Popat, Nisheeth K. Vishnoi:
$2^{\log^{1-\eps} n}$ Hardness for Closest Vector Problem with Preprocessing. - Bowen Yan, Steve Gregory:
Finding missing edges and communities in incomplete networks. - Lars Wortel:
Side Effects in Steering Fragments. - Kunal Narayan Chaudhury:
A radial version of the Central Limit Theorem. - Avrim Blum, Katrina Ligett, Aaron Roth:
A Learning Theory Approach to Non-Interactive Database Privacy. - Rakesh Mohanty, Burle Sharma, Sasmita Tripathy:
Characterization of Request Sequences for List Accessing Problem and New Theoretical Results for MTF Algorithm. - Rakesh Mohanty, Seetaya Bhoi, Sasmita Tripathy:
A New Proposed Cost Model for List Accessing Problem using Buffering. - Hector Zenil:
The World is Either Algorithmic or Mostly Random. - Robert E. Kent:
The Standard Aspect of Dialectical Logic. - Tianqi Chen, Zhao Zheng, Qiuxia Lu, Weinan Zhang, Yong Yu:
Feature-Based Matrix Factorization. - Zai Yang, Cishen Zhang, Lihua Xie:
On Phase Transition of Compressed Sensing in the Complex Domain. - Bhargav Balakrishnan:
Efficiency of Biometric integration with Salt Value at an Enterprise Level and Data Centres. - Bhargav Balakrishnan:
Case study and analysis of WAN Optimization pre-requirements. - Serge Kernbach, Florian Schlachter, Raja Humza, Jens Liedke, Sergej Popesku, Sheila Russo, Tommaso Ranzani, Luigi Manfredi, Cesare Stefanini, Rene Matthias, Christopher S. F. Schwarzer, Benjamin Girault, P. Alschbach, Eugen Meister, Oliver Scholz:
Heterogeneity for Increasing Performance and Reliability of Self-Reconfigurable Multi-Robot Organisms. - Prabhanjan Vijendra Ananth, Ambedkar Dukkipati:
An Algebraic Characterization of Rainbow Connectivity. - Bhargav Balakrishnan:
Efficient management of IT Infrastructure implementation and support at enterprise level. - Dotan Di Castro, Claudio Gentile, Shie Mannor:
Bandits with an Edge. - Sheikh Shanawaz Mostafa, Khondker Jahid Reza, Gazi Maniur Rashid, Muhammad Moinuddin, Md. Ziaul Amin, Abdullah Al Nahid:
An Efficient Paging Algorithm for Multi-Carrier CDMA System. - Srikumar Ramalingam, Chris Russell, Lubor Ladicky, Philip H. S. Torr:
Efficient Minimization of Higher Order Submodular Functions using Monotonic Boolean Functions. - Loet Leydesdorff:
An Evaluation of Impacts in "Nanoscience & nanotechnology:" Steps towards standards for citation analysis. - Junting Chen, Vincent K. N. Lau:
Convergence Analysis of Saddle Point Problems in Time Varying Wireless Systems - Control Theoretical Approach. - Anwitaman Datta, Frédérique E. Oggier:
An Overview of Codes Tailor-made for Networked Distributed Data Storage. - L. Jegatha Deborah, Ramachandran Baskaran, Arputharaj Kannan:
Visualizing Domain Ontology using Enhanced Anaphora Resolution Algorithm. - Herman J. Haverkort:
An inventory of three-dimensional Hilbert space-filling curves. - Baisa L. Gunjal, Suresh N. Mali:
Secured color image watermarking technique in DWT-DCT domain. - Thomas Jenrich:
Guaranteed successful strategies for a square achievement game on an n by n grid. - Adele E. Howe, Jean-Paul Watson, L. Darrell Whitley:
Linking Search Space Structure, Run-Time Dynamics, and Problem Difficulty: A Step Toward Demystifying Tabu Search. - Fadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah:
Breaking Instance-Independent Symmetries In Exact Graph Coloring. - Axel Eirola:
Lossless data compression on GPGPU architectures. - Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux:
Decision-Theoretic Planning with non-Markovian Rewards. - Marko D. Petkovic, Dragoljub Pokrajac, Longin Jan Latecki:
Spherical coverage verification. - Emre Akbas, Bernard Ghanem, Narendra Ahuja:
MIS-Boost: Multiple Instance Selection Boosting. - Bernard Ghanem, Narendra Ahuja:
A Probabilistic Framework for Discriminative Dictionary Learning. - Francis R. Bach, Rodolphe Jenatton, Julien Mairal, Guillaume Obozinski:
Structured sparsity through convex optimization. - Ernesto Pimentel, Valentín Valero:
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. EPTCS 68, 2011 [contents] - David Monniaux, Julien Le Guen:
Stratified Static Analysis Based on Variable Dependencies. - Mark Schmidt, Nicolas Le Roux, Francis R. Bach:
Convergence Rates of Inexact Proximal-Gradient Methods for Convex Optimization. - Sali Emruli, Miroslav Baca:
Internet and political communication - Macedonian case. - Sali Emruli, Tahir Zejneli, Florin Agai:
Facebook and political communication -- Macedonian case. - Carlo Meghini, Yannis Tzitzikas, Veronica Coltella, Anastasia Analyti:
Query processing in distributed, taxonomy-based information sources. - M. Rajalakshmi, T. Purusothaman, Raju Nedunchezhian:
Maximal frequent itemset generation using segmentation approach. - Indrajit Banerjee, Prasenjit Chanak, Hafizur Rahaman:
CCABC: Cyclic Cellular Automata Based Clustering For Energy Conservation in Sensor Networks. - Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Expressiveness of Communication in Answer Set Programming. - Jan Funke, Björn Andres, Fred A. Hamprecht, Albert Cardona, Matthew Cook:
Multi-Hypothesis CRF-Segmentation of Neural Tissue in Anisotropic EM Volumes. - Daniel Dadush:
A O(1/eps^2)^n Time Sieving Algorithm for Approximate Integer Programming. - Anina Weber, Geo Taglioni:
Swiss Elections to the National Council: First trials with e-voting in elections at federal level. - Charanpal Dhanjal, Stéphan Clémençon, Héctor de Arazoza, Fabrice Rossi, Viet-Chi Tran:
The Evolution of the Cuban HIV/AIDS Network. - Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. - Guoqiang Zhang, Janusz Klejsa, W. Bastiaan Kleijn:
Optimal Index Assignment for Multiple Description Scalar Quantization. - Jael Kriener, Andy King:
RedAlert: Determinacy Inference for Prolog. - Joong Bum Rhim, Lav R. Varshney, Vivek K. Goyal:
Quantization of Prior Probabilities for Collaborative Distributed Hypothesis Testing. - Jing Yang, Yanpei Liu, Stark C. Draper:
Optimal Backpressure Scheduling in Wireless Networks using Mutual Information Accumulation. - Xiaomeng Shi, Muriel Médard, Daniel Enrique Lucani:
Whether and Where to Code in the Wireless Relay Channel. - Jaap-Henk Hoepman:
In Things We Trust? Towards trustability in the Internet of Things. - Nitin Garg, Ed Zhu, Fabiano C. Botelho:
Light-weight Locks. - Christian Sommer:
More Compact Oracles for Approximate Distances in Planar Graphs. - Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider:
Timed Automata Semantics for Visual e-Contracts. 7-21 - Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. 23-37 - François Hantry, Mohand-Said Hacid:
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages. 39-53 - Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider:
From Contracts in Structured English to CL Specifications. 55-69 - Daniel Gorín, Sergio Mera, Fernando Schapachnik:
A Software Tool for Legal Drafting. 71-86 - Siavash Bayat, Raymond H. Y. Louie, Yonghui Li, Branka Vucetic:
Cooperative Cognitive Radio for Multiple Primary and Secondary Users. - Sali Emruli, Tahir Zejneli, Florin Agai:
YouTube and political communication -- Macedonian case. - Cyril Gavoille, Quentin Godfroy, Laurent Viennot:
Node-Disjoint Multipath Spanners and their Relationship with Fault-Tolerant Spanners. - Amy Poh Ai Ling, Masao Mukaidono:
Selection of Model in Developing Information Security Criteria for Smart Grid Security System. - Wei Yang, Giuseppe Durisi, Veniamin I. Morgenshtern, Erwin Riegler:
Capacity Pre-Log of SIMO Correlated Block-Fading Channels. - António Morgado, João Marques-Silva:
On Validating Boolean Optimizers. - Kyatsandra G. Nagananda, Chandra R. Murthy, Shalinee Kishore:
Secure Broadcasting With Side-Information. - Kyatsandra G. Nagananda, Chandra R. Murthy, Shalinee Kishore:
Two Classes of Broadcast Channels With Side-Information: Capacity Outer Bounds. - Thomas Wolf, Eberhard Schrüfer, Kenneth Webster:
Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. - Evangelos Stromatias:
Developing a supervised training algorithm for limited precision feed-forward spiking neural networks. - Bowen Yan, Steve Gregory:
Finding missing edges in networks based on their community structure. - Damien Cassou, Serge Stinckwich, Pierrick Koch:
Using the DiaSpec design language and compiler to develop robotics systems. - Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall:
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications. - Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy:
On Kahan's Rules for Determining Branch Cuts. - Wael Jaafar, Wessam Ajib, David Haccoun:
A Novel Relay-Aided Transmission Scheme in Cognitive Radio Networks. - M'hamed Rahmouni:
MDA-based ATL transformation to generate MVC 2 web models. - Mordecai J. Golin, John Iacono, Danny Krizanc, Rajeev Raman, S. Srinivasa Rao:
Encoding 2-D Range Maximum Queries. - Yuan Li, Haibin Kan:
On the nonexistence of $[\binom{2m}{m-1}, 2m, \binom{2m-1}{m-1}]$, $m$ odd, complex orthogonal design. - Travis Gagie, Pawel Gawrychowski, Simon J. Puglisi:
Faster Approximate Pattern Matching in Compressed Repetitive Texts. - Zhengdao Wang:
Real Interference Alignment and Degrees of Freedom Region of Wireless X Networks. - Susan E. Martonosi, Doug Altner, Michael Ernst, Elizabeth Ferme, Kira Langsjoen, Danika Lindsay, Sean Plott, Andrew S. Ronan:
A New Framework for Network Disruption. - Sina Firouzabadi, Andrea J. Goldsmith:
Downlink Performance and Capacity of Distributed Antenna Systems. - Junjie Zhu, Siddhartan Govindasamy:
Performance of Multi-Antenna MMSE Receivers in Non-homogeneous Poisson Networks. - Baoqi Huang, Tao Li, Brian D. O. Anderson, Changbin Yu:
A Statistically Modelling Method for Performance Limits in Sensor Localization. - Seung Min Yu, Seong-Lyun Kim:
Some Useful Distributions and Probabilities for Cellular Networks. - Maryam Faramarzi Yazd, Ghosheh Abed Hodtani:
A Delay-Constrained General Achievable Rate and Certain Capacity Results for UWB Relay Channel. - Sergey Andreyev:
Rejecting Adaptive Interface. - Weng-Long Chang, Mang Feng, Kawuu Weicheng Lin, Chih-Chiang Wang, Ju-Chin Chen:
Quantum Algorithms of Solving the Backtracking of One-dimensional Cellular Automata. - Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang:
Nested Hoare Triples and Frame Rules for Higher-order Store. - Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov:
Impersonal Failure Detection. - Hernan Haimovich, Julio H. Braslavsky:
Sufficient conditions for the genericity of feedback stabilisability of switching systems via Lie-algebraic solvability. - Alexey L. Lastovetsky, Ravi Reddy, Vladimir Rychkov, David Clarke:
Design and implementation of self-adaptable parallel algorithms for scientific computing on highly heterogeneous HPC platforms. - Rakesh Mohanty, Manas Das, M. Lakshmi Prasanna, Sudhashree:
Design and Performance Evaluation of A New Proposed Fittest Job First Dynamic Round Robin(FJFDRR) Scheduling Algorithm. - Himansu Sekhar Behera, Rakesh Mohanty, Sabyasachi Sahu, Sourav Kumar Bhoi:
Comparative performance analysis of multi dynamic time quantum Round Robin(MDTQRR) algorithm with arrival time. - Demetres Christofides, Katherine Edwards, Andrew D. King:
A note on hitting maximum and maximal cliques with a stable set. - Martin Josef Geiger, Marc Sevaux:
On the use of reference points for the biobjective Inventory Routing Problem. - Wangmei Guo, Ning Cai, Qifu Tyler Sun:
Convolutional Network Coding Based on Matrix Power Series Representation. - Philipp Walk, Peter Jung:
Approximation of Löwdin Orthogonalization to a Spectrally Efficient Orthogonal Overlapping PPM Design for UWB Impulse Radio. - Shiri Chechik:
Improved Distance Oracles for Vertex-Labeled Graphs. - Vladimir S. Lerner:
The mathematical law of evolutionary information dynamics and an observer's evolution regularities. - Evgeniy V. Martyushev:
A Non-Iterative Solution to the Four-Point Three-Views Pose Problem in Case of Collinear Cameras. - Massimiliano Dal Mas:
Folksodriven Structure Network. - Alexander C. Shkolnik, Russ Tedrake:
Sample-Based Planning with Volumes in Configuration Space. - Abhishek Sinha, Swagatam Das, Athanasios V. Vasilakos:
On Periodic Node Deployment in Wireless Sensor Networks: A Statistical Analysis. - Arman C. Kizilkale, Shie Mannor:
Regulation, Volatility and Efficiency in Continuous-Time Markets. - Boyu Li, Ender Ayanoglu:
Multiple Beamforming with Perfect Coding. - Cristopher Moore, Xiaoran Yan, Yaojia Zhu, Jean-Baptiste Rouquier, Terran Lane:
Active Learning for Node Classification in Assortative and Disassortative Networks. - Miguel Á. Carreira-Perpiñán:
Reconstruction of sequential data with density models. - Dean Voets, Danny De Schreye:
Non-termination Analysis of Logic Programs with Integer arithmetics. - (Withdrawn) On the Performance of Cooperative Spectrum Sensing under Quantization.
- Martin Josef Geiger, Marc Sevaux, Stefan Voß:
Neigborhood Selection in Variable Neighborhood Search. - Kevin Buchin, Bettina Speckmann, Kevin Verbeek:
Angle-Restricted Steiner Arborescences for Flow Map Layout. - Ayatullah Faruk Mollah, Nabamita Majumder, Subhadip Basu, Mita Nasipuri:
Design of an Optical Character Recognition System for Camera-based Handheld Devices. - Dan-Cristian Tomozei, Laurent Massoulié:
Distributed User Profiling via Spectral Methods. - Floor Sietsma, Krzysztof R. Apt:
Common Knowledge in Email Exchanges. - François Nicolas, Sebastian Böcker:
Various complexity results for computational mass spectrometry problems. - Robert L. Constable:
Effectively Nonblocking Consensus Procedures Can Execute Forever - a Constructive Version of FLP. - Janusz A. Brzozowski, Baiyu Li:
Syntactic Complexity of Star-Free Languages. - Lisa Hellerstein, Özgür Özkan, Linda Sellie:
Max-Throughput for (Conservative) k-of-n Testing. - Markus Hartikainen, Vesa Ojalehto:
Demonstrating the Applicability of PAINT to Computationally Expensive Real-life Multiobjective Optimization. - Martin Fürer, Huiwen Yu:
Packing-Based Approximation Algorithm for the k-Set Cover Problem. - Alberto Pepe, Spencer Wolff, Karen Van Godtsenhoven:
One, None and One Hundred Thousand Profiles: Re-imagining the Pirandellian Identity Dilemma in the Era of Online Social Networks. - Jia Zeng, William K. Cheung, Jiming Liu:
Learning Topic Models by Belief Propagation. - Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. - Peter Horák, Bader F. AlBdaiwi:
Diameter Perfect Lee Codes. - Boyu Li, Ender Ayanoglu:
Diversity Analysis of Bit-Interleaved Coded Multiple Beamforming with Orthogonal Frequency Division Multiplexing. - Simon K. Layton, Anush Krishnan, Lorena A. Barba:
cuIBM -- A GPU-accelerated Immersed Boundary Method. - Misha Denil, Thomas Trappenberg:
A Characterization of the Combined Effects of Overlap and Imbalance on the SVM Classifier. - Matthias Hellwig, Alexander Souza:
Approximation Algorithms for Variable-Sized and Generalized Bin Covering. - Robert Elsässer, Adrian Ogierman:
Awareness and Movement vs. the Spread of Epidemics - Analyzing a Dynamic Model for Urban Social/Technological Networks. - Francesco Pagano, Davide Pagano:
Using In-Memory Encrypted Databases on the Cloud. - Thibault Bernard, Alain Bui, Devan Sohier:
Universal adaptive self-stabilizing traversal scheme: random walk and reloading wave. - Victor P. Zhukov:
Verification, Validation and Testing of Kinetic Mechanisms of Hydrogen Combustion in Fluid Dynamic Computations. - Maria-Florina Balcan, Sara Krehbiel, Georgios Piliouras, Jinwoo Shin:
Near Optimality in Covering and Packing Games by Exposing Global Information. - Sergey Kornienko, Olga Kornienko:
IR-based Communication and Perception in Microrobotic Swarms. - Adam Lipowski, Dorota Lipowska:
Roulette-wheel selection via stochastic acceptance. - Rui F. C. Guerreiro, Pedro M. Q. Aguiar:
Connectivity-Enforcing Hough Transform for the Robust Extraction of Line Segments. - Noga Alon, Amit Weinstein:
Local Correction of Boolean Functions. - Mark A. Davenport, Michael B. Wakin:
Compressive Sensing of Analog Signals Using Discrete Prolate Spheroidal Sequences. - Rohan Agrawal:
Bi-Objective Community Detection (BOCD) in Networks using Genetic Algorithm. - Tomoyuki Yamakami:
Optimization, Randomized Approximability, and Boolean Constraint Satisfaction Problems. - Mark Giesbrecht, Myung Sub Kim:
Computing the Hermite Form of a Matrix of Ore Polynomials. - Ernst-Erich Doberkat:
Towards a Coalgebraic Interpretation of Propositional Dynamic Logic. - Jesse Alama, Lionel Mamane, Josef Urban:
Dependencies in Formal Mathematics. - Florentin Smarandache, Arnaud Martin, Christophe Osswald:
Contradiction measures and specificity degrees of basic belief assignments. - Kevin G. Jamieson, Robert D. Nowak:
Active Ranking using Pairwise Comparisons. - Misha Denil, Loris Bazzani, Hugo Larochelle, Nando de Freitas:
Learning where to Attend with Deep Architectures for Image Tracking. - Aydin Buluç, John R. Gilbert:
Parallel Sparse Matrix-Matrix Multiplication and Indexing: Implementation and Experiments. - Sergey Kornienko, Olga Kornienko:
New Principles of Coordination in Large-scale Micro- and Molecular-Robotic Groups. - Othman Ahmad:
Generalised Object Detection and Semantic Analysis: Casino Example using Matlab. - Laurent Bako, Dulin Chen, Stéphane Lecoeuche:
A numerical solution to the minimum-time control problem for linear discrete-time systems. - Zhongkui Li, Zhisheng Duan, Lihua Xie, Xiangdong Liu:
Distributed Robust Control of Linear Multi-Agent Systems with Parameter Uncertainties. - (Withdrawn) WebCloud: Recruiting web browsers for content distribution.
- Zhongkui Li, Wei Ren, Xiangdong Liu, Mengyin Fu:
Consensus of Multi-Agent Systems with General Linear and Lipschitz Nonlinear Dynamics Using Distributed Adaptive Protocols. - (Withdrawn) MacWilliams type identities for some new $m$-spotty weight enumerators.
- Jun He, Laura Balzano, John C. S. Lui:
Online Robust Subspace Tracking from Partial Information. - Zhongkui Li, Xiangdong Liu, Wei Ren, Lihua Xie:
Distributed Consensus of Linear Multi-Agent Systems with Adaptive Dynamic Protocols. - Muhammad Abdullah Adnan, Yan Ma, Ryo Sugihara, Rajesh Gupta:
Dynamic Deferral of Workload for Capacity Provisioning in Data Centers. - Petros Drineas, Malik Magdon-Ismail, Michael W. Mahoney, David P. Woodruff:
Fast approximation of matrix coherence and statistical leverage. - Dae-Woong Lee:
On the digital homology groups of digital images. - Liam Alfandary, Dan Raphaeli:
Two-Dimensional Tail-Biting Convolutional Codes. - Hector Zenil:
An Algorithmic Approach to Information and Meaning. - Yakov Nekrich:
A Dynamic Stabbing-Max Data Structure with Sub-Logarithmic Query Time. - László A. Végh:
Concave Generalized Flows with Applications to Market Equilibria. - Neal Patwari, Joey Wilson, Sai Ananthanarayanan, Sneha Kumar Kasera, Dwayne R. Westenskow:
Monitoring Breathing via Signal Strength in Wireless Networks. - Arun S. Maiya, Tanya Y. Berger-Wolf:
Benefits of Bias: Towards Better Characterization of Network Sampling. - Ton Kloks, Yue-Li Wang:
A linear-time algorithm for the strong chromatic index of Halin graphs. - Yuan Shi, Yung-Kyun Noh, Fei Sha, Daniel D. Lee:
Learning Discriminative Metrics via Generative Models and Kernel Learning. - Rafig P. Agaev, Pavel Yu. Chebotarev:
The Projection Method for Reaching Consensus and the Regularized Power Limit of a Stochastic Matrix. - Chin Keong Ho, Kiran T. Gowda, Sumei Sun:
Gaussian Two-way Relay Channel with Private Information for the Relay. - Travis Gagie, Pawel Gawrychowski:
A Faster LZ77-Based Index. - M. Rajendiran, S. K. Srivatsa:
On-Demand Multicasting in Ad-hoc Networks: Performance Evaluation of AODV, ODMRP and FSR. - Damianos Gavalas, Grammati E. Pantziou, Charalampos Konstantopoulos, Basilis Mamalis:
Clustering of Mobile Ad Hoc Networks: An Adaptive Broadcast Period Approach. - Johannes Oetsch, Jörg Pührer, Hans Tompits:
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report. - Krzysztof Misztal, Przemyslaw Spurek, Jacek Tabor:
k-means Approach to the Karhunen-Loeve Transform. - Damianos Gavalas, Grammati E. Pantziou, Charalampos Konstantopoulos, Basilis Mamalis:
Lowest-ID with Adaptive ID Reassignment: A Novel Mobile Ad-Hoc Networks Clustering Algorithm. - Damianos Gavalas:
A Lightweight and Flexible Mobile Agent Platform Tailored to Management Applications. - Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Stochastic Multiplayer Games. - Pawel Gawrychowski:
Tying up the loose ends in fully LZW-compressed pattern matching. - Stevens Le Blond, Zhang Chao, Arnaud Legout, Keith W. Ross, Walid Dabbous:
I Know Where You are and What You are Sharing: Exploiting P2P Communications to Invade Users' Privacy. - Shinji Kono, Kento Yogi:
Implementing Continuation based language in GCC. - Xiaolin Li, Ryutaroh Matsumoto:
Secure Multiplex Coding Over Interference Channel with Confidential Messages. - Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits:
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. - Konstantin Andreev, Bruce M. Maggs, Adam Meyerson, Jevan Saks, Ramesh K. Sitaraman:
Algorithms for Constructing Overlay Networks For Live Streaming. - Christian Wulff-Nilsen:
Approximate Distance Oracles with Improved Preprocessing Time. - Dong Xia, Jian-Kang Zhang, Sorina Dumitrescu:
Energy-Efficient Full Diversity Collaborative Unitary Space-Time Block Code Design via Unique Factorization of Signals. - Negin Golrezaei, Karthikeyan Shanmugam, Alexandros G. Dimakis, Andreas F. Molisch, Giuseppe Caire:
FemtoCaching: Wireless Video Content Delivery through Distributed Caching Helpers. - Yu Zhang, Jaeok Park, Mihaela van der Schaar:
Production and Network Formation Games with Content Heterogeneity. - Serge Kernbach:
Three Cases of Connectivity and Global Information Transfer in Robot Swarms. - Stefan Plantikow:
Actor Continuation Passing: Efficient and Extensible Request Routing for Event-Driven Architectures. - Ruma Dutta, Debajyoti Mukhopadhyay:
Offering A Product Recommendation System in E-commerce. - Qiang Zeng, Xiaorui Jiang, Hai Zhuge:
Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data. - Yaniv Plan, Roman Vershynin:
One-bit compressed sensing by linear programming. - Neil Mehta, Alexandra Duel-Hallen, Wenye Wang:
Enabling Adaptive Rate and Relay Selection for 802.11 Mobile Ad Hoc Networks. - Mohammad Javad Abdoli, Akbar Ghasemi, Amir K. Khandani:
On the Degrees of Freedom of $K$-User SISO Interference and X Channels with Delayed CSIT. - Adrien Poteaux, Éric Schost:
On the complexity of computing with zero-dimensional triangular sets. - Rosa Camps, Xavier Mora, Laia Saumell:
Choosing and ranking. Let's be logical about it. - Chenwei Wang, Tiangao Gou, Syed Ali Jafar:
Subspace Alignment Chains and the Degrees of Freedom of the Three-User MIMO Interference Channel. - Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi:
Designing a CPU model: from a pseudo-formal document to fast code. - Frédéric Blanqui, Claude Kirchner, Colin Riba:
On the confluence of lambda-calculus with conditional rewriting. - Tom Hirschowitz, Damien Pous:
Strategies as sheaves and interactive equivalences for CCS. - Sho Suzuki, Keiichirou Kusakari, Frédéric Blanqui:
Argument filterings and usable rules in higher-order rewrite systems. - Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro:
Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution. - Stefano Ferretti, Vittorio Ghini:
Mitigation of Random Query String DoS via Gossip. - Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler, Mikaël Rabie:
Asymetric Pavlovian Populations. - Jianqin Zhou:
Periodic sequences with stable $k$-error linear complexity. - Jianqin Zhou, Wei Xiong:
An Algorithm for Computing $m$-Tight Error Linear Complexity of Sequences over $GF(p^{m})$ with Period $p^{m}$. - Stephane Durocher:
A Simple Linear-Space Data Structure for Constant-Time Range Minimum Query. - David Van Horn, Matthew Might:
An Analytic Framework for JavaScript. - Amy Poh Ai Ling, Masao Mukaidono:
Smart Grid Information Security (IS) Functional Requirement. - K. Savitha, C. Chandrasekar:
Vertical Handover decision schemes using SAW and WPM for Network selection in Heterogeneous Wireless Networks. - Emmanuel J. Candès, Thomas Strohmer, Vladislav Voroninski:
PhaseLift: Exact and Stable Signal Recovery from Magnitude Measurements via Convex Programming. - Alain Tamayo, Pablo Viciano, Carlos Granell, Joaquín Huerta:
Empirical study of sensor observation services server instances. - Janne V. Kujala, Aleksi Keurulainen:
A Probabilistic Approach to Pronunciation by Analogy. - A. Kornyushkin:
About a Discrete Cellular Soliton (computer simulation). - Paul S. Bonsma:
Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces. - Mesrob I. Ohannessian, Vincent Y. F. Tan, Munther A. Dahleh:
Canonical Estimation in a Rare-Events Regime. - Minal Moharir, A. V. Suresh:
An Adaptive Technique using Advanced Encryption Standard to Implement Hard Disk Security. - Steffen van Bakel:
Reduction in X does not agree with Intersection and Union Types (Extended abstract). - Mehrnaz Tavan, Erik Agrell, Johnny Karout:
Bandlimited Intensity Modulation. - Marco Di Renzo, Michela Iezzi, Fabio Graziosi:
Diversity and Coding Gain of Multi-Source Multi-Relay Cooperative Wireless Networks with Binary Network Coding. - Andrew Cotter, Joseph Keshet, Nathan Srebro:
Explicit Approximations of the Gaussian Kernel. - Farnood Merrikh-Bayat, Saeed Bagheri Shouraki:
Memristive fuzzy edge detector. - Steffen van Bakel, Reuben N. S. Rowe:
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming. - Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Tractable Strong Outlier Identification. - Gonzalo Mateos, Georgios B. Giannakis:
Distributed Recursive Least-Squares: Stability and Performance Analysis. - Christopher Hunter, Ashutosh Sabharwal:
Distributed Protocols for Interference Management in Cooperative Networks. - Vincent Toubiana, Lakshminarayanan Subramanian, Helen Nissenbaum:
TrackMeNot: Enhancing the privacy of Web Search. - Paolo Boldi, Sebastiano Vigna:
The Push Algorithm for Spectral Ranking. - Alper Ayvaci, Stefano Soatto:
Detachable Object Detection: Segmentation and Depth Ordering From Short-Baseline Video. - Zhiwu Lu, Horace Ho-Shing Ip, Yuxin Peng:
Exhaustive and Efficient Constraint Propagation: A Semi-Supervised Learning Perspective and Its Applications. - Debajyoti Mukhopadhyay, Animesh Mukherjee, Surjya Ghosh, Sudipto Biswas, Poulami Chakraborty:
An Approach for Message Hiding using Substitution Techniques and Audio Hiding in Steganography. - Marek Cygan, Fedor V. Fomin, Erik Jan van Leeuwen:
Parameterized Complexity of Firefighting Revisited. - S. Deepak Srinivasan, Klaus Obermayer:
Probabilistic prototype models for attributed graphs. - Marcus Greferath, Jens Zumbrägel:
On the algebraic representation of certain optimal non-linear binary codes. - Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti:
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus. - Steffen van Bakel, Maria Grazia Vigliotti:
Note on a simple type system for non-interference. - Bernhard C. Geiger, Gernot Kubin:
On the Information Loss in Memoryless Systems: The Multivariate Case. - Francisco Chicano, Gabriel Luque, Enrique Alba:
Elementary Components of the Quadratic Assignment Problem. - Odile Piton, Slim Mesfar, Hélène Pignot:
Automatic transcription of 17th century English text in Contemporary English with NooJ: Method and Evaluation. - Chris Slaughter, Allen Y. Yang, Justin Bagwell, Costa Checkles, Luis Sentis, Sriram Vishwanath:
Sparse Online Low-Rank Projection and Outlier Rejection (SOLO) for 3-D Rigid-Body Motion Registration. - Per Austrin, Toniann Pitassi, Yu Wu:
Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems. - Leo Lahti:
A brief overview on the BioPAX and SBML standards for formal presentation of complex biological knowledge. - (Withdrawn) Beyond pixels and regions: A non local patch means (NLPM) method for content-level restoration, enhancement, and reconstruction of degraded document images.
- Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa:
Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation. - (Withdrawn) RPA: Probabilistic analysis of probe performance and robust summarization.
- (Withdrawn) Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation.
- Zhiwu Lu, Yuxin Peng:
Latent Semantic Learning with Structured Sparse Representation for Human Action Recognition. - Chengwen Xing, Zesong Fei, Shaodan Ma, Jingming Kuang, Yik-Chung Wu:
Robust Linear Transceiver Design for Multi-Hop Non-Regenerative MIMO Relaying Systems. - Krishnendu Chatterjee, Monika Henzinger:
An O(n^2) Time Algorithm for Alternating Büchi Games. - Michal Romaszewski, Piotr Gawron, Przemyslaw Glomb:
Towards a natural gesture interface: LDA-based gesture separability. - Zdenek Dvorák, Daniel Král, Robin Thomas:
Testing first-order properties for subclasses of sparse graphs. - Debajyoti Mukhopadhyay, Sukanta Sinha:
A New Approach to Design Graph Based Search Engine for Multiple Domains Using Different Ontologies. - Javier Insa-Cabrera, José Hernández-Orallo:
Analysis of first prototype universal intelligence tests: evaluating and comparing AI algorithms and humans. - Jorge-Alonso Bedoya-Puerta, José Hernández-Orallo:
Application of distances between terms for flat and hierarchical data. - (Withdrawn) A Mathematical Approach to Balanced Tanner Graph Enumeration.
- Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle:
A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks. - Robbert van Renesse, Fred B. Schneider, Johannes Gehrke:
Nerio: Leader Election and Edict Ordering. - Kunal N. Chaudhury:
On O(1) Gaussian filtering using box splines. - (Withdrawn) Algorithms for Enumerating Balanced Tanner Graphs.
- Wojciech M. Golab:
A Complexity Separation Between the Cache-Coherent and Distributed Shared Memory Models. - Chirag Dekate, Matthew Anderson, Maciej Brodowicz, Hartmut Kaiser, Bryce Adelstein-Lelbach, Thomas L. Sterling:
Improving the scalability of parallel N-body applications with an event driven constraint based execution model. - Matthew Anderson, Maciej Brodowicz, Hartmut Kaiser, Thomas L. Sterling:
An Application Driven Analysis of the ParalleX Execution Model. - Vijay V. Vazirani:
A Market for Air Traffic Flow Management. - Yuanpeng Liu, Elza Erkip:
Completion Time in Multi-Access Channel: An Information Theoretic Perspective. - Naresh Manwani, P. S. Sastry:
Noise Tolerance under Risk Minimization. - Nicholas A. Christakis, James H. Fowler:
Social Contagion Theory: Examining Dynamic Social Networks and Human Behavior. - (Withdrawn) Minimum-Energy All-to-All Multicasting in Multi-hop Wireless Networks.
- Naoki Kobayashi, C.-H. Luke Ong:
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus. - Raphaël Clifford, Markus Jalsenius, Benjamin Sach:
Streaming Pattern Matching with Relabelling. - Elena Villarreal Zapata, Francisco Cruz Ordaz Salazar:
Autómatas celulares elementales aplicados a la encriptación de datos. - Wei Dai, Tao Xu, Wenwu Wang:
Simultaneous Codeword Optimization (SimCO) for Dictionary Update and Learning. - Marina Sapir:
Bias Plus Variance Decomposition for Survival Analysis Problems. - John Enright, Emilio Frazzoli:
Optimal Foraging of Renewable Resources. - Jeremy Lee:
Squiggle - A Glyph Recognizer for Gesture Input. - Dimitris Fotakis, Paraschos Koutris:
Online Sum-Radii Clustering. - Amin Jafarian, Sriram Vishwanath:
Achievable Rates for K-user Gaussian Interference Channels. - Abhik Banerjee, Rachit Agarwal, Vincent Gauthier, Chai Kiat Yeo, Hossam Afifi, Bu-Sung Lee:
Self-Organization of Wireless Ad Hoc Networks as Small Worlds Using Long Range Directional Beams. - Neri Merhav:
Data processing inequalities based on a certain structured class of information measures with application to estimation theory. - Jia Zeng, Wei Feng, William K. Cheung, Chun-hung Li:
Higher-Order Markov Tag-Topic Models for Tagged Documents and Images. - Ravi Tandon, Soheil Mohajer, H. Vincent Poor, Shlomo Shamai:
On Interference Networks with Feedback and Delayed CSI. - Stefano Galli, Anna Scaglione:
Discrete-Time Block Models for Transmission Line Channels: Static and Doubly Selective Cases. - (Withdrawn) A Survey on Security Issues in Cloud Computing.
- V. Sreekanth Annapureddy, Aly El Gamal, Venugopal V. Veeravalli:
Degrees of Freedom of Interference Channels with CoMP Transmission and Reception. - Yuxin Chen, Yonina C. Eldar, Andrea J. Goldsmith:
Shannon Meets Nyquist: Capacity Limits of Sampled Analog Channels. - Maarten H. van Emden:
Matrix Code: a Language for the Parallel Development of Verification and Program. - Lei Zhou, Wei Yu:
Incremental Relaying for the Gaussian Interference Channel with a Degraded Broadcasting Relay. - Youngchul Sung, Cheulsoon Kim:
The capacity for the linear time-invariant Gaussian relay channel. - Jun Fang, Hongbin Li:
Recovery of Block-Sparse Representations from Noisy Observations via Orthogonal Matching Pursuit. - (Withdrawn) Optimal Precoding Design and Power Allocation for Decentralized Detection of Deterministic Signals.
- Takayuki Katsuki, Akira Torii, Masato Inoue:
Posterior Mean Super-resolution with a Causal Gaussian Markov Random Field Prior. - Waseem A. Malik, Nuno C. Martins, Ananthram Swami:
Optimal Sensor Placement for Intruder Detection. - Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui:
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems. - Rafael M. Frongillo, Grant Schoenebeck, Omer Tamuz:
Social Learning in a Changing World. - Deniz Gündüz, Bertrand Devillers:
Two-hop Communication with Energy Harvesting. - Bertrand Devillers, Deniz Gündüz:
A General Framework for the Optimization of Energy Harvesting Communication Systems with Battery Imperfections. - Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen:
On the Simulation of Time-Triggered Systems on a Chip with BIP. - Cong Tian, Zhenhua Duan:
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking. - Robert Mittermayr, Johann Blieberger:
Shared Memory Concurrent System Verification using Kronecker Algebra. - Anatoly D. Plotnikov:
On the relationship between classes P and NP. - Shasha Li, Xueliang Li:
Note on the complexity of deciding the rainbow connectedness for bipartite graphs. - Dusko Pavlovic:
Gaming security by obscurity. - Derek Groen, Steven Rieder, Simon Portegies Zwart:
High performance cosmological simulations on a grid of supercomputers. - Mutlu Koca, Hikmet Sari:
A General Framework for Performance Analysis of Spatial Modulation over Correlated Fading Channels. - Micha Sharir, Adam Sheffer, Emo Welzl:
Counting Plane Graphs: Perfect Matchings, Spanning Cycles, and Kasteleyn's Technique. - M. Praveen:
A Regularity Measure for Context Free Grammars. - Alexandr Andoni, Krzysztof Onak:
Approximating Edit Distance in Near-Linear Time. - Tamara Tosic, Nikolaos Thomos, Pascal Frossard:
Distributed sensor failure detection in sensor networks. - Vimal Mathew, Ramesh K. Sitaraman, Prashant J. Shenoy:
Energy-Aware Load Balancing in Content Delivery Networks. - Ohad Shamir:
Making Gradient Descent Optimal for Strongly Convex Stochastic Optimization. - Stefan Edelkamp, Jörg Hoffmann:
The Deterministic Part of IPC-4: An Overview. - Christos Boutsidis, Malik Magdon-Ismail:
Deterministic Feature Selection for $k$-means Clustering. - Drew McDermott:
PDDL2.1 - The Art of the Possible? Commentary on Fox and Long. - D. E. Smith:
The Case for Durative Actions: A Commentary on PDDL2.1. - Anis Ismail, Mohamed Quafafou, Nicolas Durand, Gilles Nachouki, Mohammad Hajjar:
Queries mining for efficient routing in P2P communities. - Frédérique Bassino, Julien David, Andrea Sportiello:
Asymptotic enumeration of Minimal Automata. - Li Li, Nilufer Onder, G. C. Whelan:
Engineering a Conformant Probabilistic Planner. - Partha Sarathi Dutta, Nick R. Jennings, Luc Moreau:
Cooperative Information Sharing to Improve Distributed Learning in Multi-Agent Systems. - Jörg Hoffmann:
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks. - Nikos Samaras, Konstantinos Stergiou:
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results. - Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. - Holger H. Hoos, Wayne J. Pullan:
Dynamic Local Search for the Maximum Clique Problem. - Jierui Xie, Boleslaw K. Szymanski, Xiaoming Liu:
SLPA: Uncovering Overlapping Communities in Social Networks via A Speaker-listener Interaction Dynamic Process. - Diego Rother, Siddharth Mahendran, René Vidal:
Hypothesize and Bound: A Computational Focus of Attention Mechanism for Simultaneous 3D Shape Reconstruction, Pose Estimation and Classification from a Single 2D Image. - Gery Gutnik, Gal A. Kaminka:
Representing Conversations for Scalable Overhearing. - Patrik Haslum:
Improving Heuristics Through Relaxed Search - An Analysis of TP4 and HSP*a in the 2004 Planning Competition. - Mei Leng, Wee-Peng Tay, Tony Q. S. Quek:
Cooperative and Distributed Localization for Wireless Sensor Networks in Multipath Environments. - Chinmay S. Vaze, Mahesh K. Varanasi:
The Degrees of Freedom Region of the MIMO Interference Channel with Shannon Feedback. - Tomoyuki Yamakami:
Approximation Complexity of Complex-Weighted Degree-Two Counting Constraint Satisfaction Problems. - Chinmay S. Vaze, Mahesh K. Varanasi:
The Degrees of Freedom of the 2-Hop, 2-User Interference Channel with Feedback. - Yuriy Ostapov:
Object-oriented semantics of English in natural language understanding system. - Robert Ganian, Petr Hlinený, Alexander Langer, Jan Obdrzálek, Peter Rossmanith, Somnath Sikdar:
Lower Bounds on the Complexity of MSO1 Model-Checking. - Marco Baldi, Marco Bianchi, Franco Chiaraluce:
Security and complexity of the McEliece cryptosystem based on QC-LDPC codes. - Thomas Place, Luc Segoufin:
A decidable characterization of locally testable tree languages. - Marco Liuni, Axel Röbel, Marco Romito, Xavier Rodet:
Rényi Information Measures for Spectral Change Detection. - Janusz Blasiak, Tadeusz Krasinski, Tomasz Poplawski, Sebastian Sakowski:
More powerful biomolecular computers. - Andriy Mnih, Yee Whye Teh:
Learning Item Trees for Probabilistic Modelling of Implicit Feedback. - Olivier Allix, Pierre Kerfriden, Pierre Gosselet:
On the control of the load increments for a proper description of multiple delamination in a domain decomposition framework. - Diarmuid Grimes, Emmanuel Hebrard:
Models and Strategies for Variants of the Job Shop Scheduling Problem. - Anupam Gupta, Ravishankar Krishnaswamy, Kirk Pruhs:
Online Primal-Dual For Non-linear Optimization with Applications to Speed Scaling. - Alhussein Fawzi, Tamara Tosic, Pascal Frossard:
Thresholding-based reconstruction of compressed correlated signals. - Shane Legg, Joel Veness:
An Approximation of the Universal Intelligence Measure. - Rachit Agarwal, Abhik Banerjee, Vincent Gauthier, Monique Becker, Chai Kiat Yeo, Bu-Sung Lee:
Self-organization of Nodes using Bio-Inspired Techniques for Achieving Small World Properties. - Xiangrui Meng, Michael A. Saunders, Michael W. Mahoney:
LSRN: A Parallel Iterative Solver for Strongly Over- or Under-Determined Systems. - Chenhao Tan, Lillian Lee, Jie Tang, Long Jiang, Ming Zhou, Ping Li:
User-level sentiment analysis incorporating social networks. - S. Schroedl:
An Improved Search Algorithm for Optimal Multiple-Sequence Alignment. - Michael Beetz, Henrik Grosskreutz:
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior. - Gerald DeJong, Arkady Epshteyn:
Generative Prior Knowledge for Discriminative Classification. - John Baillieul, Kayhan Özcimder:
The Control Theory of Motion-Based Communication: Problems in Teaching Robots to Dance. - Thomas Paul, Daniel Puscher, Thorsten Strufe:
Improving the Usability of Privacy Settings in Facebook. - Malte Helmert:
The Fast Downward Planning System. - Victor R. Lesser, Roger Mailler:
Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems. - Toshiya Itoh, Seiji Yoshimoto:
Greedy Algorithms for Multi-Queue Buffer Management Policies with Class Segregation. - Albert Xin Jiang, Kevin Leyton-Brown:
A General Framework for Computing Optimal Correlated Equilibria in Compact Games. - Julian Heinrich, Yuan Luo, Arthur E. Kirkpatrick, Hao Zhang, Daniel Weiskopf:
Evaluation of a Bundling Technique for Parallel Coordinates. - Vijayvaradharaj T. Muralidharan, Vishnu Namboodiri, B. Sundar Rajan:
Channel Quantization for Physical Layer Network-Coded Two-Way Relaying. - Islam Abdelraouf, Slim Abdennadher, Carmen Gervet:
A Visual Entity-Relationship Model for Constraint-Based University Timetabling. - Lianlin Li:
The Statistical Coherence-based Theory of Robust Recovery of Sparsest Overcomplete Representation. - Anna E. Frid, Luca Q. Zamboni:
On automatic infinite permutations. - Yu Wu, Loc Bui, Ramesh Johari:
Heavy Traffic Approximation of Equilibria in Resource Sharing Games. - Noga Alon, Ronitt Rubinfeld, Shai Vardi, Ning Xie:
Space-efficient Local Computation Algorithms. - Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
Optimal accessing and non-accessing structures for graph protocols. - Jugal Garg, Albert Xin Jiang, Ruta Mehta:
Bilinear Games: Polynomial Time Algorithms for Rank Based Subclasses. - Wazir Zada Khan, Mohammed Y. Aalsalem, Quratul-Ain Arshad:
The Aware Cricket Ground. - Gilles Puy, Pierre Vandergheynst, Yves Wiaux:
On Variable Density Compressive Sampling. - Jyoti, A. K. Sharma, Amit Goel:
A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE). - Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Limit-Average Games. - Samuel Vaiter, Gabriel Peyré, Charles Dossal, Jalal Fadili:
Robust Sparse Analysis Regularization. - Greg Linden, Christopher Meek, Max Chickering:
The Pollution Effect: Optimizing Keyword Auctions by Favoring Relevant Advertising. - Matthew Hague:
Parameterised Pushdown Systems with Non-Atomic Writes. - Hao Zhu, Narayan Prasad, Sampath Rangarajan:
Precoder Design for Physical Layer Multicasting. - Avishek Ghosh, Joydeep Banerjee, Sarif Sk. Hassan, Pabitra Pal Choudhury:
Fractal String Generation and Its Application in Music Composition. - Robert J. Simmons:
Structural focalization. - Fabio Fernandes, Sriram Vishwanath:
Lattices for Physical-layer Secrecy: A Computational Perspective. - Michael Sagraloff:
When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial. - Angelo Gargantini:
Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children. - Ignacio Ramírez, Guillermo Sapiro:
Low-rank data modeling via the Minimum Description Length principle. - Radim Belohlávek, Lucie Urbanova, Vilém Vychodil:
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. - Yao Xie, Yonina C. Eldar, Andrea J. Goldsmith:
Reduced-Dimension Multiuser Detection. - Da Wang, Amir Ingber, Yuval Kochman:
The Dispersion of Joint Source-Channel Coding. - Marco Liuni, Axel Röbel, Marco Romito, Xavier Rodet:
A Reduced Multiple Gabor Frame for Local Time Adaptation of the Spectrogram. - Marco Liuni, Axel Röbel, Marco Romito, Xavier Rodet:
An Entropy Based Method for Local Time-Adaptation of the Spectrogram. - Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Negotiating Socially Optimal Allocations of Resources. - Hal Daumé III, Daniel Marcu:
Domain Adaptation for Statistical Classifiers. - Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. - Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony:
On Graphical Modeling of Preference and Importance. - Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. - Saeideh Bakhshi, Constantine Dovrolis:
Incremental Versus Optimized Network Design. - Amitabha Roy:
Fault Tolerant Boolean Satisfiability. - Joyce Yue Chai, Zahar Prasov, Shaolin Qu:
Cognitive Principles in Robust Multimodal Interpretation. - Dana Anderson:
How to prolong network life-span in wireless networks. - Ansuman Adhikary, Haralabos C. Papadopoulos, Sean A. Ramprashad, Giuseppe Caire:
Multi-User MIMO with outdated CSI: Training, Feedback and Scheduling. - Jie Ding, Laming Chen, Yuantao Gu:
Performance of Orthogonal Matching Pursuit for Multiple Measurement Vectors. - Alejandro D. Domínguez-García, Christoforos N. Hadjicostis, Nitin H. Vaidya:
Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part I: Statistical Moments Analysis Approach. - Nitin H. Vaidya, Christoforos N. Hadjicostis, Alejandro D. Domínguez-García:
Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part II: Coefficients of Ergodicity Analysis Approach. - Frédéric Dambreville:
An Interpretation of Belief Functions by means of a Probabilistic Multi-modal Logic. - Ayan Mahalanobis:
The ElGamal cryptosystem over circulant matrices. - Jean-Claude Belfiore, Frédérique E. Oggier:
An Error Probability Approach to MIMO Wiretap Channels. - Frank Lad, Giuseppe Sanfilippo, Gianna Agrò:
Extropy: a complementary dual of entropy. - Dirk Sudholt:
Memetic Algorithms: Parametrization and Balancing Local and Global Search. - Ankit Chaudhary, Jagdish Lal Raheja:
ABHIVYAKTI: A Vision Based Intelligent System for Elder and Sick Persons. - Emmanuelle Darles, Benoît Crespin, Djamchid Ghazanfarpour, Jean-Christophe Gonzato:
A Survey of Ocean Simulation and Rendering Techniques in Computer Graphics. - Md. Monzur Morshed, Meftah Ur Rahman, Md. Rafiqul Islam:
An Empirical Study of UDP (CBR) Packet Performance over AODV Single & Multi-Channel Parallel Transmission in MANET. - Ferkan Yilmaz, Mohamed-Slim Alouini:
Exact Performance Analysis of Partial Relay Selection Based on Shadowing Side Information over Generalized Composite Fading Channels. - Florent Becker, Adrian Kosowski, Nicolas Nisse, Ivan Rapaport, Karol Suchan:
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power. - Elizabeth Munch, Michael Shapiro, John Harer:
Failure Filtrations for Fenced Sensor Networks. - Jan A. Bergstra, Guus P. A. J. Delen, S. F. M. van Vlijmen:
Outsourcing Competence. - Jung Hoon Lee, Wan Choi, David J. Love:
On the Optimality of Opportunistic Interference Alignment in 3-Transmitter MIMO Interference Channels. - Sumita Mishra, Naresh K. Chaudhary, Kalyan Singh:
Simulation and Optimization of MQW based optical modulator for on chip optical interconnect. - Dmitry Davidov, Shaul Markovitch:
Multiple-Goal Heuristic Search. - Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova:
FluCaP: A Heuristic Search Planner for First-Order MDPs. - Matthias Samwald, Holger Stenzhorn, Michel Dumontier, M. Scott Marshall, Joanne Luciano, Klaus-Peter Adlassnig:
Towards an interoperable information infrastructure providing decision support for genomic medicine. - James Bergstra, Aaron C. Courville, Yoshua Bengio:
The Statistical Inefficiency of Sparse Coding for Images (or, One Gabor to Rule them All). - Gianfranco Bilardi, Francesco Versaci:
An Optimal Stack Policy for Paging with Stochastic Inputs. - Abbas Kiani, Soroush Akhlaghi:
A Non-MDS Erasure Code Scheme For Storage Applications. - Marco Liuni, Péter Balázs, Axel Röbel:
Sound Analysis and Synthesis Adaptive in Time and Two Frequency Bands. - Behzad Ahmadi, Osvaldo Simeone:
Distributed and Cascade Lossy Source Coding with a Side Information "Vending Machine". - Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti:
Improving Recommendation Quality by Merging Collaborative Filtering and Social Relationships. - Nan Zhao:
A Novel Two-stage Entropy-based Robust Cooperative Spectrum Sensing Scheme with Two-bit Decision in Cognitive Radio. - R. Rathipriya, K. Thangavel:
A Fuzzy Co-Clustering approach for Clickstream Data Pattern. - Anacleto Correia, Fernando Brito e Abreu, Vasco Amaral:
SLALOM: a Language for SLA specification and monitoring. - Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the relation between Differential Privacy and Quantitative Information Flow. - Pedro Gabriel, Miguel Goulão, Vasco Amaral:
Do Software Languages Engineers Evaluate their Languages? - Miguel Goulão, Fernando Brito e Abreu:
An overview of metrics-based approaches to support software components reusability assessment. - Ali Sehati, Mohammad Sadegh Talebi, Ahmad Khonsari:
NUM-Based Rate Allocation for Streaming Traffic via Sequential Convex Programming. - Sarvesh Nikumbh, Joeprakash Nathaman, Rahul Vartak:
Distributed Air Traffic Control : A Human Safety Perspective. - Sumita Mishra:
A Novel comprehensive method for real time Video Motion Detection Surveillance. - Percy Liang, Michael I. Jordan, Dan Klein:
Learning Dependency-Based Compositional Semantics. - Fei He, Yin Sun, Xiang Chen, Limin Xiao, Shidong Zhou:
Optimal Power Allocation for Two-Way Decode-and-Forward OFDM Relay Networks. - (Withdrawn) Content-Aware Rate Control for Video Transmission with Buffer Constraints in Multipath Networks.
- Sankirti S., P. M. Kamade:
Video OCR for Video Indexing. - Dustin Bachrach, Christopher Nunu, Dan S. Wallach, Matthew K. Wright:
#h00t: Censorship Resistant Microblogging. - Daniel Fabbri, Kristen LeFevre:
Explanation-Based Auditing. - Adam Marcus, Eugene Wu, David R. Karger, Samuel Madden, Robert C. Miller:
Human-powered Sorts and Joins. - Graham Cormode, Justin Thaler, Ke Yi:
Verifying Computations with Streaming Interactive Proofs. - Dan Lin, Christian S. Jensen, Rui Zhang, Lu Xiao, Jiaheng Lu:
A MovingObject Index for Efficient Query Processing with Peer-Wise Location Privacy. - Essam Mansour, Amin Allam, Spiros Skiadopoulos, Panos Kalnis:
ERA: Efficient Serial and Parallel Suffix Tree Construction for Very Long Strings. - Jens Krüger, Changkyu Kim, Martin Grund, Nadathur Satish, David Schwalb, Jatin Chhugani, Hasso Plattner, Pradeep Dubey, Alexander Zeier:
Fast Updates on Read-Optimized Databases Using Multi-Core CPUs. - Amit Goyal, Francesco Bonchi, Laks V. S. Lakshmanan:
A Data-Based Approach to Social Influence Maximization. - Filippo Del Tedesco, Sebastian Hunt, David Sands:
A Semantic Hierarchy for Erasure Policies. - Clemens P. J. Adolphs, Petra Berenbrink:
Distributed Selfish Load Balancing with Weights and Speeds. - Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler:
Conditional Model Checking. - Toshiki Endo, Yuki Suzuki:
Vertex unfoldings of tight polyhedra. - Kristin Riebe, Adrian M. Partl, Harry Enke, Jaime Forero-Romero, Stefan Gottloeber, Anatoly Klypin, Gerard Lemson, Francisco Prada, Joel R. Primack, Matthias Steinmetz, Victor Turchaninov:
The MultiDark Database: Release of the Bolshoi and MultiDark Cosmological Simulations. - Yérali Gandica, A. Charmell, J. Villegas-Febres, I. Bonalde:
Cluster size entropy in the Axelrod model of social influence: small-world networks and mass media. - Ravins, R. K. Brojen Singh:
Effect of diffusion of elements on network topology and self-organization. - Xiaohao Cai, Raymond H. Chan, Serena Morigi, Fiorella Sgallari:
Vessel Segmentation in Medical Imaging Using a Tight-Frame Based Algorithm. - Gail E. Potter, Mark S. Handcock, Ira M. Longini Jr., M. Elizabeth Halloran:
Estimating Within-School Contact Networks to Understand Influenza Transmission. - Padmini Mukkamala:
Obstacles, Slopes, and Tic-Tac-Toe: An excursion in discrete geometry and combinatorial game theory. - Kristen L. Pudenz, Daniel A. Lidar:
Quantum adiabatic machine learning. - Dmitry Gavinsky:
Quantum Money with Classical Verification. - Joel George Manathara, Ambedkar Dukkipati, Debasish Ghose:
Tropical Algebraic approach to Consensus over Networks. - Kenji Fukumizu, Chenlei Leng:
Gradient-based kernel dimension reduction for supervised learning. - H. J. Kappen:
The Binary Garrote. - Joshua N. Cooper, Bill Kay:
Graham's Tree Reconstruction Conjecture and a Waring-Type Problem on Partitions. - Suhan Ree:
Effects of long-range links on metastable states in a dynamic interaction network. - Jia-Ning Zhang, Lei Fang, Mo-Lin Ge:
Discrete Wigner Function Reconstruction and Compressed Sensing. - Han-Xin Yang, Wen-Xu Wang, Yan-Bo Xie, Ying-Cheng Lai, Bing-Hong Wang:
Transportation dynamics on networks of mobile agents. - Naoki Katoh, Shin-ichi Tanigawa:
Rooted-tree Decompositions with Matroid Constraints and the Infinitesimal Rigidity of Frameworks with Boundaries. - Pranab Sen:
Achieving the Han-Kobayashi inner bound for the quantum interference channel by sequential decoding. - Elena Agliari, Claudia Cioli, Enore Guadagnini:
Percolation on correlated random networks. - Marcus H. Mendenhall, Robert A. Weller:
A probability-conserving cross-section biasing mechanism for variance reduction in Monte Carlo particle transport calculations. - Juliette Stehlé, N. Voirin, Alain Barrat, Ciro Cattuto, Lorenzo Isella, Jean-François Pinton, Marco Quaggiotto, Wouter Van den Broeck, C. Régis, B. Lina, P. Vanhems:
High-resolution measurements of face-to-face contact patterns in a primary school. - Purnamrita Sarkar, Deepayan Chakrabarti, Michael I. Jordan:
Non-parametric Link Prediction. - Sarah K. Mason, Jason Parsley:
A geometric and combinatorial view of weighted voting. - Minh Dang Doan, Tamás Keviczky, Bart De Schutter:
A distributed optimization-based approach for hierarchical model predictive control of large-scale systems with coupled dynamics and constraints. - Gerardo Iñiguez, Julia Tagüeña-Martínez, Kimmo Kaski, Rafael A. Barrio:
Are opinions based on science: Modelling social response to scientific facts. - Wenhan Dai, Yi Gai, Bhaskar Krishnamachari, Qing Zhao:
The Non-Bayesian Restless Multi-Armed Bandit: A Case of Near-Logarithmic Strict Regret. - Gwenaël Joret, David R. Wood:
Nordhaus-Gaddum for Treewidth. - Fu-Tao Hu, Jun-Ming Xu:
Complexity of Bondage and Reinforcement. - Daniel Roggen, Martin Wirz, Gerhard Tröster, Dirk Helbing:
Recognition of Crowd Behavior from Mobile Sensors with Pattern Analysis and Graph Clustering Methods. - Scott Aaronson:
A Linear-Optical Proof that the Permanent is #P-Hard. - Taha Yasseri, Róbert Sumi, János Kertész:
Circadian patterns of Wikipedia editorial activity: A demographic analysis. - Richard Li-Yang Chen, Amy Cohn, Ali Pinar:
An Implicit Optimization Approach for Survivable Network Design. - Chunyan Wang, Bernardo A. Huberman:
Long Trend Dynamics in Social Media. - Nabile Boussaid, Marco Caponigro, Thomas Chambrion:
Weakly-coupled systems in quantum control. - Tobias Fritz:
Velocity Polytopes of Periodic Graphs. - Piotr Migdal, Michal Denkiewicz, Joanna Raczaszek-Leonardi, Dariusz Plewczynski:
Information-sharing and aggregation models for interacting minds. - K. Choudhary, Susan Margulies, Illya V. Hicks:
A Note on Total and Paired Domination of Cartesian Product Graphs. - Alfred O. Hero III, Douglas Cochran:
Sensor Management: Past, Present, and Future. - Daniel Müllner:
Modern hierarchical, agglomerative clustering algorithms. - Yusuke Watanabe:
A conjecture on independent sets and graph covers. - Dietrich Stauffer:
Statistical Physics for Humanities: A Tutorial. - Harry Buhrman, Serge Fehr, Christian Schaffner, Florian Speelman:
The Garden-Hose Game: A New Model of Computation, and Application to Position-Based Quantum Cryptography. - Liviu I. Nicolaescu, Brandon Rowekamp:
Pixelations of planar semialgebraic sets. - Sinisa Pajevic, Dietmar Plenz:
The Organization of Strong Links in Complex Networks. - Mark M. Wilde, Saikat Guha:
Polar codes for classical-quantum channels. - Hamidou Tembine, Jean-Yves Le Boudec, Rachid El Azouzi, Eitan Altman:
Mean Field Asymptotics of Markov Decision Evolutionary Games and Teams. - Meir Katchalski, Eliahu Levy:
No O(N) queries for checking if N. - Remco Bras:
Connectivity Structure of Systems. - Edward N. Hartley, Jan M. Maciejowski:
Designing MPC controllers by reverse-engineering existing LTI controllers. - Sébastien Kunz-Jacques, Paul Jouguet:
Using Hash-Based Signatures to Bootstrap Quantum Key Distribution. - Ernesto Estrada, Naomichi Hatano, Michele Benzi:
The Physics of Communicability in Complex Networks. - Cesar H. Comin, João B. Bunoro, Matheus P. Viana, Luciano da F. Costa:
Unveiling the Relationship Between Structure and Dynamics in Complex Networks. - Aurélien Decelle, Florent Krzakala, Cristopher Moore, Lenka Zdeborová:
Asymptotic analysis of the stochastic block model for modular networks and its algorithmic applications. - Daniel Bartz, Kerr Hatrick, Christian W. Hesse, Klaus-Robert Müller, Steven Lemm:
Directional Variance Adjustment: a novel covariance estimator for high dimensional portfolio optimization. - Jean-Guy Caputo, Arnaud Knippel, Elie Simo:
Oscillations of simple networks. - Peter van Gemmeren, David Malon:
Persistent Data Layout and Infrastructure for Efficient Selective Retrieval of Event Data in ATLAS. - Natallia Katenka, Eric D. Kolaczyk:
Multi-Attribute Networks and the Impact of Partial Information on Inference and Characterization. - Choongbum Lee, Po-Shen Loh, Benny Sudakov:
Bisections of graphs. - Joseph M. Renes, Frédéric Dupuis, Renato Renner:
Efficient Quantum Polar Coding. - Ruy Fabila Monroy, David R. Wood:
Colouring the Triangles Determined by a Point Set. - Florian Günther, Florian Janoschek, Stefan Frijters, Jens Harting:
Lattice Boltzmann simulations of anisotropic particles at liquid interfaces. - Jean-François Bercher:
Escort entropies and divergences and related canonical distribution. - Dinh Quoc Tran, Suat Gumussoy, Wim Michiels, Moritz Diehl:
Combining Convex-Concave Decompositions and Linearization Approaches for solving BMIs, with application to Static Output Feedback. - Jean-François Bercher:
Source coding with escort distributions and Renyi entropy bounds. - Heidi Gebauer, Anna Gundert, Robin A. Moser, Yoshio Okamoto:
Not All Saturated 3-Forests Are Tight. - Andrew Clark, Jeff Kenyon:
Using MOEAs To Outperform Stock Benchmarks In The Presence of Typical Investment Constraints. - Gianfranco Parlangeli, Giuseppe Notarstefano:
On the reachability and observability of path and cycle graphs. - Simone Cacace, Emiliano Cristiani, Maurizio Falcone:
Numerical approximation of Nash equilibria for a class of non-cooperative differential games. - Simone Cacace, Emiliano Cristiani, Maurizio Falcone, Athena Picarelli:
A patchy Dynamic Programming scheme for a class of Hamilton-Jacobi-Bellman equations. - Saba Salehi, John-John Cabibihan, Shuzhi Sam Ge:
Artificial Skin Ridges Enhance Local Tactile Shape Discrimination. - Mirko Birbaumer, Frank Schweitzer:
Agent-Based Modeling of Intracellular Transport. - Po-Ling Loh, Martin J. Wainwright:
High-dimensional regression with noisy and missing data: Provable guarantees with non-convexity. - Abhijit Sen, Dilip P. Ahalpara, Anantanarayanan Thyagaraja, Govind S. Krishnaswami:
A KdV-like advection-dispersion equation with some remarkable properties. - Piotr Frackiewicz:
Quantum repeated games revisited. - Daniel P. Mohr, Ina Stein, Thomas Matzies, Christina A. Knapek:
Robust Topology Optimization of Truss with regard to Volume. - Isuru Dasanayake, Jr-Shin Li:
Charge-Balanced Minimum-Power Controls for Spiking Neuron Oscillators. - Han-I Su, Abbas El Gamal:
Modeling and Analysis of the Role of Fast-Response Energy Storage in the Smart Grid. - Kim Dang Phung, Gengsheng Wang:
An observability for parabolic equations from a measurable set in time. - David Siska:
Error estimates for finite difference approximations of American put option price. - Yu Ru, Jan Kleissl, Sonia Martínez:
Storage Size Determination for Grid-Connected Photovoltaic Systems. - Marco Castellani, Massimo Brescia, Ettore Mancini, Luca Pellecchia, Giuseppe Longo:
VOGCLUSTERS: an example of DAME web application. - Zbigniew Puchala, Jaroslaw Adam Miszczak:
Symbolic integration with respect to the Haar measure on the unitary group in Mathematica. - Tobias Galla, J. Doyne Farmer:
Complex dynamics in learning complicated games. - Qian Li, Lidia A. Braunstein, Shlomo Havlin, Harry Eugene Stanley:
Strategy of Competition between Two Groups based on a Contrarian Opinion Model. - Andrew Beveridge, Milan Bradonjic:
On the Mixing Time of Geographical Threshold Graphs. - Yohji Akama, Kei Irie:
VC dimension of ellipsoids. - Florent Krzakala, Marc Mézard, François Sausset, Yifan Sun, Lenka Zdeborová:
Statistical physics-based reconstruction in compressed sensing. - Taeyoung Lee, Melvin Leok, N. Harris McClamroch:
Nonlinear Robust Tracking Control of a Quadrotor UAV on SE(3). - Jesús Gómez-Gardeñes, Daniele Vilone, Ángel Sánchez:
Disentangling Social and Group heterogeneities: Public Goods games on Complex Networks. - Vincenzo Nicosia, Regino Criado, Miguel Romance, Giovanni Russo, Vito Latora:
Controlling centrality in complex networks. - Grzegorz Dudziuk, Marek Niezgódka:
Closed-loop control of a reaction-diffusion system. - Christopher R. Genovese, Marco Perone-Pacifico, Isabella Verdinelli, Larry A. Wasserman:
Manifold Estimation and Singular Deconvolution Under Hausdorff Loss. - María Barbero-Liñán:
Characterization of accessibility for affine connection control systems at some points with nonzero velocity. - Hyunju Kim, Charo I. Del Genio, Kevin E. Bassler, Zoltán Toroczkai:
Constructing and sampling directed graphs with given degree sequences. - Alexander K. Kelmans:
Operations on Graphs Increasing Some Graph Parameters. - Golnoosh Bizhani, Peter Grassberger, Maya Paczuski:
Random Sequential Renormalization. - Vilson Vieira, Renato Fabbri, Luciano da Fontoura Costa:
Musimetrics. - Elchanan Mossel, Sébastien Roch, Allan Sly:
Robust estimation of latent tree graphical models: Inferring hidden states with inexact parameters. - Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer:
Dependence logic with a majority quantifier. - Y. S. Cho, B. Kahng:
Suppression effect on explosive percolations. - Gonzalo Travieso, Luciano da Fontoura Costa:
Evaluating links through spectral decomposition. - Soummya Kar, José M. F. Moura, H. Vincent Poor:
Distributed Linear Parameter Estimation: Asymptotically Efficient Adaptive Strategies. - Norman Margolus:
First-moment distinguishability bounds. - Norman Margolus:
Quantum emulation of classical dynamics. - Constantinos Daskalakis, Sébastien Roch:
Alignment-Free Phylogenetic Reconstruction: Sample Complexity via a Branching Process Analysis. - Herbert Edelsbrunner, Michael Kerber:
Alexander Duality for Functions: the Persistent Behavior of Land and Water and Shore. - Mikhail A. Botchev:
Block Krylov subspace exact time integration of linear ODE systems. Part 1: algorithm description. - Troy Lee, Frédéric Magniez, Miklos Santha:
A learning graph based quantum query algorithm for finding constant-size subgraphs. - Alan Veliz-Cuba, Joseph Arthur, Laura Hochstetler, Victoria Klomps, Erikka Korpi:
On the relationship of steady states of continuous and discrete models. - Albert Y. S. Lam, Baosen Zhang, David Tse:
Distributed Algorithms for Optimal Power Flow Problem. - Joris T. Olympio:
A Continuous Feedback Optimal Control based on Second-Variations for Problems with Control Constraints. - Stephane Gaubert, William M. McEneaney, Zheng Qu:
Curse of dimensionality reduction. - Leslie Ann Goldberg, Mark Jerrum:
A Counterexample to rapid mixing of the Ge-Stefankovic Process. - David R. Bickel:
Controlling the degree of caution in statistical inference with the Bayesian and frequentist approaches as opposite extremes. - Anatoly Zlotnik, Jr-Shin Li:
Synthesis of Optimal Ensemble Controls for Linear Systems using the Singular Value Decomposition. - Giovanni Lapenta:
Space Weather Prediction with Exascale Computing. - Mark M. Wilde, Saikat Guha:
Polar codes for degradable quantum channels. - Shanjian Tang, Zhou Yang:
Dynkin Game of Stochastic Differential Equations with Random Coefficients, and Associated Backward Stochastic Partial Differential Variational Inequality. - Paolo Albano, Piermarco Cannarsa, Khai Tien Nguyen, Carlo Sinestrari:
Singular gradient flow of the distance function and homotopy equivalence. - José M. Peña:
Towards Optimal Learning of Chain Graphs. - Frederick A. Matsen IV, Aaron Gallagher:
Reconciling taxonomy and phylogenetic inference: formalism and algorithms for describing discord and inferring taxonomic roots. - Qawi K. Telesford, Karen E. Joyce, Satoru Hayasaka, Jonathan H. Burdette, Paul J. Laurienti:
The ubiquity of small-world networks. - Xiao Liang, Xudong Zheng, Weifeng Lv, Tongyu Zhu, Ke Xu:
The scaling of human mobility by taxis is exponential. - Benoît Valot, Olivier Langella, Edlira Nano, Michel Zivy:
MassChroQ: A versatile tool for mass spectrometry quantification. - Leo Waaijers:
Viva the h-index. - Alexander Shen:
Are random axioms useful? - Matús Medo, Giulio Cimini, Stanislao Gualdi:
Temporal effects in the growth of networks. - Nicolas Curien:
Strong convergence of partial match queries in random quadtrees. - Michael T. Schaub, Jean-Charles Delvenne, Sophia N. Yaliraki, Mauricio Barahona:
Markov dynamics as a zooming lens for multiscale community detection: non clique-like communities and the field-of-view limit. - Erhan Bayraktar, Arash Fahim:
A Stochastic Approximation for Fully Nonlinear Free Boundary Problems. - Nguyen Xuan Vinh:
Genetic Testing for Complex Diseases: a Simulation Study Perspective. - Fabien Durand, Michel Rigo:
Some answer to Nivat's conjecture: A characterization of periodicity with respect to block complexity. - Gitta Kutyniok, Jakob Lemvig, Wang-Q Lim:
Optimally sparse approximations of 3D functions by compactly supported shearlet frames. - Xiongfeng Ma, Xiaoqing Tan:
An explicit combinatorial design. - Ondrej Hlinka, Franz Hlawatsch, Petar M. Djuric:
Likelihood Consensus-Based Distributed Particle Filtering with Distributed Proposal Density Adaptation. - Olesya Mryglod, Yurij Holovatch, Ihor Mryglod:
Editorial process in scientific journals: analysis and modeling. - Seung Ki Baek, Petter Minnhagen, Beom Jun Kim:
The Ten Thousand Kims. - Frédéric Dambreville:
Extension of Boolean algebra by a Bayesian operator: application to the definition of a Deterministic Bayesian Logic. - P. I. Neyezhmakov, S. I. Zub, S. S. Zub:
The Grid: Prospects for Application in Metrology. - Ali ParandehGheibi, Mardavij Roozbehani, Asuman E. Ozdaglar, Munther A. Dahleh:
The Reliability Value of Storage in a Volatile Environment. - Giorgio Corbellini, Cédric Abgrall, Emilio Calvanese Strinati, Andrzej Duda:
Technical Report: Energy Evaluation of preamble Sampling MAC Protocols for Wireless Sensor Networks. - Agelos Georgakopoulos, Peter Winkler:
New Bounds for Edge-Cover by Random Walk. - Michael T. Schaub, Renaud Lambiotte, Mauricio Barahona:
Coding of Markov dynamics for multiscale community detection in complex networks. - Wei Zhang, Xudong Shi, Liwen Wang:
Lamarckism and mechanism synthesis: approaching constrained optimization with ideas from biology. - Norihito Toyota:
Separation Number and Generalized Clustering Coefficient in Small World Networks based on String Formalism. - Jakob Funder:
New entropic uncertainty relations for prime power dimensions. - Asuka Takatsu:
Behaviors of $φ$-exponential distributions in Wasserstein geometry and an evolution equation. - Itay Hen, A. P. Young:
Exponential Complexity of the Quantum Adiabatic Algorithm for certain Satisfiability Problems. - Emile Simon:
Minimum settling time control design through direct search optimization. - Alena I. Aleksenko, Evgeny Lakshtanov:
Finiteness of the playing time in 'Beggar-my-neighbour' card game. - Vojkan Jaksic, Yoshiko Ogata, Claude-Alain Pillet, Robert Seiringer:
Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics.
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-09-21 01:34 CEST 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:
