default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, November 2011
- Aman Chadha, Divya Jyoti, M. Mani Roja:
Text-Independent Speaker Recognition for Low SNR Environments with Encryption. - Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras:
Reasoning with Very Expressive Fuzzy Description Logics. - Chu Min Li, Felip Manyà, Jordi Planes:
New Inference Rules for Max-SAT. - Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. - Boi Faltings, Radu Jurca:
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms. - Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. - Indrajit Bhattacharya, Lise Getoor:
Query-time Entity Resolution. - Jonathan Bredin, Quang Duong, David C. Parkes:
Chain: A Dynamic Double Auction Framework for Matching Patient Agents. - François Mairesse, Rashmi Prasad, Amanda Stent, Marilyn A. Walker:
Individual and Domain Adaptation in Sentence Planning for Dialogue. - Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. - George Macleod Coghill, Ross D. King, Ashwin Srinivasan:
Qualitative System Identification from Imperfect Data. - Malcolm R. K. Ryan:
Exploiting Subgraph Structure in Multi-Robot Path Planning. - Yulin Ding, Yan Zhang:
CTL Model Update for System Modifications. - Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Extended RDF as a Semantic Foundation of Rule Markup Languages. - Omer Giménez, Anders Jonsson:
The Complexity of Planning Problems With Simple Causal Graphs. - Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati:
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective. - Daria Terekhov, J. Christopher Beck:
A Constraint Programming Approach for Solving a Queueing Control Problem. - Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos Vlassis:
Optimal and Approximate Q-value Functions for Decentralized POMDPs. - Jiri Barnat, Keijo Heljanko
:
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. EPTCS 72, 2011 [contents] - Claudia V. Goldman, Shlomo Zilberstein:
Communication-Based Decomposition Mechanisms for Decentralized MDPs. - Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Zahavi, Ariel Felner:
A General Theory of Additive State Space Abstractions. - Chenggang Wang, Saket Joshi, Roni Khardon:
First Order Decision Diagrams for Relational MDPs. - Yiwei Song, Natasha Devroye:
Lattice codes for the Gaussian relay channel: Decode-and-Forward and Compress-and-Forward. - Andreas Abel, Nicolai Kraus:
A Lambda Term Representation Inspired by Linear Ordered Logic. 1-13 - Maxime Beauquier, Carsten Schürmann:
A Bigraph Relational Model. 14-28 - Mathieu Boespflug, Brigitte Pientka:
Multi-level Contextual Type Theory. 29-43 - Ranald Clouston:
Nominal Logic with Equations Only. 44-57 - Murdoch J. Gabbay, Dominic P. Mulligan:
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets. 58-75 - Alan J. Martin, Amy P. Felty:
An Improved Implementation and Abstract Interface for Hybrid. 76-90 - Manosij Ghosh Dastidar, Sourav Sen Gupta:
Generalization of a few results in Integer Partitions. - Gyesik Lee, Benjamin Werner:
Proof-irrelevant model of CC with predicative induction and judgmental equality. - Quan Quan, Hai Lin, Kai-Yuan Cai:
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input. - Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
A secure additive protocol for card players. - Sanaa Elyassami, Ali Idri:
Applying Fuzzy ID3 Decision Tree for Software Effort Estimation. - Kasra Haghighi, Erik G. Ström, Erik Agrell:
On Optimum Causal Cognitive Spectrum Reutilization Strategy. - Carlos Aguilar Melchor, Philippe Gaborit, Jon-Lark Kim, Lin Sok, Patrick Solé:
Classification of extremal and $s$-extremal binary self-dual codes of length 38. - Shuvatov Talgat, Suleimenov Batrbek:
Gas turbine diagnostic system. - Anita Sobe, Wilfried Elmenreich, László Böszörményi:
Storage Balancing in Self-organizing Multimedia Delivery Systems. - Roman V. Yampolskiy:
Construction of an NP Problem with an Exponential Lower Bound. - Zeinab Abbassi, Christina Aperjis, Bernardo A. Huberman:
Swayed by Friends or by the Crowd? - Yoann Dieudonné, Andrzej Pelc:
Deterministic gathering of anonymous agents in arbitrary networks. - Adrian Yanes:
OpenWeather: a peer-to-peer weather data transmission protocol. - Mishari Al Mishari, Gene Tsudik:
Exploring Linkablility of Community Reviewing. - Brian Kulis, Michael I. Jordan:
Revisiting k-means: New Algorithms via Bayesian Nonparametrics. - Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. 1-12 - Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search. 13-28 - Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. 30-42 - Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger:
Lazy Decomposition for Distributed Decision Procedures. 43-54 - Temesghen Kahsai, Cesare Tinelli:
PKind: A parallel k-induction based model checker. 55-62 - Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. 63-67 - Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker. 84-90 - Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration. 91-98 - Christina Boucher, Christine Lo, Daniel Lokshtanov:
Outlier Detection for DNA Fragment Assembly. - (Withdrawn) An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks.
- Jaydip Sen:
A Distributed Intrusion Detection System Using Cooperating Agents. - Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy:
A Distributed Protocol for Detection of Packet Dropping Attack in Mobile Ad Hoc Networks. - Jaydip Sen, M. Girish Chandra, Harihara S. G., Harish Reddy, P. Balamuralidhar:
A Mechanism for Detection of Gray Hole Attack in Mobile Ad Hoc Networks. - Jaydip Sen, Sripad Koilakonda, Arijit Ukil:
A Mechanism for Detection of Cooperative Black Hole Attack in Mobile Ad Hoc Networks. - Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the long code shorter, with applications to the Unique Games Conjecture. - Pekka Kilpeläinen:
Inclusion of Unambiguous RE#s is NP-Hard. - (Withdrawn) A Stochastic Net Model for Controlling Bullwhip Effect in Virtual Multi-Tier Retail Network.
- Sangkyun Lee, Stephen J. Wright:
Approximate Stochastic Subgradient Estimation Training for Support Vector Machines. - Laurent Bulteau, Guillaume Fertin, Irena Rusu:
Pancake Flipping is Hard. - Michael M. Bronstein:
Kernel diff-hash. - Michal Skrzypczak:
Equational theories of profinite structures. - Rafael Grimson, Joos Heintz, Bart Kuijpers:
Evaluating geometric queries using few arithmetic operations. - Serge Kernbach, Kristof Jebens:
Development of a Cost-efficient Autonomous MAV for an Unstructured Indoor Environment. - Francesco Pantisano, Mehdi Bennis, Walid Saad, Mérouane Debbah:
Spectrum Leasing as an Incentive towards Uplink Macrocell and Femtocell Cooperation. - Jeannette C. M. Janssen, Pawel Pralat, Rory Wilson:
Geometric Graph Properties of the Spatial Preferred Attachment model. - Shayan Ehsani, MohammadAmin Fazli, Abbas Mehrabian, Sina Sadeghian Sadeghabad, MohammadAli Safari, Morteza Saghafian, Saber ShokatFadaee:
On a Bounded Budget Network Creation Game. - Sergio España, Nelly Condori-Fernández, Roel J. Wieringa, Arturo González, Oscar Pastor:
Model-driven system development: Experimental design and report of the pilot experiment. - Jungyun Bae, Sivakumar Rathinam:
A Primal Dual Algorithm for a Heterogeneous Traveling Salesman Problem. - Marek Cygan, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström:
Clique cover and graph separation: New incompressibility results. - Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, Nitin Saxena:
Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits. - Andrea Clementi, Riccardo Silvestri, Luca Trevisan:
Information Spreading in Dynamic Graphs. - Andrey Nikolaev:
Exploring Oracle RDBMS latches using Solaris DTrace. - Shurui Huang, Aditya Ramamoorthy:
An achievable region for the double unicast problem based on a minimum cut analysis. - Moritz Hardt, Aaron Roth:
Beating Randomized Response on Incoherent Matrices. - Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA. 68-83 - Mohamed A. El-Zawawy, Hamada A. Nayel:
Partial Redundancy Elimination for Multi-threaded Programs. - Mojtaba Vaezi, Fabrice Labeau:
Lossy Distributed Source Coding Using Real-Number Codes. - Michael A. Forbes, Amir Shpilka:
On Identity Testing of Tensors, Low-rank Recovery and Compressed Sensing. - Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan:
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems. - Jinjing Jiang, Neeharika Marukala, Tie Liu:
Symmetrical Multilevel Diversity Coding with an All-Access Encoder. - Chuan Zhang, Keshab K. Parhi:
Efficient Network for Non-Binary QC-LDPC Decoder. - Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Reduced-Latency SC Polar Decoder Architectures. - Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Low-Latency SC Decoder Architectures for Polar Codes. - Hervé Kerivin, Jimmy Leblet, Gwendal Simon, Fen Zhou:
Maximum Bounded Rooted-Tree Packing Problem. - Yige Wang, Stark C. Draper, Jonathan S. Yedidia:
Hierarchical and High-Girth QC LDPC Codes. - Pannagadatta K. Shivaswamy, Thorsten Joachims:
Online Learning with Preference Feedback. - Evan Everett, Debashis Dash, Chris Dick, Ashutosh Sabharwal:
Self-Interference Cancellation in Multi-hop Full-Duplex Networks via Structured Signaling. - Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points. - Andrew N. Jackson:
Using Automated Dependency Analysis To Generate Representation Information. - Maxim Vashkevich, Wanggen Wan, Alexander A. Petrovsky:
Practical design of multi-channel oversampled warped cosine-modulated filter banks. - Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Towards "Intelligent Compression" in Streams: A Biased Reservoir Sampling based Bloom Filter Approach. - Ankur Narang, Sourav Dutta, Souvik Bhattacherjee:
Multidimensional Balanced Allocation for Multiple Choice & (1 + Beta) Processes. - Susanne Albers, Matthias Hellwig:
On the Value of Job Migration in Online Makespan Minimization. - Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Perfectly Balanced Allocation With Estimated Average Using Approximately Constant Retries. - Stefan Z. Stefanov:
Quantum/Relativistic Computation of Security and Efficiency of Electrical Power System for a Day-Ahead: I. Renormalization. - Ichrak Amdouni, Pascale Minet, Cédric Adjih:
OSERENA, an Optimized Coloring Algorithm for Dense or Large Scale Wireless Networks. - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. - Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin:
Quantitative Languages Defined by Functional Automata. - Ankit Chaudhary, Jagdish Lal Raheja:
A Formal Approach for Agent Based Large Concurrent Intelligent Systems. - Serge Kernbach:
Collective Energy Foraging of Robot Swarms and Robot Organisms. - (Withdrawn) Game Theoretic Iterative Partitioning for Dynamic Load Balancing in Distributed Network Simulation.
- Tiphaine Phe-Neau, Marcelo Dias de Amorim, Vania Conan:
Using Neighborhood Beyond One Hop in Disruption-Tolerant Networks. - Roozbeh Rajabi, Mahdi Khodadadzadeh, Hassan Ghassemian:
Graph Regularized Nonnegative Matrix Factorization for Hyperspectral Data Unmixing. - Maria-Florina Balcan, Eric Blais, Avrim Blum, Liu Yang:
Active Testing. - Yang Yu, Chao Qian, Zhi-Hua Zhou:
Towards Analyzing Crossover Operators in Evolutionary Search via General Markov Chain Switching Theorem. - Mihai Cucuringu, Vincent D. Blondel, Paul Van Dooren:
Extracting spatial information from networks with low-order eigenvectors. - Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Comparison of different Propagation Steps for the Lattice Boltzmann Method. - Marcus Ritt, Alysson M. Costa:
A comparison of formulations for the simple assembly line balancing problem. - Ashwin Rao, Yeon-Sup Lim, Chadi Barakat, Arnaud Legout, Don Towsley, Walid Dabbous:
Network Characteristics of Video Streaming Traffic. - Sanjeev Arora, Rong Ge, Ravi Kannan, Ankur Moitra:
Computing a Nonnegative Matrix Factorization -- Provably. - Anand Louis, Prasad Raghavendra, Prasad Tetali, Santosh S. Vempala:
Many Sparse Cuts via Higher Eigenvalues. - Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads. - John Wright, Arvind Ganesh, Allen Y. Yang, Zihan Zhou, Yi Ma:
Sparsity and Robustness in Face Recognition. - Nima Noorshams, Martin J. Wainwright:
Stochastic Belief Propagation: Low-Complexity Message-Passing with Guarantees. - Carlos Alberto Fernández y Fernández, Martín José José:
Towards the integration of formal specification in the Áncora methodology. - David L. Donoho, Iain M. Johnstone, Andrea Montanari:
Accurate Prediction of Phase Transitions in Compressed Sensing via a Connection to Minimax Denoising. - Mohamad Charafeddine, Aydin Sezgin, Zhu Han, Arogyaswami Paulraj:
Achievable and Crystallized Rate Regions of the Interference Channel with Interference as Noise. - Jung Hoon Lee, Wan Choi, David J. Love:
Achievable DoF and Its User Scaling Law for Opportunistic User Selection in a $K$-transmitter SIMO Interference Channel. - Alex Skvortsov, Branko Ristic:
Modelling and Performance analysis of a Network of Chemical Sensors with Dynamic Collaboration. - Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Differential Resultant for Laurent Differential Polynomials. - Aman Chadha, Divya Jyoti, M. G. Bhatia:
Design and Simulation of an 8-bit. - Divya Jyoti, Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
A robust, low-cost approach to Face Detection and Face Recognition. - Sabu M. Thampi, Ann Jisma Jacob:
Securing Biometric Images using Reversible Watermarking. - Serge Kernbach:
On Three Challenges of Artificial Living Systems and Embodied Evolution. - Tobias Kretz, Stefan Hengst, Antonia Pérez Arias, Simon Friedberger, Uwe D. Hanebeck:
Using a Telepresence System to Investigate Route Choice Behavior. - Martin Grohe, Dániel Marx:
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs. - Lisa Hellerstein, Devorah Kletenik, Linda Sellie, Rocco A. Servedio:
Tight Bounds on Proper Equivalence Query Learning of DNF. - Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Domain decomposition and locality optimization for large-scale lattice Boltzmann simulations. - Dan Garber, Elad Hazan:
Universal MMSE Filtering With Logarithmic Adaptive Regret. - Amos Lapidoth, Ligong Wang:
The State-Dependent Semideterministic Broadcast Channel. - Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Record-Replay Debugging for Concurrent SCOOP Programs. - Saif K. Mohammed, Erik G. Larsson:
Constant Envelope Precoding for Power-Efficient Downlink Wireless Communication in Multi-User MIMO Systems Using Large Antenna Arrays. - Yu-Ru Lin, James P. Bagrow, David Lazer:
More Voices Than Ever? Quantifying Media Bias in Networks. - Wojciech Mazurczyk, Pawel Szaga, Krzysztof Szczypiorski:
Using Transcoding for Hidden Communication in IP Telephony. - Ryan Williams:
A Casual Tour Around a Circuit Complexity Bound. - Amin Coja-Oghlan, Konstantinos Panagiotou:
Catching the k-NAESAT Threshold. - Chi Sing Chum, Xiaowen Zhang:
Hash function based secret sharing scheme designs. - P. Shrinivasan R. Patnaikuni, Raj. B. Kulkarni:
An architecture for "Web Of Things" using SOCKS protocol based IPv6/IPv4 gatewaying for heterogeneous communication. - Richard Herrmann:
Covariant fractional extension of the modified Laplace-operator used in 3D-shape recovery. - Yuyang Wang, Roni Khardon, Pavlos Protopapas:
Nonparametric Bayesian Estimation of Periodic Functions. - Oleg O. Varlamov:
MIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules. - Xueying Duan, Qichun Wang:
Two Classes of Crooked Multinomials Inequivalent to Power Functions. - Cong Ling, Su Gao, Jean-Claude Belfiore:
Wyner-Ziv Coding Based on Multidimensional Nested Lattices. - Gerald Paul:
An efficient implementation of the simulated annealing heuristic for the quadratic assignment problem. - Travis Gagie, Juha Kärkkäinen, Yakov Nekrich, Simon J. Puglisi:
A Compressed Self-Index for Genomic Databases. - Jason Spencer:
Speculative Parallel Evaluation Of Classification Trees On GPGPU Compute Engines. - Avihai Mejer, Koby Crammer:
Confidence Estimation in Structured Prediction. - M. Amin Khajehnejad, Weiyu Xu, Amir Salman Avestimehr, Babak Hassibi:
Improving the Thresholds of Sparse Recovery: An Analysis of a Two-Step Reweighted Basis Pursuit Algorithm. - Yu Zhang, Chengqing Li, Qin Li, Dan Zhang, Shi Shu:
Breaking a chaotic image encryption algorithm based on perceptron model. - Maria-Florina Balcan, Steve Hanneke:
Robust Interactive Learning. - Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
Face Recognition Using Discrete Cosine Transform for Global and Local Features. - Anthony Afuwoqi, Hongyou Wu:
Promoting Industry-University Partnership in Information Technology. - John C. Kieffer, Philippe Flajolet, En-Hui Yang:
Universal Lossless Data Compression Via Binary Decision Diagrams. - Vineet Abhishek, Bruce E. Hajek, Steven R. Williams:
On Bidding with Securities: Risk Aversion and Positive Dependence. - Michael M. Bronstein:
Multimodal diff-hash. - Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic. - Lorenzo Orecchia, Sushant Sachdeva, Nisheeth K. Vishnoi:
Approximating the Exponential, the Lanczos Method and an \tilde{O}(m)-Time Spectral Algorithm for Balanced Separator. - Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita:
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses. - Rishiraj Saha Roy, Niloy Ganguly, Monojit Choudhury, Srivatsan Laxman:
An IR-based Evaluation Framework for Web Search Query Segmentation. - Linpeng Tang, Qin Liu:
A Survey on Distance Vector Routing Protocols. - Tobias Brunsch, Heiko Röglin:
Improved Smoothed Analysis of Multiobjective Optimization. - Gilson O. dos Santos, Francisco M. de Assis:
A scheme for protecting multiple quantum erasures. - Mahmoud Y. Shams, Magdi Zakria Rashad, O. Nomir, R. M. El-Awady:
Iris Recognition Based on LBP and Combined LVQ Classifier. - Balwinder Singh, Sukhleen Bindra Narang, Arun Khosla:
Particle Swarm Optimization Framework for Low Power Testing of VLSI Circuits. - Frederico Araújo Durão, Peter Dolog:
Semantic Grounding Strategies for Tagbased Recommender Systems. - M. Thirumaran, P. Dhavachelvan, Aranganayagi G., S. Abarna:
Evaluation of Computability Criterions for Runtime Web Service Integration. - Sergey Melnik, Jonathan A. Ward, James P. Gleeson, Mason A. Porter:
Multi-Stage Complex Contagions. - Jagannath Aghav, Ashwin Tumma:
Design and Validation of Safety Cruise Control System for Automobiles. - Colin S. Lea, Jason J. Corso:
Efficient Hierarchical Markov Random Fields for Object Detection on a Mobile Robot. - Bimal Aklesh Kumar:
Solar Power Systems Web Monitoring. - Ala'a Z. Al-Howaide, Mohammed I. Khaleel, Ayad M. Salhieh:
Updatable Queue Protocol Based On TCP For Virtual Reality Environment. - Carlos Aguilar Melchor, Philippe Gaborit, Julien Schrek:
A new zero-knowledge code based identification scheme with reduced communication. - Sunil Joshi, Deepak Gupta:
Throughput Performance of 2×2 Mimo LTE Downlink in a Spatial Correlation Based Microcellular Channel for Wireless Broadband Networks. - Archana Shukla:
Sentiment Analysis of Document Based on Annotation. - Anne Driemel, Herman J. Haverkort, Maarten Löffler:
Flow Computations on Imprecise Terrains. - Prosenjit Bose, Sébastien Collette, Rolf Fagerberg, Stefan Langerman:
De-amortizing Binary Search Trees. - Abdelhakim Khlifi, Ridha Bouallegue:
Performance Analysis of LS and LMMSE Channel Estimation Techniques for LTE Downlink Systems. - Cristina G. Fernandes, Luis A. A. Meira, Flávio Keidi Miyazawa, Lehilton L. C. Pedrosa:
Squared Metric Facility Location Problem. - Daoud Clarke:
Algebras over a field and semantics for context based reasoning. - Biswarup Neogi, Soumya Ghosal, Soumyajit Mukherjee, Achintya Das, D. N. Tibarewala:
Simulation Techniques and Prosthetic Approach Towards Biologically Efficient Artificial Sense Organs- An Overview. - Simon Korman, Daniel Reichman, Gilad Tsur:
Tight Approximation of Image Matching. - Michael A. Lexa:
Quantization via Empirical Divergence Maximization and Its Applications. - Guy E. Blelloch, Anupam Gupta, Ioannis Koutis, Gary L. Miller, Richard Peng, Kanat Tangwongsan:
Near Linear-Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs. - Abdelghni Lakehal, Omar El Beqqali:
New Method for 3D Shape Retrieval. - Syed Vickar Ahamed, Syed (Shawon) Rahman:
Architecture and Design of Medical Processor Units for Medical Networks. - Stephen Mohr, Syed (Shawon) Rahman:
IT Security Issues Within the Video Game Industry. - David Hood, Syed (Shawon) Rahman:
IT Security Plan for Flight Simulation Program. - Maria Schuett, Syed (Shawon) Rahman:
Information Security Synthesis in Online Universities. - Jason Slaughter, Syed (Shawon) Rahman:
Information Security Plan for Flight Simulator Applications. - Shipra Agrawal, Navin Goyal:
Analysis of Thompson Sampling for the multi-armed bandit problem. - N. S. Narayanaswamy, N. Sadagopan:
On the Complexity of Connected (s, t)-Vertex Separator. - Svebor Karaman, Jenny Benois-Pineau, Vladislavs Dovgalecs, Rémi Mégret, Julien Pinquier, Régine André-Obrecht, Yann Gaëstel, Jean-François Dartigues:
Hierarchical Hidden Markov Model in Detecting Activities of Daily Living in Wearable Videos for Studies of Dementia. - Aldo de Luca, Alessandro De Luca:
A generalized palindromization map in free monoids. - R. Satya Prasad, Bandla Sreenivasa Rao, R. R. L. Kantam:
Monitoring Software Reliability using Statistical Process control: An MMLE approach. - Seyed Pooya Shariatpanahi, Babak Hossein Khalaj, Kasra Alishahi, Hamed Shah-Mansouri:
One-Hop Throughput of Wireless Networks with Random Connections. - Laurent George, Laurent Bonnet, Anatole Lécuyer:
Freeze the BCI until the user is ready: a pilot study of a BCI inhibitor. - Aphirak Jansang, Anan Phonphoem:
Framework Architecture for WLAN Testbed. - Roshni Neogy, Chandreyee Chowdhury, Sarmistha Neogy:
Reliability of Mobile Agents for Reliable Service Discovery Protocol in MANET. - Keerthi S. Shetty, Sanjay Singh:
Cloud Based Application Development for Accessing Restaurant Information on Mobile Device using LBS. - Janette Lehmann, Bruno Gonçalves, José J. Ramasco, Ciro Cattuto:
Dynamical Classes of Collective Attention in Twitter. - Nicolas Ferry, Jean-Yves Tigli, Stephane Lavirotte, Gaëtan Rey, Michel Riveill:
Aspects of Assembly and Cascaded Aspects of Assembly: Logical and Temporal Properties. - Hossein Shokri, Mohammad Mozaffari, Masoumeh Nasiri-Kenari:
Performance Analysis of Sequential Method for Handover in Cognitive Radio Systems. - Anouar Abdelhakim Boudhir, Mohammed Bouhorma, Mohamed Ben Ahmed, Elbrak Said:
The UWB Solution for Multimedia Traffic in Wireless Sensor Networks. - Tapalina Bhattasali, Rituparna Chaki:
Lightweight Hierarchical Model for HWSNET. - Jean Vincent Fonou Dombeu, Magda Huisman:
Semantic-Driven e-Government: Application of Uschold and King Ontology Building Methodology for Semantic Ontology Models Development. - Yi Chen, Umamahesh Srinivas, Thong T. Do, Vishal Monga, Trac D. Tran:
Discriminative Local Sparse Representations for Robust Face Recognition. - Noah Burbank, Debojyoti Dutta, Ashish Goel, David Lee, Eli Marschner, Narayanan Shivakumar:
Widescope - A social platform for serious conversations on the Web. - Sha Hua, Pei Liu, Shivendra S. Panwar:
The Urge to Merge: When Cellular Service Providers Pool Capacity. - Igal Sason:
On Refined Versions of the Azuma-Hoeffding Inequality with Applications in Information Theory. - Igal Sason:
On the Concentration of the Crest Factor for OFDM Signals. - Igal Sason:
On Concentration and Revisited Large Deviations Analysis of Binary Hypothesis Testing. - Igal Sason:
Moderate Deviations Analysis of Binary Hypothesis Testing. - Saikat Chatterjee, Dennis Sundman, Mikko Vehkaperä, Mikael Skoglund:
Projection-Based and Look Ahead Strategies for Atom Selection. - Bivas Mitra, Lionel Tabourier, Camille Roth:
Intrinsically Dynamic Network Communities. - Mathilde Noual, Sylvain Sené:
Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations. - (Withdrawn) Ag-dependent (in silico) approach implies a deterministic kinetics for homeostatic memory cell turnover.
- Sanmay Das, Allen Lavoie, Malik Magdon-Ismail:
Pushing Your Point of View: Behavioral Measures of Manipulation in Wikipedia. - Preetha K. G.:
A Novel Solution to the Short Range Bluetooth Communication. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Half-Duplex AWGN Single-Relay Channel: Full Decoding or Partial Decoding? - Lawrence Ong, Sarah J. Johnson:
The Capacity Region of the Restricted Two-Way Relay Channel with Any Deterministic Uplink. - Xiongping Dai:
A criterion of simultaneously symmetrization and spectral finiteness for a finite set of real 2-by-2 matrices. - Song Liu, Peter A. Flach, Nello Cristianini:
Generic Multiplicative Methods for Implementing Machine Learning Algorithms on MapReduce. - Hui Wang, Jie Peng, Yuan Li, Haibin Kan:
On $2k$-Variable Symmetric Boolean Functions with Maximum Algebraic Immunity $k$. - Aaron Potechin:
Monotone switching networks for directed connectivity are strictly more powerful than certain-knowledge switching networks. - Sudhir B. Lande, J. B. Helonde, Rajesh Pande, S. S. Pathak:
Adaptive Subcarrier and Bit Allocation for Downlink OFDMA System with Proportional Fairness. - Stefan Kratsch, Magnus Wahlström:
Representative sets and irrelevant vertices: New tools for kernelization. - Ruchi Tuli, Parveen Kumar:
Minimum Process Coordinated Checkpointing Scheme for Ad Hoc Networks. - Salah Eddine Rezgui, Hocine Benalla:
High Performance Controllers for Speed and Position Induction Motor Drive using New Reaching Law. - Vincent Y. F. Tan:
Moderate-Deviations of Lossy Source Coding for Discrete and Gaussian Sources. - Weishan Dong, Tianshi Chen, Peter Tiño, Xin Yao:
Scaling Up Estimation of Distribution Algorithms For Continuous Optimization. - Andrea Pietracaprina, Geppino Pucci, Matteo Riondato, Francesco Silvestri, Eli Upfal:
Space-Round Tradeoffs for MapReduce Computations. - Elena Legchekova, Oleg Titov:
Choosing the best resource by method of mamdani. - Salman Malik, Philippe Jacquet, Cédric Adjih:
On the Throughput Capacity of Wireless Multi-hop Networks with ALOHA, Node Coloring and CSMA. - Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
SATzilla: Portfolio-based Algorithm Selection for SAT. - Salman Malik, Philippe Jacquet:
On the Optimal Transmission Scheme to Maximize Local Capacity in Wireless Networks. - Biswarup Neogi, Soumyajit Mukherjee, Soumya Ghosal, Achintya Das, D. N. Tibarewala:
Design and Implementation of Prosthetic Arm using Gear Motor Control Technique with Appropriate Testing. - Alberto Bandettini, Fabio Luporini, Giovanni Viglietta:
A Survey on Open Problems for Mobile Robots. - Rong Jin, Tianbao Yang, Mehrdad Mahdavi:
Improved Bound for the Nystrom's Method and its Application to Kernel Classification. - Hamidou Tembine:
Large-scale games in large-scale systems. - Daniel Augot, Morgan Barbier, Caroline Fontaine:
Ensuring message embedding in wet paper steganography. - Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené:
Analysis of modular organisation of interaction networks based on asymptotic dynamics. - Salman Malik, Philippe Jacquet:
Optimizing Local Capacity of Wireless Ad Hoc Networks. - Jin-yi Cai, Xi Chen:
Complexity of Counting CSP with Complex Weights. - B. Vijayalakshmi, V. Subbiah Bharathi:
A Novel Approach to Texture classification using statistical feature. - Kishorjit Nongmeikapam, Sivaji Bandyopadhyay:
Genetic Algorithm (GA) in Feature Selection for CRF Based Manipuri Multiword Expression (MWE) Identification. - C. Dinesh:
Secured Data Consistency and Storage Way in Untrusted Cloud using Server Management Algorithm. - C. Dinesh:
Data Integrity and Dynamic Storage Way in Cloud Computing. - Mohammad Zaidul Karim, Nargis Akter:
Optimum Partition Parameter of Divide-and-Conquer Algorithm for Solving Closest-Pair Problem. - Hugo Méric, Jérôme Lacan, Fabrice Arnal, Guy Lesthievent, Marie-Laure Boucheret:
Improving broadcast channel rate using hierarchical modulation. - Mohammad Ali Tebbi, Mahtab Mirmohseni, Mahmoud Ahmadian-Attari, Mohammad Reza Aref:
Achievable Rates for a Two-Relay Network with Relays-Transmitter Feedbacks. - Ayça Özçelikkale, Serdar Yüksel, Haldun M. Özaktas:
Unitary Precoding and Basis Dependency of MMSE Performance for Gaussian Erasure Channels. - Yuanzhang Xiao, Jaeok Park, Mihaela van der Schaar:
Repeated Games With Intervention: Theory and Applications in Communications. - (Withdrawn) Cooperation and its emergence in growing systems with cultural reproduction.
- Dimitris Iliopoulos, Christoph Adami, Peter Szor:
Darwin inside the machines: Malware evolution and the consequences for computer security. - Muhammad Mahbubur Rahman, Arif Ul Alam, Abdullah Al Mamun, Tamnun E. Mursalin:
A more appropriate Protein Classification using Data Mining. - Joan Feigenbaum, Aaron Johnson, Paul F. Syverson:
Probabilistic Analysis of Onion Routing in a Black-box Model. - Taha Sochi:
Testing the Connectivity of Networks. - C. Ramesh, K. V. Chalapati Rao, A. Govardhan:
A semantically enriched web usage based recommendation model. - Bhargav Balakrishnan:
Three Tier Encryption Algorithm For Secure File Transfer. - Sundeep Rangan, Alyson K. Fletcher, Vivek K. Goyal, Philip Schniter:
Hybrid Approximate Message Passing with Applications to Structured Sparsity. - Brian P. Day, Adam R. Margetts, Daniel W. Bliss, Philip Schniter:
Full-Duplex MIMO Relaying: Achievable Rates under Limited Dynamic Range. - Sushmita Ruj, Amiya Nayak, Ivan Stojmenovic:
A Security Architecture for Data Aggregation and Access Control in Smart Grids. - Djamal Belazzougui, Gonzalo Navarro:
New Lower and Upper Bounds for Representing Sequences. - Moshe Babaioff, Shahar Dobzinski, Sigal Oren, Aviv Zohar:
On Bitcoin and Red Balloons. - YuanYuan He, Subhrakanti Dey:
Power Allocation for Outage Minimization in Cognitive Radio Networks with Limited Feedback. - Irene C. L. Ng, Gerard Briscoe:
Value, Variety and Viability: Designing For Co-creation in a Complex System of Direct and Indirect (goods) Service Value Proposition. - Jacob D. Abernethy, Rafael M. Frongillo:
A Collaborative Mechanism for Crowdsourcing Prediction Problems. - R. B. Geeta, Omkar Mamillapalli, Shashikumar G. Totad, P. V. G. D. Prasad Reddy:
A Novel Approach for Web Page Set Mining. - Fang Yu, Chao Wang:
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. EPTCS 73, 2011 [contents] - Chryssis Georgiou, Nicolas C. Nicolaou:
On the Practicality of Atomic MWMR Register Implementations. - Simon R. Blackburn, Tuvi Etzion:
The asymptotic behavior of Grassmannian codes. - Juan E. Tapiador, Julio C. Hernandez-Castro, Pedro Peris-Lopez, John A. Clark:
Cryptanalysis of Song's advanced smart card based password authentication protocol. - M. Thirumaran, P. Dhavachelvan, S. Abarna, Lakshmi P.:
Finite State Machine Based Evaluation Model for Web Service Reliability Analysis. - Miguel E. Andrés:
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas, Iulia M. Motoc:
8-Valent Fuzzy Logic for Iris Recognition and Biometry. - Margherita Napoli, Mimmo Parente:
Graded CTL Model Checking for Test Generation. - Cátia Vaz, Carla Ferreira:
Towards Automated Verification of Web Services. - Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto:
Model-Based Trace-Checking. - Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner:
Concurrent Development of Model and Implementation. - Peng Zhong, Ahmad Abu Al Haija, Mai Vu:
On Compress-Forward without Wyner-Ziv Binning for Relay Networks. - Patrick Valduriez:
Principles of Distributed Data Management in 2020? - Pranav Dandekar, Nadia Fawaz, Stratis Ioannidis:
Privacy Auctions for Inner Product Disclosures. - Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha:
Adaptive Regret Minimization in Bounded-Memory Games. - Shuchi Chawla, Jason D. Hartline, Balasubramanian Sivan:
Optimal Crowdsourcing Contests. - Sebastien Ardon, Amitabha Bagchi, Anirban Mahanti, Amit Ruhela, Aaditeshwar Seth, Rudra M. Tripathy, Sipat Triukose:
Spatio-Temporal Analysis of Topic Popularity in Twitter. - John Augustine, Sandip Das, Anil Maheshwari, Subhas C. Nandy, Sasanka Roy, Swami Sarvattomananda:
Localized Geometric Query Problems. - Anan Phonphoem, Aphirak Jansang:
A Simple Network Management Architecture for Supporting Network Administrator and QoS Requirements. - Sariel Har-Peled, Nirman Kumar:
Down the Rabbit Hole: Robust Proximity Search in Sublinear Space. - Marcos Aurélio Domingues, Alípio Mário Jorge, Carlos Soares:
Using Contextual Information as Virtual Items on Top-N Recommender Systems. - Anant Baijal, Vikram Singh Chauhan, T. Jayabarathi:
Application of PSO, Artificial Bee Colony and Bacterial Foraging Optimization algorithms to economic load dispatch: An analysis. - Cunsheng Ding:
Cyclotomic Constructions of Cyclic Codes with Length Being the Product of Two Primes. - Behrang Parhizkar, Ashraf Abbas M. Al-Modwahi, Arash Habibi Lashkari, Mohammad Mehdi Bartaripou, Hossein Reza Babae:
A Survey on Web-based AR Applications. - Ala'a Z. Al-Howaide, Ahmad S. Doulat, Yaser M. Khamayseh:
Performance Evaluation of Different Scheduling Algorithms in WiMAX. - Martin Hünniger:
Digital Manifolds and the Theorem of Jordan-Brouwer. - Asif Irshad Khan, Rizwan Jameel Qurashi, Usman Ali Khan:
A Comprehensive Study of Commonly Practiced Heavy and Light Weight Software Methodologies. - Ayu Tiwari, Sudip Sanyal, Ajith Abraham, Svein Johan Knapskog, Sugata Sanyal:
A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices. - Mário S. Alvim:
Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications. - Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu:
Design of a Sliding Window over Asynchronous Event Streams. - André Thomas, Damien Trentesaux, Paul Valckenaers:
Intelligent Distributed Production Control. - Shuang Li, Zizhan Zheng, Eylem Ekici, Ness B. Shroff:
Maximizing System Throughput by Cooperative Sensing in Cognitive Radio Networks. - Bhaskar DasGupta, Devendra Desai:
A Remark on a Connection Between Small Set Expansions and Modularity Clustering in Social Networks. - N. Ramasubramanian, Srinivas V. V., N. Ammasai Gounden:
Performance of Cache Memory Subsystems for Multicore Architectures. - Kishore Angrishi, Ulrich Killat:
An Approach using N-Demisupermartingales for the Stochastic Analysis of Networks. - Laika Satish, Sami Halawani:
A fusion algorithm for joins based on collections in Odra (Object Database for Rapid Application development). - Vladimir Anashin, Andrei Yu. Khrennikov, Ekaterina Yurova:
T-functions revisited: New criteria for bijectivity/transitivity. - Hassan Gobjuka, Kamal Ahmat:
vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing. - David Doty, Jack H. Lutz, Matthew J. Patitz, Robert T. Schweller, Scott M. Summers, Damien Woods:
The tile assembly model is intrinsically universal. - Doron A. Peled, Sven Schewe:
Practical Distributed Control Synthesis. 2-17 - Alex Spelten, Wolfgang Thomas, Sarah Winter:
Trees over Infinite Structures and Path Logics with Synchronization. 20-34 - Laurent Fribourg, Bertrand Revol, Romain Soulat:
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems. 35-48 - Alberto Ciaffaglione:
A coinductive semantics of the Unlimited Register Machine. 49-63 - Christian Krause, Holger Giese:
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. 64-78 - Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki:
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking. 79-93 - Ashwin Ganesan:
On a bound for the diameter of Cayley networks of symmetric groups generated by transposition trees. - Iris Eshkol, Denis Maurel, Nathalie Friburger:
ESLO: from transcription to speakers' personal information annotation. - Akira Saitoh:
A multiprecision matrix calculation library and its extension library for a matrix-product-state simulation of quantum computing. - Abuzer Yakaryilmaz, A. C. Cem Say:
Proving the power of postselection. - Argimiro Arratia, Alejandra Cabaña:
Tracing the temporal evolution of clusters in a financial stock market. - Elsa Tolone, Éric Villemonte de la Clergerie, Benoît Sagot:
Évaluation de lexiques syntaxiques par leur intégartion dans l'analyseur syntaxiques FRMG. - Kyriaki Ioannidou, Elsa Tolone:
Construction du lexique LGLex à partir des tables du Lexique-Grammaire des verbes du grec moderne. - Taejoon Kim, David James Love, Bruno Clerckx:
On the Spatial Degrees of Freedom of Multicell and Multiuser MIMO Channels. - Francisco Lázaro Blasco, Francesco Rossetto:
On the Derivation of Optimal Partial Successive Interference Cancellation. - Pardeep Kumar, Vivek Kumar Sehgal, Durg Singh Chauhan, P. K. Gupta, Manoj Diwakar:
Effective Ways of Secure, Private and Trusted Cloud Computing. - Francisco Lázaro Blasco, Gianluigi Liva:
On the Concatenation of Non-Binary Random Linear Fountain Codes with Maximum Distance Separable Codes. - Joel Veness, Kee Siong Ng, Marcus Hutter, Michael H. Bowling:
Context Tree Switching. - Balázs Matuz, Francisco Lázaro Blasco, Gianluigi Liva:
On the Application of the Baum-Welch Algorithm for Modeling the Land Mobile Satellite Channel. - Francisco Lázaro Blasco, Francesco Rossetto, Gerhard Bauch:
Time Interference Alignment via Delay Offset for Long Delay Networks. - Abbas Kazerooni, Azarang Golmohammadi, Farokh Marvasti:
Salt-and-Pepper Noise Removal Based on Sparse Signal Processing. - Artur Jez:
Faster fully compressed pattern matching by recompression. - Mehdi Kaytoue, Sergei O. Kuznetsov, Juraj Macko, Wagner Meira Jr., Amedeo Napoli:
Mining Biclusters of Similar Values with Triadic Concept Analysis. - Ebrahim B. Al-Safadi, Tareq Y. Al-Naffouri:
Pilotless Recovery of Clipped OFDM Signals by Compressive Sensing over Reliable Data Carriers. - Beni Yoshida:
Information storage capacity of discrete spin systems. - Reza Farrahi Moghaddam, Mohamed Cheriet, Thomas Milo, Robert Wisnovsky:
A prototype system for handwritten sub-word recognition: Toward Arabic-manuscript transliteration. - Antal Iványi, Lorád Lucz, Tamás F. Móri, Péter Sótér:
On Erdős-Gallai and Havel-Hakimi algorithms. - Dömötör Pálvölgyi:
Lower bounds for finding the maximum and minimum elements with k lies. - A. Járai, Emil Vatai:
Cache optimized linear sieve. - Mihai Cucuringu, Amit Singer, David Cowburn:
Eigenvector Synchronization, Graph Rigidity and the Molecule Problem. - Josep Díaz, Leslie Ann Goldberg, George B. Mertzios, David Richerby, Maria J. Serna, Paul G. Spirakis:
Approximating Fixation Probabilities in the Generalized Moran Process. - Abhishek Kr. Singh, Bollibisai Giridhar, Partha Sarathi Mandal:
Fixing Data Anomalies with Prediction Based Algorithm in Wireless Sensor Networks. - Kobbi Nissim, Claudio Orlandi, Rann Smorodinsky:
Privacy-Aware Mechanism Design. - Chen Avin, Zvi Lotker, Yvonne-Anne Pignolet:
On The Elite of Social Networks. - Dustin G. Mixon, Christopher J. Quinn, Negar Kiyavash, Matthew Fickus:
Fingerprinting with Equiangular Tight Frames. - Nicholas F. Travers, James P. Crutchfield:
Infinite Excess Entropy Processes with Countable-State Generators. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity of a Class of Multi-Way Relay Channels. - Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
Functional-Decode-Forward for the General Discrete Memoryless Two-Way Relay Channel. - Evripidis Bampis, Christoph Dürr, Fadi Kacem, Ioannis Milis:
Speed scaling with power down scheduling for agreeable deadlines. - Xiaojun Sun, Chunming Zhao:
Outage probability of selective decode and forward relaying with secrecy constraints. - Zoltán Ésik, Satoshi Okawa:
On context-free languages of scattered words. - Elsa Tolone, Stavroula Voyatzi:
Extending the adverbial coverage of a NLP oriented resource for French. - Yuhua Sun, Hui Li, Zilong Wang:
The cross-correlation distribution of a p-ary m-sequence of period p2m-1 and its decimation by (pm+1)2 / 2(pe+1). - Shah Mahmood, Yvo Desmedt:
Preliminary Analysis of Google+'s Privacy. - Francisco J. Soulignac:
Fully dynamic recognition of proper circular-arc graphs. - David Rebollo-Monedero, Javier Parra-Arnau, Claudia Díaz, Jordi Forné:
On the Measurement of Privacy as an Attacker's Estimation Error. - Luis Barba, Matias Korman, Stefan Langerman, Rodrigo I. Silveira:
Computing a visibility polygon using few variables. - Thijs Laarhoven, Jeroen Doumen, Peter Roelse, Boris Skoric, Benne de Weger:
Dynamic Tardos Traitor Tracing Schemes. - Michele Elia, Davide Schipani:
On the Rabin signature. - Hamid A. Toussi:
tym: Typed Matlab. - Per Zetterberg, Nima N. Moghadam:
An Experimental Investigation of SIMO, MIMO, Interference-Alignment (IA) and Coordinated Multi-Point (CoMP). - Edwin A. Henneken, Alberto Accomazzi:
Linking to Data - Effect on Citation Rates in Astronomy. - Csaba Patcas:
The debts' clearing problem: a new approach. - T. Herendi, R. Major:
Modular exponentiation of matrices on FPGA-s. - Gabor Farkas, G. Kallós, György Kiss:
Large primes in generalized Pascal triangles. - Norbert Pataki:
C++ Standard Template Library by template specialized containers. - Anish Das Sarma, Ankur Jain, Ashwin Machanavajjhala, Philip Bohannon:
CBLOCK: An Automatic Blocking Mechanism for Large-Scale De-duplication Tasks. - Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot, Lirong Xia:
New Candidates Welcome! Possible Winners with respect to the Addition of New Candidates. - Dmitri V. Truhachev:
Achieving AWGN Channel Capacity with Sparse Graph Modulation and "In the Air" Coupling. - Aytac Azgin, Yucel Altunbasak:
Channel Reordering with Time-shifted Streams to Improve Channel Change Latency in IPTV Networks. - Wenqi Huang, Tao Ye, Duanbing Chen:
Corner Occupying Theorem for the Two-dimensional Integral Rectangle Packing Problem. - Vinay Joseph, Gustavo de Veciana:
Variability Aware Network Utility Maximization. - Gabriel Synnaeve, Pierre Bessière:
A Bayesian Model for Plan Recognition in RTS Games applied to StarCraft. - Saif Khan Mohammed, Erik G. Larsson:
Single-User Beamforming in Large-Scale MISO Systems with Per-Antenna Constant-Envelope Constraints: The Doughnut Channel. - Vipul Goyal, Virendra Kumar, Mayank Singh, Ajith Abraham, Sugata Sanyal:
CompChall: Addressing Password Guessing Attacks. - Soumyendu Das, Subhendu Das, Bijoy Bandyopadhyay, Sugata Sanyal:
Steganography and Steganalysis: Different Approaches. - Florian Dupuy, Philippe Loubaton:
Diversity of the MMSE receiver in flat fading and frequency selective MIMO channels at fixed rate. - Aki Saarinen, Matti Siekkinen, Yu Xiao, Jukka K. Nurminen, Matti Kemppainen, Pan Hui:
Offloadable Apps using SmartDiet: Towards an analysis toolkit for mobile application developers. - Martin Hünniger:
Good Pairs of Adjacency Relations in Arbitrary Dimensions. - Irina E. Bocharova, Florian Hug, Rolf Johannesson, Boris D. Kudryashov:
An Analytic Expression for the Exact Bit Error Probability for Viterbi Decoding of Convolutional Codes. - Marek Eliás, Jirí Matousek:
Higher-order Erdos-Szekeres theorems. - Tor Lattimore, Marcus Hutter:
No Free Lunch versus Occam's Razor in Supervised Learning. - Ian Wood, Peter Sunehag, Marcus Hutter:
(Non-)Equivalence of Universal Priors. - He Wen, Laszlo B. Kish, Andreas Klappenecker, Ferdinand Peper:
New noise-based logic representations to avoid some problems with time complexity. - Siham Bekkai:
Minimum degree, independence number and pseudo [2,b]-factors in graphs. - ChunYuen Teng, Yu-Ru Lin, Lada A. Adamic:
Recipe recommendation using ingredient networks. - Pengkai Zhao, Cong Shen:
A Low-Delay Low-Complexity EKF Design for Joint Channel and CFO Estimation in Multi-User Cognitive Communications. - Sergey Kuniavsky, Rann Smorodinsky:
Equilibrium and Potential in Coalitional Congestion Games. - Bill Hibbard:
Model-based Utility Functions. - Zhuohua Wu, Mai Vu:
Partial Decode-Forward Binning Schemes for the Causal Cognitive Relay Channels. - Luis Quesada, Alejandro J. León:
The Object Projection Feature Estimation Problem in Unsupervised Markerless 3D Motion Tracking. - Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera:
A Tool for Model-Based Language Specification. - Tomasz Suslo:
The Numerical Generalized Least-Squares Estimator of an Unknown Constant Mean of Random Field. - Jakub Kovác:
Complexity of the path avoiding forbidden pairs problem revisited. - Sumit Katiyar, R. K. Jain, N. K. Agrawal:
Proposed Cellular Network for ndian Conditions for Enhancement of Spectral Density and Reduction of Power Consumption & RF Pollution. - Tamal Chakraborty, Atri Mukhopadhyay, Iti Saha Misra, Salil Kumar Sanyal:
VoIP Call Optimization in Diverse Network Scenarios Using Learning Based State-Space Search Technique. - David Rebollo-Monedero, Javier Parra-Arnau, Jordi Forné:
An Information-Theoretic Privacy Criterion for Query Forgery in Information Retrieval. - Le Hoang Thai, Nguyen Do Thai Nguyen, Tran Son Hai:
A Facial Expression Classification System Integrating Canny, Principal Component Analysis and Artificial Neural Network. - Denis Berthier:
Unbiased Statistics of a CSP - A Controlled-Bias Generator. - Aniruddha Bhattacharyya, Arnab Banerjee, Dipayan Bose, Himadri Nath Saha, Debika Bhattacharyya:
Different types of attacks in Mobile ADHOC Network. - Hervé Zwirn, Jean-Paul Delahaye:
Unpredictability and Computational Irreducibility. - Christine Grün:
A probabilistic-numerical approximation for an obstacle problem arising in game theory. - Aravindh Krishnamoorthy, Deepak Menon:
Matrix Inversion Using Cholesky Decomposition. - Ryutaroh Matsumoto, Masahito Hayashi:
Universal Strongly Secure Network Coding with Dependent and Non-Uniform Messages. - Kirill A. Sorudeykin:
A Model of Spatial Thinking for Computational Intelligence. - Farzad Parvaresh, Raúl H. Etkin:
Efficient Capacity Computation and Power Optimization for Relay Networks. - Victor A. Rodriguez-Toro, Jaime E. Garzon, Jesus A. Lopez:
Control Neuronal por Modelo Inverso de un Servosistema Usando Algoritmos de Aprendizaje Levenberg-Marquardt y Bayesiano. - Sourya Roy, Tyler Clemons, S. M. Faisal, Ke Liu, Nikos Hardavellas, Srinivasan Parthasarathy:
Elastic Fidelity: Trading-off Computational Accuracy for Energy Reduction. - Dmitry Zinoviev:
Parametric Estimation of the Ultimate Size of Hypercomputers. - Basanna V. Dhandra, R. G. Benne, Mallikarjun Hangarge:
A Single Euler Number Feature for Multi-font Multi-size Kannada Numeral Recognition. - B. V. Dhandra, R. G. Benne, Mallikarjun Hangarge:
Multi-font Multi-size Kannada Numeral Recognition Based on Structural Features. - Cheng Chen, Kui Wu, Srinivasan Venkatesh, Xudong Zhang:
Battling the Internet Water Army: Detection of Hidden Paid Posters. - Monaldo Mastrolilli:
The Feedback Arc Set Problem with Triangle Inequality is a Vertex Cover Problem. - Volker Diekert, Manfred Kufleitner, Pascal Weil:
Star-Free Languages are Church-Rosser Congruential. - Andrej Bogdanov, Chin Ho Lee:
Homomorphic encryption from codes. - Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò:
Semantic Navigation on the Web of Data: Specification of Routes, Web Fragments and Actions. - Jyotirmoy Karjee, H. S. Jamadagni:
Energy Aware Node Selection for Cluster-based Data Accuracy Estimation in Wireless Sensor Networks. - Yuriy Ostapov:
Question Answering in a Natural Language Understanding System Based on Object-Oriented Semantics. - Yulong Liu, Tiebin Mi, Shidong Li:
Compressed Sensing with General Frames via Optimal-dual-based ℓ1-analysis. - George Iosifidis, Anil Kumar Chorppath, Tansu Alpcan, Iordanis Koutsopoulos:
Incentive Mechanisms for Hierarchical Spectrum Markets. - Camille Leroux, Alexandre J. Raymond, Gabi Sarkis, Ido Tal, Alexander Vardy, Warren J. Gross:
Hardware Implementation of Successive Cancellation Decoders for Polar Codes. - Bruno Bauwens, Alexander Shen:
An additivity theorem for plain complexity. - Hang Dinh, Cristopher Moore, Alexander Russell:
Quantum Fourier sampling, Code Equivalence, and the quantum security of the McEliece and Sidelnikov cryptosystems. - David Spieler, Ernst Moritz Hahn, Lijun Zhang:
Model Checking CSL for Markov Population Models. 93-107 - Gonzalo Navarro, Daniel Valenzuela:
Practical Top-K Document Retrieval in Reduced Space. - Pieter Van Gorp, Steffen Mazanek, Louis M. Rose:
Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011. EPTCS 74, 2011 [contents] - Simeon Persson, Kristian Várnai:
Full Restoration of Visual Encrypted Color Images. - Chong Jiang, R. Srikant:
Parametrized Stochastic Multi-armed Bandits with Binary Rewards. - Lee-Ad Gottlieb, Aryeh Kontorovich, Robert Krauthgamer:
Efficient Regression in Metric Spaces via Approximate Lipschitz Extension. - Somayeh Kafaie, Omid Kashefi, Mohsen Sharifi:
A Low-Energy Fast Cyber Foraging Mechanism for Mobile Devices. - Johan Ugander, Brian Karrer, Lars Backstrom, Cameron Marlow:
The Anatomy of the Facebook Social Graph. - Krzysztof Szajowski:
Multi-variate Quickest Detection of Significant Change Process. - Kshitiz Verma, Gianluca Rizzo, Antonio Fernández Anta, Rubén Cuevas Rumín, Arturo Azcorra:
Greening File Distribution: Centralized or Distributed? - Lluis Pamies-Juarez, Anwitaman Datta, Frédérique E. Oggier:
In-Network Redundancy Generation for Opportunistic Speedup of Backup. - Nguyen Lu Dang Khoa, Sanjay Chawla:
Large Scale Spectral Clustering Using Approximate Commute Time Embedding. - Sugata Sanyal, Rangarajan Vasudevan, Ajith Abraham, Marcin Paprzycki:
Grid Security and Integration with Minimal Performance Degradation. - Mathilde Noual, Damien Regnault, Sylvain Sené:
Non-monotony and Boolean automata networks. - Dragana Bajovic, Dusan Jakovetic, José M. F. Moura, João Manuel Freitas Xavier, Bruno Sinopoli:
Large Deviations Performance of Consensus+Innovations Distributed Detection with Non-Gaussian Observations. - Lars Backstrom, Paolo Boldi, Marco Rosa, Johan Ugander, Sebastiano Vigna:
Four Degrees of Separation. - Nima S. Anzabi-Nezhad, Ghosheh Abed Hodtani, Mohammad Molavi Kakhki:
Information Theoretic Exemplification of the Impact of Transmitter-Receiver Cognition on the Channel Capacity. - Usman A. Khan, Ali Jadbabaie:
Networked estimation under information constraints. - Omar El Ayach, Robert W. Heath Jr.:
Grassmannian Differential Limited Feedback for Interference Alignment. - Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
On the Transience of Linear Max-Plus Dynamical Systems. - Gilles Dowek, Murdoch J. Gabbay:
From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions. - Idan Ram, Michael Elad, Israel Cohen:
Redundant Wavelets on Graphs and High Dimensional Data Clouds. - Hossein Shokri Ghadikolaei, Masoumeh Nasiri-Kenari:
Sensing Matrix Setting Schemes for Cognitive Networks and Their Performance Analysis. - Keigo Takeuchi, Ralf R. Müller, Mikko Vehkaperä, Toshiyuki Tanaka:
On an Achievable Rate of Large Rayleigh Block-Fading MIMO Channels with No CSI. - Tao Shi, Vladimir Anashin, Dongdai Lin:
Linear Relation on General Ergodic T-Function. - Leo Lahti, Martin Schäfer, Hans-Ulrich Klein, Silvio Bicciato, Martin Dugas:
Cancer gene prioritization by integrative analysis of mRNA expression and DNA copy number data: a comparative review. - Yaniv Altshuler, Nadav Aharony, Michael Fire, Yuval Elovici, Alex Pentland:
Incremental Learning with Accuracy Prediction of Social and Individual Properties from Mobile-Phone Data. - Karthekeyan Chandrasekaran, Santosh S. Vempala:
A Discrepancy based Approach to Integer Programming. - Yaniv Altshuler, Wei Pan, Alex Pentland:
Trends Prediction Using Social Diffusion Models. - Amelia Carolina Sparavigna:
A self-portrait of young Leonardo. - Andrew Pickin:
Facial Asymmetry and Emotional Expression. - Grenville J. Croll:
An Insight into Spreadsheet User Behaviour through an Analysis of EuSpRIG Website Statistics. - Kyunghan Lee, Yoora Kim, Song Chong, Injong Rhee, Yung Yi, Ness B. Shroff:
On the Critical Delays of Mobile Networks under Levy Walks and Levy Flights. - Yanhua Li, Wei Chen, Yajun Wang, Zhi-Li Zhang:
Influence Diffusion Dynamics and Influence Maximization in Social Networks with Friend and Foe Relationships. - Markus Herrmannsdoerfer:
GMF: A Model Migration Case for the Transformation Tool Contest. 1-5 - Sebastian Buchwald, Edgar Jakumeit:
Compiler Optimization: A Case for the Transformation Tool Contest. 6-16 - Tassilo Horn:
Program Understanding: A Reengineering Case for the Transformation Tool Contest. 17-21 - Steffen Mazanek:
HelloWorld! An Instructive Case for the Transformation Tool Contest. 22-26 - Markus Herrmannsdoerfer:
Solving the TTC 2011 Model Migration Case with Edapt. 27-35 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Solving the TTC 2011 Model Migration Case with UML-RSDS. 36-41 - Sebastian Buchwald, Edgar Jakumeit:
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET. 42-53 - Dan Li, Xiaoshan Li, Volker Stolz:
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. 54-69 - Markus Lepper, Baltasar Trancón y Widemann:
Solving the TTC 2011 Compiler Optimization Task with metatools. 70-115 - Tassilo Horn:
Solving the TTC 2011 Compiler Optimization Case with GReTL. 116-125 - Arend Rensink, Eduardo Zambon:
Solving the TTC 2011 Compiler Optimization Case with GROOVE. 126-130 - Tassilo Horn:
Solving the TTC 2011 Reengineering Case with GReTL. 131-135 - Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann:
Solving the TTC 2011 Reengineering Case with VIATRA2. 136-148 - Markus Herrmannsdoerfer:
Solving the TTC 2011 Reengineering Case with Edapt. 149-158 - Agris Sostaks, Elina Kalnina, Audris Kalnins, Edgars Celms, Janis Iraids:
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations. 159-167 - Edgar Jakumeit, Sebastian Buchwald:
Solving the TTC 2011 Reengineering Case with GrGen.NET. 168-180 - Stefan Jurack, Johannes Tietje:
Solving the TTC 2011 Reengineering Case with Henshin. 181-203 - Markus Herrmannsdoerfer:
Saying Hello World with Edapt - A Solution to the TTC 2011 Instructive Case. 204-214 - Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon:
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. 215-222 - Elina Kalnina, Audris Kalnins, Agris Sostaks, Janis Iraids, Edgars Celms:
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case. 237-252 - Stefan Jurack, Johannes Tietje:
Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case. 253-280 - Sebastian Buchwald, Edgar Jakumeit:
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case. 281-294 - Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann:
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case. 302-324 - Dan Li, Xiaoshan Li, Volker Stolz:
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. 223-236 - Tassilo Horn:
Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case. 295-301 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case. 325-331 - Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. 332-339 - Costas Busch, Chinmoy Dutta, Jaikumar Radhakrishnan, Rajmohan Rajaraman, Srinivasagopalan Srivathsan:
Split and Join: Strong Partitions and Universal Steiner Trees for Graphs. - Sreeram Kannan, Pramod Viswanath:
Capacity of Multiple Unicast in Wireless Networks: A Polymatroidal Approach. - Kyomin Jung, Wooram Heo, Wei Chen:
IRIE: A Scalable Influence Maximization Algorithm for Independent Cascade Model and Its Extensions. - Aroop Mukherjee, Soumen Kanrar:
Enhancement of Image Resolution by Binarization. - Rachit Agarwal, Abhik Banerjee, Vincent Gauthier, Monique Becker, Chai Kiat Yeo, Bu-Sung Lee:
Achieving Small World Properties using Bio-Inspired Techniques in Wireless Networks. - Soumen Kanrar, Mohammad Siraj:
Enhanced Antenna Position Implementation Over Vehicular Ad Hoc Network (VNET) In 3D Space. - Eduardo Montijano, Juan I. Montijano, Carlos Sagüés:
Chebyshev Polynomials in Distributed Consensus Applications. - (Withdrawn) Analytical calculation of optimal POVM for unambiguous discrimination of quantum states using KKT method.
- (Withdrawn) Distributed Multi-view Matching in Networks with Limited Communications.
- Francesc Font-Clos, Francesco Alessandro Massucci, Isaac Pérez Castillo:
A weighted message-passing algorithm to estimate volume-related properties of random polytopes. - Adam O. Kalinich:
Flipping the Winner of a Poset Game. - Zhengjun Cao, Qian Sha, Xiao Fan:
Adleman-Manders-Miller Root Extraction Method Revisited. - S. M. Vijay Mahantesh, Sudarshan Iyengar, M. Vijesh, Shruthi Nayak, Nikitha Shenoy:
Prediction Of Arrival Of Nodes In A Scale Free Network. - M. Vijesh, Sudarshan Iyengar, S. M. Vijay Mahantesh, Amitash Ramesh, Veni Madhavan:
A Navigation Algorithm Inspired by Human Navigation. - Arka Ghosh:
Comparative study of Financial Time Series Prediction by Artificial Neural Network with Gradient Descent Learning. - Bryan Dawei He:
A Simple Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations. - Nabarun Mondal, Partha P. Ghosh:
Universal Computation is 'Almost Surely' Chaotic. - Chunxiao Jiang, Yan Chen, K. J. Ray Liu, Yong Ren:
Renewal-Theoretical Dynamic Spectrum Access in Cognitive Radio Networks with Unknown Primary Behavior. - David Colver:
Drivers of the Cost of Spreadsheet Audit. - Arya Mazumdar:
Explicit Group Testing Scheme that Identifies Almost All Defective Configurations. - Nancy Wu:
Leveraging User Profile and Behaviour to Design Practical Spreadsheet Controls for the Finance Function. - Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori:
Reaction Automata. - Carlo Blundo, Emiliano De Cristofaro, Paolo Gasti:
EsPRESSo: Efficient Privacy-Preserving Evaluation of Sample Set Similarity. - Shuai Li, Haojin Zhu, Zhaoyu Gao, Xinping Guan:
Mitigating Entropy Selfishness in Distributed Collaborative Spectrum Sensing. - Sriram Nagaraj, Aswin C. Sankaranarayanan, Richard G. Baraniuk:
A Theory for Optical flow-based Transport on Image Manifolds. - Olivier Heen, Erwan Le Merrer, Christoph Neumann, Stéphane Onno:
Pretty Private Group Management. - Andreas Bauer, Yliès Falcone:
Decentralised LTL Monitoring. - S. Nithyanandam, K. S. Gayathri, P. L. K. Priyadarshini:
A New IRIS Normalization Process For Recognition System With Cryptographic Techniques. - Bob Diertens:
Concurrent Models for Function Execution. - Bob Diertens:
Communicating Concurrent Functions. - Evan Tan, Chun Tung Chou:
A Frame Rate Optimization Framework For Improving Continuity In Video Streaming. - Magnús M. Halldórsson, Pradipta Mitra:
Algorithms for Weighted Capacity and Admission Control in Wireless Networks. - Serge Kernbach:
Robot Companions: Technology for Humans. - Serge Kernbach:
Awareness and Self-Awareness for Multi-Robot Organisms. - Roberto Grossi, Giuseppe Ottaviano:
Fast Compressed Tries through Path Decompositions. - Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. - David I. Shuman, Pierre Vandergheynst, Pascal Frossard:
Distributed Signal Processing via Chebyshev Polynomial Approximation. - Inder Jeet Taneja:
Refinement of Gini-Means Inequalities and Connections with Divergence Measures. - Miguel A. Fortuna, Juan A. Bonachela, Simon A. Levin:
Evolution of a Modular Software Network. - Justin Ziniel, Philip Schniter:
Efficient High-Dimensional Inference in the Multiple Measurement Vector Problem. - Marida Dossena:
Coverage Related Issues in Networks. - Laurent George, Fabien Lotte, Raquel Viciana-Abad, Anatole Lécuyer:
Using Scalp Electrical Biosignals to Control an Object by Concentration and Relaxation Tasks: Design and Evaluation. - Xi Liu, Elza Erkip:
On the Gaussian Z-Interference Channel with Processing Energy Cost. - Badr Elmir, Bouchaib Bounabat:
A Novel Approach for Periodic Assessment of Business Process Interoperability. - Sanjay K. Dwivedi, Pramod P. Sukhadeve:
Rule based Part of speech Tagger for Homoeopathy Clinical realm. - Hossein Shokri Ghadikolaei, Younes Abdi, Masoumeh Nasiri-Kenari:
Analytical and Learning-Based Spectrum Sensing Time Optimization in Cognitive Radio Systems. - Arman Yousefi, Neal E. Young:
On a Linear Program for Minimum-Weight Triangulation. - Ryan A. Rossi, Jennifer Neville:
Representations and Ensemble Methods for Dynamic Relational Classification. - Sariel Har-Peled:
On the Expected Complexity of Random Convex Hulls. - Abbas Noon, Ali Kalakech, Seifedine Nimer Kadry:
A New Round Robin Based Scheduling Algorithm for Operating Systems: Dynamic Quantum Using the Mean Average. - Hermann Gruber:
Digraph Complexity Measures and Applications in Formal Language Theory. - Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena:
Contextually Guided Semantic Labeling and Search for 3D Point Clouds. - Sonia Jahid, Shirin Nilizadeh, Prateek Mittal, Nikita Borisov, Apu Kapadia:
A Decentralized Architecture for Enforcing Privacy in Online Social Networks. - Ho-Leung Chan, Tak Wah Lam, Lap-Kei Lee, Jiangwei Pan, Hing-Fung Ting, Qin Zhang:
Edit Distance to Monotonicity in Sliding Windows. - Qiang Dong, Hui Gao, Yan Fu, Xiaofan Yang:
Hamiltonian Connectivity of Twisted Hypercube-Like Networks under the Large Fault Model. - Michael J. Bannister, David Eppstein:
Randomized Speedup of the Bellman-Ford Algorithm. - Marek Karpinski, Richard Schmied:
Improved Lower Bounds for the Shortest Superstring and Related Problems. - John Rooksby, Ian Sommerville:
The Management and Use of Social Network Sites in a Government Department. - Arturo Carpi, Flavio D'Alessandro:
Independent sets of words and the synchronization problem. - Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan:
Truthful Mechanisms for Agents that Value Privacy. - Thomas Rothvoß:
Directed Steiner Tree and the Lasserre Hierarchy. - Rick Quax, Andrea Apolloni, Peter M. A. Sloot:
Information processing reveals how microscopic components affect the macroscopic system-state in complex networks. - Marco Baldi, Marco Bianchi, Franco Chiaraluce, Torleiv Kløve:
A class of punctured simplex codes which are proper for error detection. - Willy Picard:
Membership(s) and compliance(s) with class-based graphs. - Willy Picard:
Capturing Social Requirements for Human Interactions with Service Protocols. - André Sabino, Armanda Rodrigues:
Understanding the Role of Cooperation in Emergency Plan Construction. - Zbigniew Paszkiewicz, Willy Picard:
Modelling Competences for Partner Selection in Service-Oriented Virtual Organization Breeding Environments. - Anis Ismail, Mohamed Quafafou, Gilles Nachouki, Mohammad Hajjar:
Efficient Super-Peer-Based Queries Routing: Simulation and Evaluation. - Guillaume Aupy, Anne Benoit, Yves Robert:
Energy-aware scheduling under reliability and makespan constraints. - Milan B. Tasic, Predrag S. Stanimirovic, Selver H. Pepic:
Computation of generalized inverses using Php/MySql environment. - Matei Zaharia, William J. Bolosky, Kristal Curtis, Armando Fox, David A. Patterson, Scott Shenker, Ion Stoica, Richard M. Karp, Taylor Sittler:
Faster and More Accurate Sequence Alignment with SNAP. - Willy Picard:
Agile Professional Virtual Community Inheritance via Adaptation of Social Protocols. - Vijayaraghavan Thirumalai, Pascal Frossard:
Distributed Representation of Geometrically Correlated Images with Compressed Linear Measurements. - Seifedine Nimer Kadry, Mohamad Smaili, Hussam Kassem, Hassan Hayek:
A New Technique to Backup and Restore DBMS using XML and .NET Technologies. - Seifedine Nimer Kadry:
A New Proposed Technique to Improve Software Regression Testing Cost. - Seifedine Nimer Kadry, Mohamad Smaili:
An Improvement of RC4 Cipher Using Vigenere Cipher. - Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli:
Ground interpolation for the theory of equality. - Rishabh K. Iyer, Rushikesh Borse, Ronak Shah, Subhasis Chaudhuri:
Estimation of the Embedding Capacity in Pixel-pair based Watermarking Schemes. - Gang Wang, Christo Wilson, Xiaohan Zhao, Yibo Zhu, Manish Mohanlal, Haitao Zheng, Ben Y. Zhao:
Serf and Turf: Crowdturfing for Fun and Profit. - Dmitri V. Truhachev, David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello Jr.:
Connecting Spatially Coupled LDPC Code Chains. - Nirmal Fernando, Yi Hong, Emanuele Viterbo:
Flip-OFDM for Optical Wireless Communications. - Michelina Venditti, Emanuela Reale, Loet Leydesdorff:
The Disclosure of University Research for Societal Demand: A Non-Market Perspective on the "Third Mission". - Baptiste Ducatel, Mehdi Kaytoue, Florent Marcuola, Amedeo Napoli, Laszlo Szathmary:
Coron : Plate-forme d'extraction de connaissances dans les bases de données. - Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli:
Revisiting Numerical Pattern Mining with Formal Concept Analysis. - Mehdi Kaytoue, Florent Marcuola, Amedeo Napoli, Laszlo Szathmary, Jean Villerd:
The Coron System. - Andreas Konstantinidis, Haris Haralambous, Alexandros Agapitos, Harris Papadopoulos:
A GP-MOEA/D Approach for Modelling Total Electron Content over Cyprus. - Zbigniew Paszkiewicz, Willy Picard:
MAPSS, a Multi-Aspect Partner and Service Selection Method. - Jan Swierzowicz, Willy Picard:
Social Service Brokerage based on UDDI and Social Requirements. - Chen Avin, Michael Borokhovich, Asaf Cohen, Zvi Lotker:
Efficient Joint Network-Source Coding for Multiple Terminals with Side Information. - Wojciech Cellary, Willy Picard:
Agile and Pro-Active Public Administration as a Collaborative Networked Organization. - Zbigniew Paszkiewicz, Willy Picard:
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments. - Willy Picard:
Social Protocols for Agile Virtual Teams. - Jason Crampton, Charles Morisset:
PTaCL: A Language for Attribute-Based Access Control in Open Systems. - Jan Swierzowicz, Willy Picard:
Social Requirements for Virtual Organization Breeding Environments. - Wim H. Hesselink:
Partial mutual exclusion for infinitely many processes. - Zbigniew Paszkiewicz, Willy Picard:
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology. - Luís F. Seoane, Andreas Ruttor:
Successful attack on PPM-based neural cryptography. - Kaibin Huang:
Throughput of Wireless Networks Powered by Energy Harvesting. - Tadeusz Krasinski, Sebastian Sakowski, Tomasz Poplawski:
Autonomous push-down automaton built on DNA. - Ömer Bulakci, Abdallah Bou Saleh, Simone Redana, Bernhard Raaf, Jyri Hämäläinen:
Enhancing LTE-Advanced Relay Deployments via Relay Cell Extension. - Ahmad Mahmoody-Ghaidary, Cédric Chauve, Ladislav Stacho:
Tractability results for the Double-Cut-and-Join circular median problem. - Fumin Zhang, Zhenwu Shi, Shayok Mukhopadhyay:
Robustness Analysis for Battery Supported Cyber-Physical Systems. - Eli Ben-Sasson, Shachar Lovett, Noga Zewi:
An additive combinatorics approach to the log-rank conjecture in communication complexity. - Jeremy Avigad:
Type inference in mathematics. - Gene I. Sher:
Evolving Chart Pattern Sensitive Neural Network Based Forex Trading Agents. - (Withdrawn) ANN queries: covering Voronoi diagram with hyperboxes.
- Isaac Z. Pesenson:
Variational Splines and Paley-Wiener Spaces on Combinatorial Graphs. - Isaac Z. Pesenson, Meyer Z. Pesenson:
Sampling, Filtering and Sparse Approximations on Combinatorial Graphs. - Nicole Schweikardt, Thomas Schwentick:
A note on the expressive power of linear orders. - Aarti Singh, Dimple Juneja, A. K. Sharma:
Agent Development Toolkits. - Paolo Banelli:
Another Useful Theorem for Non-Linear Transformations of Gaussian Random Variables. - Christian Knauer, Daniel Werner:
Erdős-Szekeres and Testing Weak epsilon-Nets are NP-hard in 3 dimensions - and what now? - Sergio Cabello, Jean Cardinal, Stefan Langerman:
The Clique Problem in Ray Intersection Graphs. - Maximilien Gadouleau, Søren Riis:
Computing without memory. - Amelia Carolina Sparavigna:
An image processing of a Raphael's portrait of Leonardo. - Mehrdad Mahdavi, Rong Jin, Tianbao Yang:
Trading Regret for Efficiency: Online Convex Optimization with Long Term Constraints. - Angela Bonifati, Gianvito Summa, Esther Pacitti, Fady Draidi:
Semantic Query Reformulation in Social PDMS. - Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast Distributed Computation of Distances in Networks. - Peter Sunehag, Marcus Hutter:
Principles of Solomonoff Induction and AIXI. - Roberto Muñoz-Soto, Marta Barría, Cristian Rusu:
Virtual Worlds as a Support to Engineering Teaching. - Garimella Rama Murthy:
Optimal Organizational Hierarchies: Source Coding: Disaster Relief. - Sergey Kuniavsky, Rann Smorodinsky:
Greediness and Equilibrium in Congestion Games. - Björn Bringmann, Siegfried Nijssen, Albrecht Zimmermann:
Pattern-Based Classification: A Unifying Perspective. - Yi-Hao Kao, Benjamin Van Roy:
Learning a Factor Model via Regularized PCA. - Morteza Ibrahimi, Adel Javanmard, Yashodhan Kanoria, Andrea Montanari:
Robust Max-Product Belief Propagation. - Amritha Sampath, C. Tripti, Sabu M. Thampi:
An ACO Algorithm for Effective Cluster Head Selection. - Mingyi Hong, Alfredo García, José Joaquín Escudero Garzás, Ana García Armada:
Lower Bounds Optimization for Coordinated Linear Transmission Beamformer Design in Multicell Network Downlink. - Hsien-Kuei Hwang, Tsung-Hsi Tsai, Wei-Mei Chen:
Threshold phenomena in k-dominant skylines of random samples. - Xuebing Han, Hao Zhang:
Fast Algorithms for Sparse Recovery with Perturbed Dictionary. - Asaf Cohen, Shlomi Dolev, Nir Tzachar:
Efficient and Universal Corruption Resilient Fountain Codes. - Julien Law-To, Jean-Luc Gauvain, Lori Lamel, Gregory Grefenstette, Guillaume Gravier, Julien Despres, Camille Guinaudeau, Pascale Sébillot:
A Scalable Video Search Engine Based on Audio Content Indexing and Topic Segmentation. - Vasil Kolev:
Compressed sensing of astronomical images: orthogonal wavelets domains. - Roope Vehkalahti, Hsiao-feng Lu:
Inverse Determinant Sums and Connections Between Fading Channel Information Theory and Algebra. - Kamen Lozev:
Shape and Trajectory Tracking of Moving Obstacles. - Ata Turk, Cevdet Aykanat, Gunduz Vehbi Demirci, Sebastian von Alfthan, Ilja Honkonen:
Improving the Load Balancing Performance of Vlasiator. - Robby G. McKilliam, Ramanan Subramanian, Emanuele Viterbo, I. Vaughan L. Clarkson:
On the error performance of the $A_n$ lattices. - Tianbao Yang, Rong Jin, Mehrdad Mahdavi:
Regret Bound by Variation for Online Convex Optimization. - Awny Sayed:
XML Information Retrieval Systems: A Survey. - Inder Jeet Taneja:
Nested Inequalities Among Divergence Measures. - José Ignacio Aliaga, Paolo Bientinesi, Davor Davidovic, Edoardo Di Napoli, Francisco D. Igual, Enrique S. Quintana-Ortí:
Solving Dense Generalized Eigenproblems on Multi-threaded Architectures. - My Abdellah Kassimi, Omar El Beqqali:
3D Model Retrieval Based on Semantic and Shape Indexes. - Hajar Elmaghraoui, Imane Zaoui, Dalila Chiadmi, Laila Benhlima:
Graph based E-Government web service composition. - Stéphane Y. Le Goff:
Capacity-Approaching Signal Constellations for the Additive Exponential Noise Channel. - Aryeh Kontorovich, Ari Trachtenberg:
Unique decodability of bigram counts by finite automata. - Francis R. Bach:
Learning with Submodular Functions: A Convex Optimization Perspective. - Hakan Erkal, F. Mehmet Ozcelik, Elif Uysal-Biyikoglu:
Optimal Offline Broadcast Scheduling with an Energy Harvesting Transmitter. - Andrzej Lingas, Dzmitry Sledneu:
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs. - Mehdi Sookhak, Ramin Karimi, Mahboobeh Haghparast, Ismail Fauzi Isnin:
Secure Geographic Routing Protocols: Issues and Approaches. - Martin R. Albrecht, Gregory V. Bard, Clément Pernet:
Efficient Dense Gaussian Elimination over the Finite Field with Two Elements. - Souad Bouasker, Tarek Hamrouni, Sadok Ben Yahia:
Nouvelle représentation concise exacte des motifs corrélés rares : Application à la détection d'intrusions. - Jan Pöschko:
Exploring Twitter Hashtags. - Hyung-Chan An, Robert Kleinberg:
A Diameter-Revealing Proof of the Bondy-Lovász Lemma. - Manuel Bodirsky, Dugald Macpherson, Johan Thapper:
Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets. - Scott Hand:
A Markov Random Field Topic Space Model for Document Retrieval. - Jian Wang, Seokbeop Kwon, Byonghyo Shim:
Generalized Orthogonal Matching Pursuit. - Chengfang Fang, Ee-Chien Chang:
Publishing Location Dataset Differential Privately with Isotonic Regression. - Chengwen Xing, Zesong Fei, Shaodan Ma, Jingming Kuang, Yik-Chung Wu:
Optimal Structure of Robust Linear Transceiver for Amplify-and-Forward Multi-Hop MIMO Relaying Systems. - Majid Khabbazian, Stephane Durocher, Alireza Haghnegahdar:
Bounding Interference in Wireless Ad Hoc Networks with Nodes in Random Position. - Albert Sunny, Joy Kuri, Nachiket Sahasrabudhe:
Approximate Aggregate Utility Maximization in Multi-Hop Wireless Networks using Distributed Greedy Scheduling. - Muhammad Nazmul Islam, Raviraj Adve, Behrouz Khoshnevis:
Optimal Shape-Gain Quantization for Multiuser MIMO Systems with Linear Precoding. - (Withdrawn) On the Integrality Gap of the Directed-Component Relaxation for Steiner Tree.
- Ahmed Tolba, Nabila Eladawi, Mohammed M. Elmogy:
An Enhanced Indexing And Ranking Technique On The Semantic Web. - Abdullah Bamatraf, Rosziati Ibrahim, Mohd. Najib Mohd. Salleh:
A New Digital Watermarking Algorithm Using Combination of Least Significant Bit (LSB) and Inverse Bit. - Humaira Farid, Farooque Azam, M. Aqeel Iqbal:
Minimizing the Risk of Architectural Decay by using Architecture-Centric Evolution Process. - Hareesh K., D. H. Manjaiah:
Peer-to-Peer Live Streaming and Video On Demand Design Issues and its Challenges. - Andreas Emil Feldmann:
Fast Balanced Partitioning of Grid Graphs is Hard. - Riyadh Baghdadi, Albert Cohen, Cédric Bastoul, Louis-Noël Pouchet, Lawrence Rauchwerger:
The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization. - Hussain A. H. Awad, Fadi M. Battah:
Enhancing Information Systems Security in Educational Organizations in KSA through proposing security model. - Nadir K. Salih, Tianyi Zang, PG. K. Viju, Abdelmotalib A. Mohamed:
Autonomic Management for Multi-agent Systems. - Sao Mai Nguyen, Adrien Baranes,