


default search action
CoRR, December 2013
December 2013
- Ayan Chakraborty, Shiladitya Munshi, Debajyoti Mukhopadhyay:
A Proposal for the Characterization of Multi-Dimensional Inter-relationships of RDF Graphs Based on Set Theoretic Approach. - Gabriel Scherer, Jan Hoffmann:
Tracking Data-Flow with Open Closure Types. - Hugues Randriambololona:
On products and powers of linear codes under componentwise multiplication. - Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari:
Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report). - Scott Aaronson, Andris Ambainis, Kaspars Balodis, Mohammad Bavarian:
Weak Parity. - Aly El Gamal, Venugopal V. Veeravalli:
Dynamic Interference Management. - Bojian Xu:
Boosting the Basic Counting on Distributed Streams. - Hossein Shokri Ghadikolaei, Ioannis Glaropoulos, Viktoria Fodor, Carlo Fischione, Konstantinos D. Dimou:
Energy Efficient Spectrum Sensing and Handoff Strategies in Cognitive Radio Networks. - Rong Jin:
Stochastic Optimization of Smooth Loss. - Shehroz S. Khan, Michael G. Madden:
One-Class Classification: Taxonomy of Study and Review of Techniques. - Oner Orhan, Deniz Gündüz, Elza Erkip:
Energy Harvesting Broadband Communication Systems with Processing Energy Cost. - Yuksel Ozan Basciftci, Onur Güngör, Can Emre Koksal, Füsun Özgüner:
On the Secrecy Capacity of Block Fading Channels with a Hybrid Adversary. - Ngoc-Son Vu, Thanh Phuong Nguyen, Christophe Garcia:
Improving Texture Categorization with Biologically Inspired Filtering. - Gérard Berry, Manuel Serrano:
Hop and HipHop : Multitier Web Orchestration. - Filomena Ferrucci, M. Tahar Kechadi
, Pasquale Salza, Federica Sarro:
A Framework for Genetic Algorithms Based on Hadoop. - Mamoon Rashid, Er. Rishma Chawla:
Extended Role Based Access Control with Blob Service on Cloud. - Alireza Vahid, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
Communication Through Collisions: Opportunistic Utilization of Past Receptions. - Samson Abramsky:
Semantics of Interaction. - Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Characterizing and Extending Answer Set Semantics using Possibility Theory. - Adeyinka K. Akanbi, Olusanya Y. Agunbiade:
Integration of a city GIS data with Google Map API and Google Earth API for a web based 3D Geospatial Application. - Mehrdad Tahmasbi, Amirbehshad Shahrasbi, Amin Gohari:
Critical Graphs in Index Coding. - Liang Wang, Suzan Bayhan, Jussi Kangasharju:
Effects of Cooperation Policy and Network Topology on Performance of In-Network Caching. - Khaled M. Elbassioni, Mahmoud Fouz, Chaitanya Swamy:
Approximation Algorithms for Non-Single-minded Profit-Maximization Problems with Limited Supply. - Krasimir Yordzhev:
The bitwise operations related to a fast sorting algorithm. - Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Knowing Whether. - Minghua Xia, Sonia Aïssa:
Impact of Co-Channel Interference on Performance of Multi-Hop Relaying over Nakagami-$m$ Fading Channels. - Muhammad Aamir:
On Replacing PID Controller with ANN Controller for DC Motor Position Control. - Verena Kantere:
Datom: Towards modular data management. - Anastasya A. Bezzubtseva, Dmitry I. Ignatov:
A Typology of Collaboration Platform Users. - (Withdrawn) On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages.
- Haocheng Wu, Yunhua Hu, Hang Li, Enhong Chen:
Query Segmentation for Relevance Ranking in Web Search. - Krasimir Yordzhev:
On an Algorithm for Obtaining All Binary Matrices of Special Class Related to V. E. Tarakanov's Formula. - Hasan M. Jamil:
Empowering Evolving Social Network Users with Privacy Rights. - Krasimir Yordzhev:
Inclusion of regular and linear languages in group languages. - Hyokun Yun, Hsiang-Fu Yu, Cho-Jui Hsieh, S. V. N. Vishwanathan, Inderjit S. Dhillon:
NOMAD: Non-locking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion. - Krasimir Yordzhev:
Some Combinatorial Problems on Binary Matrices in Programming Courses. - Sébastien Bardin, Arnaud Gotlieb:
A Combined Approach for Constraints over Finite Domains and Arrays. - Thomas Y. Hou, Zuoqiang Shi, Peyman Tavallali:
Sparse Time Frequency Representations and Dynamical Systems. - Federico Boccardi, Robert W. Heath Jr., Angel E. Lozano, Thomas L. Marzetta, Petar Popovski:
Five Disruptive Technology Directions for 5G. - Yael Yankelevsky, Alfred M. Bruckstein:
On Optimal Disc Covers and a New Characterization of the Steiner Center. - Mohamed Gharzouli:
Reuse of existing applications during the development of Enterprise Portals integrating Web Services. - Mikko Vehkaperä, Yoshiyuki Kabashima, Saikat Chatterjee:
Analysis of Regularized LS Reconstruction and Random Matrix Ensembles in Compressed Sensing. - Felicity Allen, Russell Greiner, David S. Wishart:
Competitive Fragmentation Modeling of ESI-MS/MS spectra for metabolite identification. - Lukasz Golab, Marios Hadjieleftheriou, Howard J. Karloff, Barna Saha:
Distributed Data Placement via Graph Partitioning. - William L. Hamilton, Mahdi Milani Fard, Joelle Pineau:
Efficient Learning and Planning with Compressed Predictive States. - Abla Kammoun, Hajer Khanfir, Zwi Altman, Mérouane Debbah, Mohamed Kamoun:
Survey on 3D channel modeling : From theory to standardization. - Laszlo B. Kish:
Times in noise-based logic: increased dimensions of logic hyperspace. - Chunxiao Jiang, Yan Chen, K. J. Ray Liu:
Evolutionary Dynamics of Information Diffusion over Social Networks. - Hangguan Shan, Zhifeng Ni, Weihua Zhuang, Aiping Huang, Wei Wang:
State Transition Analysis of Time-Frequency Resource Conversion-based Call Admission Control for LTE-Type Cellular Network. - Kyatsandra G. Nagananda, Shalinee Kishore:
A Unifying Framework for the Electrical Structure-Based Approach to PMU Placement in Electric Power Systems. - Tassilo Horn:
The TTC 2013 Flowgraphs Case. 3-7 - Pieter Van Gorp
, Louis M. Rose:
The Petri-Nets to Statecharts Transformation Case. 16-31 - Valerio Cosentino, Massimo Tisi, Fabian Büttner:
Analyzing Flowgraphs with ATL. 32-36 - Georg Hinkel
, Thomas Goldschmidt, Lucia Happe:
An NMF solution for the Flowgraphs case at the TTC 2013. 37-42 - Jesús Sánchez Cuadrado
:
Solving the Flowgraphs Case with Eclectic. 43-56 - Tassilo Horn:
Solving the TTC 2013 Flowgraphs Case with FunnyQT. 57-68 - Anthony Anjorin, Marius Lauder:
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon. 69-74 - Tassilo Horn:
Solving the Class Diagram Restructuring Transformation Case with FunnyQT. 75-82 - Wietse Smid, Arend Rensink:
Class Diagram Restructuring with GROOVE. 83-87 - Tassilo Horn:
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT. 88-94 - Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian:
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. 101-105 - Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth:
PN2SC Case Study: An EMF-IncQuery solution. 106-114 - Benjamin Rossman:
Formulas vs. Circuits for Small Distance Connectivity. - Tomás Martínez-Ruiz, Félix García, Mario Piattini, Jürgen Münch:
Applying AOSE Concepts to Model Crosscutting Variability in Variant-Rich Processes. - Yuanming Shi, Jun Zhang, Khaled Ben Letaief:
Optimal Stochastic Coordinated Beamforming with Compressive CSI Acquisition for Cloud-RAN. - Marc P. C. Fossorier:
Polar Codes: Graph Representation and Duality. - Sophie Theresa Spirkl:
The guillotine approach for TSP with neighborhoods revisited. - Pradeesha Ashok, Sathish Govindarajan:
On Strong Centerpoints. - Hossein Ghasemalizadeh, Mohammadreza Razzazi:
Output sensitive algorithm for covering many points. - Junyuan Wang, Lin Dai:
Asymptotic Rate Analysis of Downlink Multi-user Systems with Co-located and Distributed Antennas. - Arnim Bleier:
Practical Collapsed Stochastic Variational Inference for the HDP. - Abhishek Dubey, Ambedkar Dukkipati:
Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals. - Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller:
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic. - Alper Ortac, Martin Monperrus, Mira Mezini:
Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions. - Jin-San Cheng, Kai Jin:
A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems. - Jennifer D. Warrender, Phillip Lord:
A pattern-driven approach to biomedical ontology engineering. - Serguei A. Mokhov:
Intensional Cyberforensics. - Jianfeng Gao, Xiaodong He, Wen-tau Yih, Li Deng:
Learning Semantic Representations for the Phrase Translation Model. - Weiyu Xu, Jian-Feng Cai, Kumar Vijay Mishra, Myung Cho, Anton Kruger:
Precise Semidefinite Programming Formulation of Atomic Norm Minimization for Recovering d-Dimensional ($d\geq 2$) Off-the-Grid Frequencies. - Antoine Desmet, Erol Gelenbe:
Capacity Based Evacuation with Dynamic Exit Signs. - Ozan Irsoy, Claire Cardie:
Bidirectional Recursive Neural Networks for Token-Level Labeling with Structure. - David Gajser:
Verifying whether one-tape NTMs run in time $Cn+D$. - Frank Hellweg, Christian Sohler:
Property-Testing in Sparse Directed Graphs: 3-Star-Freeness and Connectivity. - Nicolas Le Scouarnec, Christoph Neumann, Gilles Straub:
Cache policies for cloud-based systems: To keep or not to keep. - Andrey Demichev, Viatcheslav A. Ilyin, Alexander P. Kryukov, Stanislav Polyakov:
Fault Tolerance of Small-World Regular and Stochastic Interconnection Networks. - Weicong Ding, Prakash Ishwar, Venkatesh Saligrama, W. Clem Karl:
Sensing-Aware Kernel SVM. - Vassilis Kekatos, Georgios B. Giannakis, Ross Baldick:
Grid Topology Identification using Electricity Prices. - Arun Keepanasseril, Kathleen Ann McKibbon, Alfonso Iorio:
Theoretical Foundation for Research in Communication using Information and Communication Technology Devices in Healthcare: An Interdisciplinary Scoping Review. - Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
Analog Baseband Cancellation for Full-Duplex: An Experiment Driven Analysis. - Kiryung Lee, Yihong Wu, Yoram Bresler:
Near Optimal Compressed Sensing of Sparse Rank-One Matrices via Sparse Power Factorization. - Djamal Belazzougui, Paolo Boldi, Giuseppe Ottaviano, Rossano Venturini, Sebastiano Vigna:
Cache-Oblivious Peeling of Random Hypergraphs. - Alexander Grubb, Daniel Munoz, J. Andrew Bagnell, Martial Hebert:
SpeedMachines: Anytime Structured Prediction. - Georg Hinkel
, Thomas Goldschmidt, Lucia Happe:
An NMF solution for the Petri Nets to State Charts case study at the TTC 2013. 95-100 - Yi Zheng, Zhi Zhu He, Jun Yang, Jing Liu:
Fully Automatic Liquid Metal Printer towards Personal Electronics Manufacture. - Uri Shalit, Gal Chechik:
Efficient coordinate-descent for orthogonal matrices through Givens rotations. - Fatma Almajadub, Abdul Razaque, Eman Abdelfattah:
Stream Control Transmission Protocol (SCTP): Robust and Efficient for Data Centre Applications. - Greg Ver Steeg, Cristopher Moore, Aram Galstyan, Armen E. Allahverdyan:
Phase Transitions in Community Detection: A Solvable Toy Model. - Yingjie Hu, Zhenhua Lv, Jianping Wu, Krzysztof Janowicz, Xizhi Zhao, Bailang Yu:
A Multi-stage Collaborative 3D GIS to Support Public Participation. - Samet Oymak, Christos Thrampoulidis, Babak Hassibi:
Simple Bounds for Noisy Linear Inverse Problems with Exact Side Information. - Louis Lei Yu, Sitaram Asur, Bernardo A. Huberman:
Dynamics of Trends and Attention in Chinese Social Media. - Francesco De Pellegrini, Alexandre Reiffers, Eitan Altman:
Differential Games of Competition in Online Content Diffusion. - Quan Geng, Pramod Viswanath:
The Optimal Mechanism in Differential Privacy: Multidimensional Setting. - Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann:
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation. - Wayes Tushar, Jian A. Zhang
, David B. Smith, H. Vincent Poor, Sylvie Thiébaux:
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. - Yong Wang:
Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography. - Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
Optimization of zero-delay mappings for distributed coding by deterministic annealing. - Yong Wang, Li Lin, Kai Li:
A Process Algebra for Games. - Jeremy G. Siek, Michael M. Vitousek:
Monotonic References for Gradual Typing. - Suayb S. Arslan:
Redundancy and Aging of Efficient Multidimensional MDS-Parity Protected Distributed Storage Systems. - Farbod Roosta-Khorasani, Kees van den Doel, Uri M. Ascher:
Data completion and stochastic algorithms for PDE inversion problems with many measurements. - Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann:
Guiding Testing Activities by Predicting Defect-prone Parts Using Product and Inspection Metrics. - Andrei Rusu:
On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$. - Yong Zeng, Rui Zhang, Zhi Ning Chen:
Electromagnetic Lens-focusing Antenna Enabled Massive MIMO: Performance Improvement and Cost Reduction. - Tao Zhao, Pengkun Yang, Huimin Pan, Ruichen Deng, Sheng Zhou, Zhisheng Niu:
Software Defined Radio Implementation of Signaling Splitting in Hyper-Cellular Network. - Stavros G. Kolliopoulos, Yannis Moysoglou:
Sherali-Adams gaps, flow-cover inequalities and generalized configurations for capacity-constrained Facility Location. - Rasmus Pagh, Francesco Silvestri:
The Input/Output Complexity of Triangle Enumeration. - Vasile Calofir, Valentin Tanasa, Ioana Fagarasan, Iulia Stamatescu, Nicoleta Arghira, Grigore Stamatescu:
A Backstepping Control Method for a Nonlinear Process - Two Coupled-Tanks. - Jean-Baptiste Lamy, Anis Ellini, Vahid Ebrahiminia, Jean-Daniel Zucker, Hector Falcoff, Alain Venot:
Use of the C4.5 machine learning algorithm to test a clinical guideline-based decision support system. - Jean-Baptiste Lamy, Vahid Ebrahiminia, Brigitte Séroussi
, Jacques Bouaud, Christian Simon, Madeleine Favre, Hector Falcoff, Alain Venot:
A generic system for critiquing physicians' prescriptions: usability, satisfaction and lessons learnt. - Leandro Pacheco, Daniele Sciascia, Fernando Pedone:
Parallel Deferred Update Replication. - Jean-Baptiste Lamy, Rosy Tsopra
, Alain Venot, Catherine Duclos:
A semi-automatic semantic method for mapping SNOMED CT concepts to VCM Icons. - Jayanth Krishna Mogali, Adithya Kumar Pediredla, Chandra Sekhar Seelamantula:
Template-Based Active Contours. - Frank Elberzhager, Robert Eschbach, Jürgen Münch:
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. - Yiyi Liao, Yue Wang, Yong Liu:
Image Representation Learning Using Graph Regularized Auto-Encoders. - Guillermo Gallego, Anthony J. Yezzi:
A compact formula for the derivative of a 3-D rotation in exponential coordinates. - (Withdrawn) Test Set Selection using Active Information Acquisition for Predictive Models.
- Pramit Ghosh, Debotosh Bhattacharjee, Soma Datta:
Adaptive Intelligent Controller for Household Cooling Systems. - Amir Najafi, Amir Joudaki, Emad Fatemizadeh:
Nonlinear Dimensionality Reduction via Path-Based Isometric Mapping. - Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Round-The-Clock Urine Sugar Monitoring System for Diabetic Patients. - Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Automatic White Blood Cell Measuring Aid for Medical Diagnosis. - Renyuan Zhang, Kai Cai, Yongmei Gan, Walter Murray Wonham:
Delay-Robustness for Localization-Based Distributed Control of Timed Discrete-Event Systems. - Sheng Cai, Mayank Bakshi, Sidharth Jaggi, Minghua Chen:
FRANTIC: A Fast Reference-based Algorithm for Network Tomography via Compressive Sensing. - Ben Ruijl
, Jos Vermaseren, Aske Plaat, H. Jaap van den Herik:
Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification. - Samir Kumar Bandyopadhyay, S. Arunkumar, Saptarshi Bhattacharjee:
Feature Extraction of Human Lip Prints. - Zhiting Hu, Chong Wang, Junjie Yao, Eric P. Xing, Hongzhi Yin, Bin Cui:
Community Specific Temporal Topic Discovery from Social Media. - Yi Li, Mustafa Cenk Gursoy, Senem Velipasalar:
On the Throughput of Hybrid-ARQ under QoS Constraints. - Antonio Hernandez Coarasa, Prusayon Nintanavongsa, Sugata Sanyal, Kaushik R. Chowdhury:
Impact of Mobile Transmitter Sources on Radio Frequency Wireless Energy Harvesting. - Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber:
Linear transformation distance for bichromatic matchings. - (Withdrawn) Row-Based Dual Vdd Assignment, for a Level Converter Free CSA Design and Its Near-Threshold Operation.
- Derek Groen, Steven Rieder
, Simon Portegies Zwart:
MPWide: a light-weight library for efficient message passing over wide area networks. - Carlos Sarraute, Gervasio Calderon:
Evolution of Communities with Focus on Stability.