default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, June 2014
- Szabolcs Iván, Ádám Dániel Lelkes, Judit Nagy-György, Balázs Szörényi, György Turán:
Biclique coverings, rectifier networks and the cost of $\varepsilon$-removal. - Laurent Jacques:
Error Decay of (almost) Consistent Signal Estimations from Quantized Random Gaussian Projections. - Erik Cuevas, Diego Oliva, Daniel Zaldivar, Marco Antonio Pérez Cisneros, Humberto Sossa:
Circle detection using electro-magnetism optimization. - Pollyanna Gonçalves, Matheus Araújo, Fabrício Benevenuto, Meeyoung Cha:
Comparing and Combining Sentiment Analysis Methods. - Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
SAT Modulo Monotonic Theories. - Xinyang Deng, Zhen Wang, Qi Liu, Yong Deng, Sankaran Mahadevan:
A belief-based evolutionarily stable strategy. - Guangxu Zhu, Caijun Zhong, Himal A. Suraweera, Zhaoyang Zhang, Chau Yuen, Rui Yin:
Ergodic Capacity Comparison of Different Relay Precoding Schemes in Dual-Hop AF Systems with Co-Channel Interference. - Johan Sebastian Rosenkilde Nielsen:
Fast Kötter-Nielsen-Høholdt Interpolation in the Guruswami-Sudan Algorithm. - Fahem Kebair, Frédéric Serin:
Towards a Multiagent Decision Support System for crisis Management. - Andris Ambainis, Jevgenijs Vihrovs:
Size of Sets with Small Sensitivity: a Generalization of Simon's Lemma. - Shradha Dakhare, Harshal Chowhan, Manoj B. Chandak:
Combined Approach for Image Segmentation. - Shashishekar Ramakrishna, Adrian Paschke:
Bridging the gap between Legal Practitioners and Knowledge Engineers using semi-formal KR. - Harm Derksen:
On the equivalence between low rank matrix completion and tensor rank. - Georg S. Seyboth, Wei Ren, Frank Allgöwer:
Cooperative Control of Linear Multi-Agent Systems via Distributed Output Regulation and Transient Synchronization. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Joint Source-Channel Vector Quantization for Compressed Sensing. - Tobin Isaac, Carsten Burstedde, Lucas C. Wilcox, Omar Ghattas:
Recursive Algorithms for Distributed Forests of Octrees. - Arjun Puri, Sudesh Kumar:
Error Control Codes: A Novel Solution for Secret Key Generation and Key Refreshment Problem. - Hayden Field, Glen Anderson, Kerstin Eder:
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development. - Manar Jammal, Taranpreet Singh, Abdallah Shami, Rasool Asal, Yiming Li:
Software-Defined Networking: State of the Art and Research Challenges. - Liang Zheng, Shengjin Wang, Fei He, Qi Tian:
Seeing the Big Picture: Deep Embedding with Contextual Evidences. - MohammadAmin Fazli, Azin Ghazimatin, Jafar Habibi, Hamid Haghshenas:
Team Selection For Prediction Tasks. - Fangfang Zhou, Hongbin Chen, Rong Yu, Lisheng Fan:
Power Allocation and Transmitter Switching for Broadcasting with Multiple Energy Harvesting Transmitters. - Nicola Apollonio, Massimiliano Caramia, Paolo Giulio Franciosa:
On the Galois Lattice of Bipartite Distance Hereditary Graphs. - Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
On the measure of conflicts: A MUS-Decomposition Based Framework. - Sheng Han, Suzhen Wang, Xinyu Wu:
l1-regularized Outlier Isolation and Regression. - Benny Applebaum, Liron David, Guy Even:
Deterministic Rateless Codes for BSC. - Ljubisa Stankovic:
On the ISAR Image Analysis and Recovery with Unavailable or Heavily Corrupted Data. - Zahid Halim:
Evolutionary Search in the Space of Rules for Creation of New Two-Player Board Games. - Kamran Latif:
Parallelism Via Concurrency at Multiple Levels. - Kezhi Li, Cristian R. Rojas, Saikat Chatterjee, Håkan Hjalmarsson:
Piecewise Toeplitz Matrices-based Sensing for Rank Minimization. - Ali Mansouri, Mohamed Salim Bouhlel:
A linear algorithm for the grundy number of a tree. - Ahmad Gomaa, Louay M. A. Jalloul:
Efficient Soft-Input Soft-Output Detection of Dual-Layer MIMO Systems. - Paul Bendich, Sang Chin, Jesse Clarke, Jonathan deSena, John Harer, Elizabeth Munch, Andrew Newman, David Porter, David Rouse, Nate Strawn, Adam Watkins:
Topological and Statistical Behavior Classifiers for Tracking Applications. - Lav R. Varshney, Shivali Agarwal, Yi-Min Chee, Renuka Sindhgatta, Daniel V. Oppenheim, Juhnyoung Lee, Krishna Ratakonda:
Cognitive Coordination of Global Service Delivery. - Jakob Huber, Timo Sztyler, Jan Noessner, Jaimie Murdock, Colin Allen, Mathias Niepert:
LODE: Linking Digital Humanities Content to the Web of Data. - Saima Aman, Yogesh Simmhan, Viktor K. Prasanna:
Holistic Measures for Evaluating Prediction Models in Smart Grids. - Quanquan Wang, Yongping Li:
Ambiguous Proximity Distribution. - Jiaqi Gu, Rodrigo C. de Lamare:
Joint PIC and relay selection based on greedy techniques for cooperative DS-CDMA systems. - M. H. Soorajprasad, Balapradeep K. N, Antony P. J:
VirtuMob : Remote Desktop Virtualization Solution for Smarphones. - Wiseborn Manfe Danquah, D. Turgay Altilar:
HYBRIST Mobility Model- A Novel Hybrid Mobility Model for VANET Simulations. - Hideo Bannai, Tomohiro I, Shunsuke Inenaga, Yuto Nakashima, Masayuki Takeda, Kazuya Tsuruta:
A new characterization of maximal repetitions by Lyndon trees. - Soheil Gherekhloo, Anas Chaaban, Aydin Sezgin:
Extended Generalized DoF Optimality Regime of Treating Interference as Noise in the X Channel. - Quan-Lin Li, John C. S. Lui:
Block-Structured Supermarket Models. - Kaustubh Kulkarni, Georgios D. Evangelidis, Jan Cech, Radu Horaud:
Continuous Action Recognition Based on Sequence Alignment. - Alessandro Sarti, Giovanna Citti:
The constitution of visual perceptual units in the functional architecture of V1. - Lars Hupel:
Interactive Simplifier Tracing and Debugging in Isabelle. - Stefan Gheorghe Pentiuc, Felicia Florentina Giza, Ovidiu-Andrei Schipor:
Mobile Agents for Distance Evaluation Procedures. - Felicia Florentina Giza, Cristina Elena Turcu, Ovidiu-Andrei Schipor:
Using Mobile Agents for Information Retrival in B2B Systems. - Sahabul Alam, Debashis De:
Analysis of Security Threats in Wireless Sensor Network. - Mnacho Echenim, Nicolas Peltier:
A Superposition Calculus for Abductive Reasoning. - Markus Schneider, Fabio Ramos:
Transductive Learning for Multi-Task Copula Processes. - Benjamin Marussig, Jürgen Zechner, Gernot Beer, Thomas-Peter Fries:
Fast Isogeometric Boundary Element Method based on Independent Field Approximation. - Christoforos Kachris, Georgios Ch. Sirakoulis, Dimitrios Soudris:
Network Function Virtualization based on FPGAs: A Framework for all-Programmable network devices. - Naila Murray, Florent Perronnin:
Generalized Max Pooling. - Jonathan Spreer, Uli Wagner, Benjamin A. Burton, Satoshi Murai, Eric Sedgwick, Henry Segerman:
Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto. - Yoshinori Aono:
A faster method for computing Gama-Nguyen-Regev's extreme pruning coefficients. - Tony Tan, Jan Van den Bussche, Xiaowang Zhang:
Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference. - Stefan Diewald, Andreas Möller, Luis Roalter, Matthias Kranz:
Simulation and Virtual Prototyping of Tangible User Interfaces. - Ryuhei Mori, Takeshi Koshiba, Osamu Watanabe, Masaki Yamamoto:
Linear Programming Relaxations for Goldreich's Generators over Non-Binary Alphabets. - Waldir Aranha Moreira Junior, Paulo Mendes, Susana Sargento:
Assessment Model for Opportunistic Routing. - Li Gou, Bo Wei, Rehan Sadiq, Sankaran Mahadevan, Yong Deng:
An improved vulnerability index of complex networks based on fractal dimension. - Christoph Gugg, Matthew Harker, Paul O'Leary, Gerhard Rath:
An Algebraic Framework for the Real-Time Solution of Inverse Problems on Embedded Systems. - James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. - Anya Elaine Johnson, Eli Strauss, Rodney Pickett, Christoph Adami, Ian Dworkin, Heather Goldsby:
More Bang For Your Buck: Quorum-Sensing Capabilities Improve the Efficacy of Suicidal Altruism. - Jun-Sung Kim, Kyu-Young Whang, Hyuk-Yoon Kwon, Il-Yeol Song:
Odysseus/DFS: Integration of DBMS and Distributed File System for Transaction Processing of Big Data. - Diego Kreutz
, Fernando M. V. Ramos, Paulo Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig:
Software-Defined Networking: A Comprehensive Survey. - Cheng Chen, Lan Zheng, Srinivasan Venkatesh, Alex Thomo, Kui Wu, Anthony Sukow:
Buyer to Seller Recommendation under Constraints. - Marc Lanctot, Mark H. M. Winands, Tom Pepels, Nathan R. Sturtevant:
Monte Carlo Tree Search with Heuristic Evaluations using Implicit Minimax Backups. - Stefan Hougardy, Jannik Silvanus, Jens Vygen:
Dijkstra meets Steiner: a fast exact goal-oriented Steiner tree algorithm. - Stefan Gheorghe Pentiuc, Ovidiu-Andrei Schipor, Mirela Danubianu, Doina-Maria Schipor:
Automatic Recognition of Dyslalia Affecting Pre-Scholars. - Isabel Valera, Manuel Gomez-Rodriguez, Krishna P. Gummadi:
Modeling Diffusion of Competing Products and Conventions in Social Media. - Gonçalo Amaral da Silva:
Multimodal vs. Unimodal Physiological Control in Videogames for Enhanced Realism and Depth. - Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov:
Universal Convexification via Risk-Aversion. - Kyumin Lee, Steve Webb, Hancheng Ge:
The Dark Side of Micro-Task Marketplaces: Characterizing Fiverr and Automatically Detecting Crowdturfing. - Shahar Dobzinski, Michal Feldman, Inbal Talgam-Cohen, Omri Weinstein:
Welfare and Revenue Guarantees for Competitive Bundling Equilibrium. - Lukasz Domagala, Fabrice Rastello, P. Sadayappan, Duco van Amstel:
A Tiling Perspective for Register Optimization. - Shasha Bu, Yu-Jin Zhang:
Image retrieval with hierarchical matching pursuit. - Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Hierarchical Comprehensive Triangular Decomposition. - (Withdrawn) Optimization for Speculative Execution of Multiple Jobs in a MapReduce-like Cluster.
- Guillaume Mercère, José A. Ramos, Olivier Prot:
Identification of parameterized gray-box state-space systems: from a black-box linear time-invariant representation to a structured one: detailed derivation of the gradients involved in the cost functions. - Cristian Prisacariu:
Extensions of Configuration Structures. - Georg Nawratil, Josef Schicho:
Pentapods with Mobility 2. - Carlos Galindo, Fernando Hernando, Diego Ruano:
New Quantum Codes from Evaluation and Matrix-Product Codes. - Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit:
Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance. - Lauri Anttila, Dani Korpi, Emilio Antonio-Rodriguez, Risto Wichman, Mikko Valkama:
Modeling and Efficient Cancellation of Nonlinear Self-Interference in MIMO Full-Duplex Transceivers. - Ziqiong Liu, Shengjin Wang, Liang Zheng, Qi Tian:
Visual Reranking with Improved Image Graph. - Mostafa Hosni Mohamed, Johan Sebastian Rosenkilde Nielsen, Martin Bossert:
Reduced List-Decoding of Reed-Solomon Codes Using Reliability Information. - Prateek Karandikar, Philippe Schnoebelen:
On the state complexity of closures and interiors of regular languages with subwords. - Di He, Wei Chen, Liwei Wang, Tie-Yan Liu:
A Game-theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search. - Gábor Simonyi, Ágnes Tóth:
A generalization of Witsenhausen's zero-error rate for directed graphs. - Edvin Wedin, Peter Hegarty:
A quadratic lower bound for the convergence rate in the one-dimensional Hegselmann-Krause bounded confidence dynamics. - Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? - Huibo Bi, Erol Gelenbe:
A Cooperative Emergency Navigation Framework using Mobile Cloud Computing. - Jinsub Kim, Lang Tong, Robert J. Thomas:
Subspace Methods for Data Attack on State Estimation: A Data Driven Approach. - (Withdrawn) Computing group rank with limited nondeterminism.
- Jorge Almeida, José Carlos Costa, Marc Zeitoun:
McCammond's normal forms for free aperiodic semigroups revisited. - Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). - Paolo Missier, Simon Woodman, Hugo Hiden, Paul Watson:
Provenance and data differencing for workflow reproducibility analysis. - Mark Giesbrecht, Joseph Haraldson:
Computing GCRDs of Approximate Differential Polynomials. - S. Ildarabadi, M. Ebrahimi, H. R. Pourreza:
Improvement Tracking Dynamic Programming using Replication Function for Continuous Sign Language Recognition. - Patrick Seeling:
Towards Quality of Experience Determination for Video in Augmented Reality Settings. - Pedro F. Felzenszwalb, John G. Oberlin:
Multiscale Fields of Patterns. - Karina Mabell Gomez, Leonardo Goratti, Tinku Rasheed, Laurent Reynaud:
Enabling Disaster Resilient 4G Mobile Communication Networks. - Aaron Lee, Livia King:
ACO Implementation for Sequence Alignment with Genetic Algorithms. - Siamak Ravanbakhsh, Reihaneh Rabbany, Russell Greiner:
Augmentative Message Passing for Traveling Salesman Problem and Graph Partitioning. - Fei He, Shengjin Wang:
Beyond $χ^2$ Difference: Learning Optimal Metric for Boundary Detection. - Yan Gu, Yihan Sun, Yong He:
Cascading A*: a Parallel Approach to Approximate Heuristic Search. - Ioannis A. Skordas, George F. Fragulis, Athanassios G. Triantafyllou:
A.Q.M.E.I.S.: Air Quality Meteorological and Enviromental Information System in Western Macedonia, Hellas. - Takamitsu Matsubara, Vicenç Gómez, Hilbert J. Kappen:
Latent Kullback Leibler Control for Continuous-State Systems using Probabilistic Graphical Models. - Lakshmi Prabha S, T. N. Janakiraman:
Comfortability of a Team in Social Networks. - Gustavo Sacomoto, Blerina Sinaimeri, Camille Marchet, Vincent Miele, Marie-France Sagot, Vincent Lacroix:
Navigating in a sea of repeats in RNA-seq without drowning. - Smita Saini, Deep Mann:
Identity Management issues in Cloud Computing. - Christoph Salge, Daniel Polani:
Don't Believe Everything You Hear; Preserving Relevant Information by Discarding Social Information. - Pascal Weil:
From algebra to logic: there and back again - the story of a hierarchy. - Sumanta Sarkar:
Some Results on Bent-Negabent Boolean Functions over Finite Fields. - Lila Kari, Stavros Konstantinidis, Steffen Kopecki, Meng Yang:
An efficient algorithm for computing the edit distance of a regular language via input-altering transducers. - Yun Fan, Bangteng Xu:
Fourier Transforms and Bent Functions on Finite Abelian Group-Acted Sets. - Lin Sok, Patrick Solé, Aslan Tchamkerten:
Lattice Codes for the Binary Deletion Channel. - Sevil Mehraghdam, Matthias Keller, Holger Karl:
Specifying and Placing Chains of Virtual Network Functions. - Gabriel E. Arrobo, Richard D. Gitlin:
Minimizing Energy Consumption for Cooperative Network and Diversity Coded Sensor Networks. - Vít Novácek:
A Methodology for Empirical Analysis of LOD Datasets. - Gabriel E. Arrobo, Calvin A. Perumalla, Stanley B. Hanke, Thomas P. Ketterl, Peter J. Fabri, Richard D. Gitlin:
An Innovative Wireless Cardiac Rhythm Management (iCRM) System. - Wolfgang Orthuber:
Worldwide Domain Spaces make quantitative data searchable and prepare these for interoperable exchange. - Stefan Engblom, Dimitar Lukarski:
Fast Matlab compatible sparse assembly on multicore computers. - Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. 217-230 - Miguel A. Lerma:
How inefficient can a sort algorithm be? - Kyunghyun Cho, Bart van Merrienboer, Çaglar Gülçehre, Fethi Bougares, Holger Schwenk, Yoshua Bengio:
Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation. - Zhi Chen, Pingyi Fan, Khaled Ben Letaief:
Throughput Optimized Multi-Source Cooperative Networks With Compute-and-Forward. - Sven Schewe, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. - Pinghua Gong, Jieping Ye:
Linear Convergence of Variance-Reduced Projected Stochastic Gradient without Strong Convexity. - Yuva Sudhakar, P. M. Tiwari:
Online Rotor Resistance Adaptation Of Induction Motor Drive. - Bartlomiej Placzek:
A self-organizing system for urban traffic control based on predictive interval microscopic model. - José Marinho, Stefan M. Petters:
Timing Analysis for DAG-based and GFP Scheduled Tasks. - Woonhyun Nam, Piotr Dollár, Joon Hee Han:
Local Decorrelation For Improved Detection. - Gang Wang, Tianyi Wang, Bolun Wang, Divya Sambasivan, Zengbin Zhang, Haitao Zheng, Ben Y. Zhao:
Crowds on Wall Street: Extracting Value from Social Investing Platforms. - Zhi Chen, Teng Joon Lim, Mehul Motani:
Fading Two-Way Relay Channels: Physical-Layer Versus Digital Network Coding. - Sarah Weissman, Samet Ayhan, Joshua Bradley, Jimmy Lin:
Identifying Duplicate and Contradictory Information in Wikipedia. - Benjamin Tams:
Decodability Attack against the Fuzzy Commitment Scheme with Public Feature Transforms. - Ivan Bliznets, Marek Cygan, Pawel Komosa, Lukás Mach:
Kernelization lower bound for Permutation Pattern Matching. - Xu-Cheng Yin, Chun Yang, Hong-Wei Hao:
Learning to Diversify via Weighted Kernels for Classifier Ensemble. - Awais Khawar, Ahmed Abdel-Hadi, T. Charles Clancy:
On The Impact of Time-Varying Interference-Channel on the Spatial Approach of Spectrum Sharing between S-band Radar and Communication System. - Divyanshu Bhartiya, Ashudeep Singh:
A Semantic Approach to Summarization. - Michael Hanspach, Michael Goetz:
On Covert Acoustical Mesh Networks in Air. - Md. Maksudul Alam, Maleq Khan:
Parallel Algorithm for Generating Massive Random Networks with a Given Sequence of Expected Degrees. - Greg Ver Steeg, Aram Galstyan:
Discovering Structure in High-Dimensional Data Through Correlation Explanation. - Xuhui Li, Mengchi Liu, Shanfeng Zhu, Arif Ghafoor:
XTQ: A Declarative Functional XML Query Language. - Naeem Akl, Jihad Fahs, Zaher Dawy:
Statistical Intercell Interference Modeling for Capacity-Coverage Tradeoff Analysis in Downlink Cellular Networks. - Lijiang Chen:
A Geometric Method to Obtain the Generation Probability of a Sentence. - Freek Verbeek, Julien Schmaltz:
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. EPTCS 152, 2014 [contents] - T. El-Shishtawy, A. El-Sammak:
The Best Templates Match Technique For Example Based Machine Translation. - Alexandra Hochuli, Stephan Holzer, Roger Wattenhofer:
Distributed Approximation of Minimum Routing Cost Trees. - Dong Yi, Zhen Lei, Shengcai Liao, Stan Z. Li:
Shared Representation Learning for Heterogeneous Face Recognition. - Yuedong Xu, Salah-Eddine Elayoubi, Eitan Altman, Rachid El Azouzi, Yinghao Yu:
Flow Level QoE of Video Streaming in Wireless Networks. - (Withdrawn) On The Communication Complexity of Finding an (Approximate) Stable Marriage.
- Ashraf Hossain, Rashmita Mishra:
Sensing and Link Model for Wireless Sensor Network: Coverage and Connectivity Analysis. - Sunil Kumar Kopparapu, Laxmi Narayana M.:
Basis Identification for Automatic Creation of Pronunciation Lexicon for Proper Names. - Nesibe Tüfekçi, Bahattin Yildiz:
On codes over R_{k, m} and constructions for new binary self-dual codes. - Bita Azimdoost, Cédric Westphal, Hamid R. Sadjadpour:
The Price of Updating the Control Plane in Information-Centric Networks. - Hailong Shi, Hao Zhang, Xiqin Wang:
A Generalized Volume-Correlation Subspace Detector and its application in Multiuser Detection. - Marco Dalai:
Elias Bound for General Distances and Stable Sets in Edge-Weighted Graphs. - Benoît Valiron, Steve Zdancewic:
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. - Ali Mansouri, Mohamed Salim Bouhlel:
Algorithmes dynamiques pour la communication dans le réseau ad hoc Coloration des graphes. - Muhammad Moeen Uddin, Muhammad Imran, Hassan Sajjad:
Understanding Types of Users on Twitter. - Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich:
Approximate analysis of biological systems by hybrid switching jump diffusion. - Lan Wang, Erol Gelenbe:
An Implementation of Voice over the Cognitive Packet Network. - Sergio Cabello, Josef Cibulka, Jan Kyncl, Maria Saumell, Pavel Valtr:
Peeling potatoes near-optimally in near-linear time. - Onur Dikmen, Zhirong Yang, Erkki Oja:
Learning the Information Divergence. - Paul Tarau, Fahmida Hamid:
Interclausal Logic Variables. - Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of Business Workflows with Recovery. - Xiaowang Zhang, Jan Van den Bussche:
On the satisfiability problem for SPARQL patterns. - Siqi Nie, Denis Deratani Mauá, Cassio Polpo de Campos, Qiang Ji:
Advances in Learning Bayesian Networks of Bounded Treewidth. - Anatol E. Wegner:
Subgraph covers - An information theoretic approach to motif analysis in networks. - Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty:
A ToolBox for Conservative XML Schema Evolution and Document Adaptation. - Ali Mansouri, Youssef Amghar:
Intégration des règles actives dans des documents. - Marthe Bonamy, Nicolas Bousquet:
Reconfiguring Independent Sets in Cographs. - Rayed AlGhamdi:
Diffusion of the Adoption of Online Retailing in Saudi Arabia. - Rayed AlGhamdi:
Modeling CSFs of B2C E-commerce Systems Using the Enterprise Architecture Approach. - Toufiq Parag, Anirban Chakraborty, Stephen Plaza:
A Context-aware Delayed Agglomeration Framework for EM Segmentation. - Yun-He Cao, Xiang-Gen Xia, Sheng-Hua Wang:
IRCI Free Colocated MIMO Radar Based on Sufficient Cyclic Prefix OFDM Waveforms. - Christine Estreguil, Giovanni Caudullo, Daniele de Rigo:
Connectivity of Natura 2000 forest sites in Europe. - Martin Biehl, Christoph Salge, Daniel Polani:
Towards designing artificial universes for artificial agents under interaction closure. - Wojciech Jaskowski:
Systematic N-tuple Networks for Position Evaluation: Exceeding 90% in the Othello League. - Rémy Haemmerlé, Jon Sneyers:
Proceedings of the Eleventh Workshop on Constraint Handling Rules. - Zhiguo Ding, Zheng Yang, Pingzhi Fan, H. Vincent Poor:
On the Performance of Non-Orthogonal Multiple Access in 5G Systems with Randomly Deployed Users. - Vladan Mlinar:
Inherent limits on optimization and discovery in physical systems. - Dustin Lang, David W. Hogg, Bernhard Schölkopf:
Towards building a Crowd-Sourced Sky Map. - Paul Blain Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014 [contents] - Geraldo A. Barbosa, Jeroen van de Graaf:
Untappable key distribution system: a one-time-pad booster. - Matt Kaufmann, J Strother Moore:
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4. 1-7 - Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios:
Data Definitions in the ACL2 Sedan. 27-48 - Benjamin Selfridge, Eric Smith:
Polymorphic Types in ACL2. 49-59 - Sebastiaan J. C. Joosten, Cezary Kaliszyk, Josef Urban:
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. 77-85 - John R. Cowles, Ruben Gamboa:
Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. 89-100 - Ruben Gamboa, John R. Cowles:
Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent. 101-110 - Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie:
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. 111-128 - Benjamin Selfridge:
An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. 129-144 - John W. O'Leary, David M. Russinoff:
Modeling Algorithms in SystemC and ACL2. 145-162 - David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg:
Development of a Translator from LLVM to ACL2. 163-177 - Nathalie Bertrand, Luca Bortolussi:
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. EPTCS 154, 2014 [contents] - Yanting Ma, Dror Baron, Deanna Needell:
Two-Part Reconstruction with Noisy-Sudocodes. - Hu Fu, Nima Haghpanah, Jason D. Hartline, Robert Kleinberg:
Optimal Auctions for Correlated Buyers with Sampling. - Alain Y. Kibangou, André L. F. de Almeida:
Consensus-based In-Network Computation of the PARAFAC Decomposition. - Chinmay Hegde, Piotr Indyk, Ludwig Schmidt:
Approximation Algorithms for Model-Based Compressive Sensing. - Vishwanath Bijalwan, Pinki Kumari, Jordán Pascual Espada, Vijay Bhaskar Semwal:
Machine learning approach for text and document mining. - Satendra Kumar, Mamta Kathuria, Alok Kumar Gupta, Monika Rani:
Fuzzy clustering of web documents using equivalence relations and fuzzy hierarchical clustering. - Wojciech Zaremba, Karol Kurach, Rob Fergus:
Learning to Discover Efficient Mathematical Identities. - Achim Berger, Markus Pichler, Werner Haselmayr, Andreas Springer:
Energy Efficient and Reliable Wireless Sensor Networks - An Extension to IEEE 802.15.4e. - Sebastien Diemer, Silvère Bonnabel:
An Invariant Linear Quadratic Gaussian controller for a simplified car. - Matthias Seibert, Julian Wörmann, Rémi Gribonval, Martin Kleinsteuber:
Separable Cosparse Analysis Operator Learning. - Christian Kudahl:
Deciding the On-line Chromatic Number of a Graph with Pre-Coloring is PSPACE-Complete. - Khalid Raza, Mahish Kohli:
Ant Colony Optimization for Inferring Key Gene Interactions. - George Philip Atzemoglou:
The dagger lambda calculus. 217-235 - Xiaoyu Chen, Dan Song, Dongming Wang:
Automated Generation of Geometric Theorems from Images of Diagrams. - Ankit R. Chadha, Rishikesh Misal, Tanaya Mokashi:
Modified Binary Search Algorithm. - Vanessa Lange, Manuel Schmitt, Rolf Wanka:
Towards a Better Understanding of the Local Attractor in Particle Swarm Optimization: Speed and Solution Quality. - Qi Zhang, Meizhu Li, Yong Deng, Sankaran Mahadevan:
Tsallis information dimension of complex networks. - Meizhu Li, Qi Zhang, Yong Deng:
Multiscale probability transformation of basic probability assignment. - Nathan Kirk, Alan Benson, Christopher E. Goodyer, Matthew E. Hubbard:
A computational study of the effects of remodelled electrophysiology and mechanics on initiation of ventricular fibrillation in human heart failure. - Jukka Suomela:
Median Filtering is Equivalent to Sorting. - Y. Yomdin:
Smooth Parametrizations in Dynamics, Analysis, Diophantine and Computational Geometry. - Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik:
Random Aerial Beamforming for Underlay Cognitive Radio with Exposed Secondary Users. - Leo Yu Zhang, Kwok-Wo Wong, Chengqing Li, Yushu Zhang:
Towards Secure Compressive Sampling Scheme. - Chao He, Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin:
MIMO In Vivo. - Emanuele Garone, Marco M. Nicotra:
Explicit Reference Governor for Continuous Time Nonlinear Systems Subject to Convex Constraints. - David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss:
Eigenvalues and Transduction of Morphic Sequences: Extended Version. - Anne Condamines, Maxime Warnier:
Linguistic Analysis of Requirements of a Space Project and their Conformity with the Recommendations Proposed by a Controlled Natural Language. - Christoph Salge, Cornelius Glackin, Daniel Polani:
Changing the Environment Based on Empowerment as Intrinsic Motivation. - Tomaso A. Poggio, Jim Mutch, Leyla Isik:
Computational role of eccentricity dependent cortical magnification. - Toufiq Parag, Stephen Plaza, Louis Scheffer:
Small Sample Learning of Superpixel Classifiers for EM Segmentation- Extended Version. - Arpita Ghosh, Robert Kleinberg:
Behavioral Mechanism Design: Optimal Contests for Simple Agents. - Anita B, Beena Sheril, Ramesh B. E:
Advanced vehicle safety and content distribution system. - Nusrat Fatema, Remus Brad:
Security Requirements, Counterattacks and Projects in Healthcare Applications Using WSNs - A Review. - Paul Tarau:
A Generic Numbering System based on Catalan Families of Combinatorial Objects. - Haya Shajaiah, Ahmed Abdel-Hadi, Charles Clancy:
Multi-Application Resource Allocation with Users Discrimination in Cellular Networks. - Anna Choromanska, John Langford:
Logarithmic Time Online Multiclass prediction. - Sashank Dara:
Multi-user protocols with access control for computational privacy in public clouds. - Samuel R. Bowman, Christopher Potts, Christopher D. Manning:
Recursive Neural Networks for Learning Logical Semantics. - Ben Poole, Jascha Sohl-Dickstein, Surya Ganguli:
Analyzing noise in autoencoders and deep networks. - Paul A. Szerlip, Gregory Morse, Justin K. Pugh, Kenneth O. Stanley:
Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation. - Hal Daumé III, John Langford, Stéphane Ross:
Efficient programmable learning to search. - Vasu Chetty, Sean Warnick:
Meanings and Applications of Structure in Networks of Dynamic Systems. - Bocong Chen, Hai Q. Dinh, Hongwei Liu:
Repeated-root constacyclic codes of length 2ℓmpn. - P. Ramya, S. Sasirekha:
Text Mining System for Non-Expert Miners. - Haipeng Luo, Robert E. Schapire:
A Drifting-Games Analysis for Online Learning and Applications to Boosting. - Weili Nie, Fu-Chun Zheng, Xiaoming Wang, Shi Jin, Wenyi Zhang:
Energy Efficiency of Cross-Tier Base Station Cooperation in Heterogeneous Cellular Networks. - C. Maria Keet, Langa Khumalo:
Toward verbalizing ontologies in isiZulu. - Xi Zheng, Akanksha Bansal, Matthew Lease:
Bullseye: Structured Passage Retrieval and Document Highlighting for Scholarly Search. - Leonid Pishchulin, Mykhaylo Andriluka, Bernt Schiele:
Fine-grained Activity Recognition with Holistic and Pose based Features. - Raúl Rojas:
The Z1: Architecture and Algorithms of Konrad Zuse's First Computer. - Jan Egger:
Refinement-Cut: User-Guided Segmentation Algorithm for Translational Science. - Alun D. Preece, Christopher Gwilliams, Christos Parizas, Diego Pizzocaro, Jonathan Z. Bakdash, Dave Braines:
Conversational Sensing. - Ahmed Abdel-Hadi, Charles Clancy:
Context-Aware Resource Allocation in Cellular Networks. - Ahmed Abdel-Hadi, Andreas Gerstlauer, Sriram Vishwanath:
Real-Time Rate-Distortion Optimized Streaming of Wireless Video. - Fedor Shmarov, Paolo Zuliani:
Verification of probabilistic bounded $δ$-reachability for cyber-physical systems. - Evangelos Kranakis, Michel Paquette:
Broadcasting in Networks of Unknown Topology in the Presence of Swamping. - Davide Boscaini, Davide Eynard, Michael M. Bronstein:
Shape-from-intrinsic operator. - Tobias Buer:
An exact and two heuristic strategies for truthful bidding in combinatorial transport auctions. - Yuanming Suo, Minh Dao, Umamahesh Srinivas, Vishal Monga, Trac D. Tran:
Structured Dictionary Learning for Classification. - (Withdrawn) Automatic Extraction of Protein Interaction in Literature.
- Samson Abramsky:
An Algebraic Characterisation of Concurrent Composition. - Adeyinka K. Akanbi, Olusanya Y. Agunbiade, Sadiq Kuti, Olumuyiwa J. Dehinbo:
A Semantic Enhanced Model for effective Spatial Information Retrieval. - Rio Yokota, George Turkiyyah, David E. Keyes:
Communication Complexity of the Fast Multipole Method and its Algebraic Variants. - Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger Mercaderes:
ProvAbs: model, policy, and tooling for abstracting PROV graphs. - Florentin Smarandache:
Introduction to Neutrosophic Statistics. - Dariusz Dereniowski, Ralf Klasing, Adrian Kosowski, Lukasz Kuszner:
Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks. - Kalyan Veeramachaneni, Sherif A. Halawa, Franck Dernoncourt, Una-May O'Reilly, Colin Taylor, Chuong B. Do:
MOOCdb: Developing Standards and Systems to Support MOOC Data Science. - Desmond J. Higham, Peter Grindrod, Alexander V. Mantzaris, Amanda Otley, Peter Laflin:
Anticipating Activity in Social Media Spikes. - Yen-Fu Ou, Wenzhi Lin, Huiqi Zeng, Yao Wang:
Perceptual Quality of Video with Periodic Frame Rate and Quantization Variation-Subjective Studies and Analytical Modeling. - James Gerald Holland Whiting, Ben de Lacy Costello, Andrew Adamatzky:
Slime Mould Logic Gates Based on Frequency Changes of Electrical Potential Oscillation. - Rahul Tejwani:
Two-dimensional Sentiment Analysis of text. - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. - Xianjie Chen, Roozbeh Mottaghi, Xiaobai Liu, Sanja Fidler, Raquel Urtasun, Alan L. Yuille:
Detect What You Can: Detecting and Representing Objects using Holistic Models and Body Parts. - Dani Yogatama, Manaal Faruqui, Chris Dyer, Noah A. Smith:
Learning Word Representations with Hierarchical Sparse Coding. - Jan-Christoph Küster, Andreas Bauer:
Platform-Centric Android Monitoring - Modular and Efficient. - Xue Li, Yu-Jin Zhang, Bin Shen, Bao-Di Liu:
Image Tag Completion by Low-rank Factorization with Dual Reconstruction Structure Preserved. - Jules Hedges:
Monad Transformers for Backtracking Search. 31-50 - Andreas Abel, James Chapman:
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. 51-67 - Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy:
Polymonadic Programming. 79-99 - Daan Leijen:
Koka: Programming with Row Polymorphic Effect Types. 100-126 - Wolfgang Jeltsch:
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. 127-142 - Baltasar Trancón y Widemann, Markus Lepper:
Foundations of Total Functional Data-Flow Programming. 143-167 - Tarmo Uustalu:
Coherence for Skew-Monoidal Categories. 68-77 - Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
Stochastically timed predicate-based communication primitives for autonomic computing. 1-16 - Marino Miculan, Marco Peressotti:
GSOS for non-deterministic processes with quantitative aspects. 17-33 - Max Tschaikowski, Mirco Tribastone:
Extended Differential Aggregations in Process Algebra for Performance and Biology. 34-47 - Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. 48-63 - Cheng Feng:
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example. 64-77 - Jean-Francois Kempf, Olivier Lebeltel, Oded Maler:
Formal and Informal Methods for Multi-Core Design Space Exploration. 78-92 - Hieu D. Nguyen, Greg E. Coxson:
Doppler Tolerance, Complementary Code Sets and the Generalized Thue-Morse Sequence. - Garry Pantelis:
Program Verification of Numerical Computation - Part 2. - Sainbayar Sukhbaatar, Rob Fergus:
Learning from Noisy Labels with Deep Neural Networks. - Paul Brillant Feuto Njonko, Sylviane Cardey, Peter Greenfield, Walid El Abed:
RuleCNL: A Controlled Natural Language for Business Rule Specifications. - Tufail Muhammad, Zahid Halim, Majid Ali Khan:
ClassSpy: Java Object Pattern Visualization Tool. - Tim French, James Hales, Edwin Tay:
A composable language for action models. - Boaz Ben-Moshe, Michael Elkin, Lee-Ad Gottlieb, Eran Omri:
Optimizing Budget Allocation in Graphs. - Nader H. Bshouty:
Linear time Constructions of some $d$-Restriction Problems. - Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller:
Logic Programming and Logarithmic Space. - Edmund S. L. Lam, Iliano Cervesato:
Constraint Handling Rules with Multiset Comprehension Patterns. - Ralf Gerlich:
Automatic Test Data Generation and Model Checking with CHR. - Falco Nogatz, Thom W. Frühwirth:
From XML Schema to JSON Schema: Translation with CHR. - Yang Liu, Xiaoge Zhang, Yong Deng:
A bio-inspired algorithm for fuzzy user equilibrium problem by aid of Physarum Polycephalum. - Manish Raj, Pavan Chakraborty, Gora Chand Nandi:
Rescue Robotics in Bore well Environment. - Karl Granström:
An extended target tracking model with multiple random matrices and unified kinematics. - Masoud Faraki, Maziar Palhang, Conrad Sanderson:
Log-Euclidean Bag of Words for Human Action Recognition. - Tanmoy Sarkar, Sugata Sanyal:
Digital Watermarking Techniques in Spatial and Frequency Domain. - (Withdrawn) ML Detection for MIMO Systems under Channel Estimation Errors.
- Pawel Gawrychowski, Damian Rusak:
Euclidean TSP with few inner points in linear space. - Tiago de Lima, Andreas Herzig:
Tableaux for Dynamic Logic of Propositional Assignments. - Esteban Zapata Rojas:
Selecting interesting zones at Aburrá valley and valley of St. Nicholas Valley's using the identification method of Density-based Clustering and Improved Nearest Neighbor applied on social networks. - Karen Simonyan, Andrew Zisserman:
Two-Stream Convolutional Networks for Action Recognition in Videos. - Zhen Liu, Weike Dong, Yan Fu:
Local degree blocking model for missing link prediction in complex networks. - Sandra Williams, Richard Power, Allan Third:
How Easy is it to Learn a Controlled Natural Language for Building a Knowledge Base? - Juan Pablo Carbajal, Joni Dambre, Michiel Hermans, Benjamin Schrauwen:
Memristor models for machine learning. - Timothy T. Lenczycki, Kelly Suto, Christina Williams, Michelle Mills Strout:
The Chemistry Between High School Students and Computer Science. - Max Jaderberg, Karen Simonyan, Andrea Vedaldi, Andrew Zisserman:
Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition. - Bryan Knowles, Mustafa Atici:
Fault-Tolerant, but Paradoxical Path-Finding in Physical and Conceptual Systems. - Michael R. Smith, Tony R. Martinez, Michael Gashler:
A Hybrid Latent Variable Neural Network Model for Item Recommendation. - Ahmed El Shafie, Tamer Khattab, Amr El-Keyi, H. Vincent Poor:
Energy-Efficient Cooperative Cognitive Relaying Protocols for Full-Duplex Cognitive Radio Users and Delay-Aware Primary Users. - Ankit R. Chadha, Rishikesh Misal, Tanaya Mokashi, Aman Chadha:
ARC Sort: Enhanced and Time Efficient Sorting Algorithm. - Jared Davis, Matt Kaufmann:
Industrial-Strength Documentation for ACL2. 9-25 - Chunyu Wang, Yizhou Wang, Zhouchen Lin, Alan L. Yuille, Wen Gao:
Robust Estimation of 3D Human Poses from a Single Image. - David Eigen, Christian Puhrsch, Rob Fergus:
Depth Map Prediction from a Single Image using a Multi-Scale Deep Network. - Navya Chodisetti:
A Piggybank Protocol for Quantum Cryptography. - John Lamping, Eric Veach:
A Fast, Minimal Memory, Consistent Hash Algorithm. - Siddharth Barman:
Approximating Carathéodory's Theorem and Nash Equilibria. - Gordon J. Pace, Michael Rosner:
Explaining Violation Traces with Finite State Natural Language Generation Models. - Manpreet Kaur, Abhilasha:
Survey on Variants of Distributed Energy efficient Clustering Protocols in heterogeneous Wireless Sensor Network. - Vigale Leelanubari Giadom, Edem E. Williams:
Context management strategies in wireless network. - Szymon Grabowski, Marcin Raniszewski:
Sampling the suffix array with minimizers. - Sandro Sozzo:
Conjunction and Negation of Natural Concepts: A Quantum-theoretic Modeling. - Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
Distilling Abstract Machines (Long Version). - Wenhao Lu, Xiaochen Lian, Alan L. Yuille:
Parsing Semantic Parts of Cars Using Graphical Models and Segment Appearance Consistency. - Xu Chen, Xiuyuan Cheng, Stéphane Mallat:
Unsupervised Learning by Deep Scattering Contractions. - Ryan Compton, Matthew S. Keegan, Jiejun Xu:
Inferring the geographic focus of online documents from social media sharing patterns. - Ezilda Almeida, Pedro Ferreira, Tiago T. V. Vinhoza, Inês de Castro Dutra, Jingwei Li, Yirong Wu, Elizabeth S. Burnside:
ExpertBayes: Automatically refining manually built Bayesian networks. - Tehila Minkus, Nasir D. Memon:
Leveraging Personalization To Facilitate Privacy. - Dana Dannélls, Normunds Gruzitis:
Controlled Natural Language Generation from a Multilingual FrameNet-based Grammar. - Hilton Bristow, Simon Lucey:
Optimization Methods for Convolutional Sparse Coding. - Hilton Bristow, Simon Lucey:
Why do linear SVMs trained on HOG features perform so well? - Bodhayan Roy:
Point visibility graph recognition is NP-hard. - Oren Anava, Shahar Golan, Nadav Golbandi, Zohar Shay Karnin, Ronny Lempel, Oleg Rokhlenko, Oren Somekh:
Budget-Constrained Item Cold-Start Handling in Collaborative Filtering Recommenders via Optimal Design. - Chunhe Hu, Zongji Chen:
Distributed consensus on minimum time rendezvous via cyclic alternating projection. - Chunhe Hu, Zongji Chen:
Distributed MIN-MAX Optimization Application to Time-optimal Consensus: An Alternating Projection Approach. - Sunil Kumar Kopparapu, Meghna Pandharipande, G. Sita:
Music and Vocal Separation Using Multi-Band Modulation Based Features. - Stefano Salsano, Giuseppe Siracusano, Andrea Detti, Claudio Pisa, Pier Luigi Ventre, Nicola Blefari-Melazzi:
Controller selection in a Wireless Mesh SDN under network partitioning and merging scenarios. - Seyed Akbar Mostafavi, Mehdi Dehghan:
Decentralized Adaptive Helper Selection in Multi-channel P2P Streaming Systems. - Yuan Li, Nikolaos Pappas, Vangelis Angelakis, Michal Pióro, Di Yuan:
Optimization of Free Space Optical Wireless Network for Cellular Backhauling. - Hugo Firth, Paolo Missier:
ProvGen: generating synthetic PROV graphs with predictable structure. - Bo Xin, David P. Wipf:
Exploring Algorithmic Limits of Matrix Rank Minimization under Affine Constraints. - Tim Taylor:
WebAL-1: Workshop on Artificial Life and the Web 2014 Proceedings. - Richard T. B. Ma:
Subsidization Competition: Vitalizing the Neutral Internet. - Romain Campigotto, Patricia Conde Céspedes, Jean-Loup Guillaume:
A Generalized and Adaptive Method for Community Detection. - Wojciech Mazurczyk, Steffen Wendzel, Ignacio Azagra Villares, Krzysztof Szczypiorski:
On Importance of Steganographic Cost For Network Steganography. - Dominik Egarter, Christoph Prokop, Wilfried Elmenreich:
Load Hiding of Household's Power Demand. - Guntis Barzdins:
FrameNet CNL: a Knowledge Representation and Information Extraction Language. - Fabrício Olivetti de França:
Maximizing Diversity for Multimodal Optimization. - Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid:
Faithful Glitch Propagation in Binary Circuit Models. - Fabrício Olivetti de França, Guilherme Palermo Coelho:
A Flexible Fitness Function for Community Detection in Complex Networks. - Nicoleta Arghira, Ioana Fagarasan, Grigore Stamatescu, Sergiu Stelian Iliescu, Iulia Stamatescu, Vasile Calofir:
Some Aspects concerning the Cyber-Physical Systems Approach in Power Systems. - Roy Dong, Alvaro A. Cárdenas, Lillian J. Ratliff, Henrik Ohlsson, S. Shankar Sastry:
Quantifying the Utility-Privacy Tradeoff in the Smart Grid. - Yann N. Dauphin, Razvan Pascanu, Çaglar Gülçehre, Kyunghyun Cho, Surya Ganguli, Yoshua Bengio:
Identifying and attacking the saddle point problem in high-dimensional non-convex optimization. - D. H. Apriyanti, Aniati Murni Arymurthy, Laksana Tri Handoko:
Identification of Orchid Species Using Content-Based Flower Image Retrieval. - Erik D. Demaine, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar, Blair D. Sullivan:
Structural Sparsity of Complex Networks: Random Graph Models and Linear Algorithms. - Christoph Haase, Simon Halfon:
Integer Vector Addition Systems. - Shahab U. Ansari, Sameen Mansha:
Simulation based Hardness Evaluation of a Multi-Objective Genetic Algorithm. - (Withdrawn) Application and Verification of Algorithm Learning Based Neural Network.
- Ashesh Jain, Debarghya Das, Ashutosh Saxena:
PlanIt: A Crowdsourcing Approach for Learning to Plan Paths from Large Scale Preference Feedback. - Julien Audiffren, Hachem Kadri:
Equivalence of Learning Algorithms. - Ilya Loshchilov, Marc Schoenauer, Michèle Sebag, Nikolaus Hansen:
Maximum Likelihood-based Online Adaptation of Hyper-parameters in CMA-ES. - Oded Green, Saher Odeh, Yitzhak Birk:
Merge Path - A Visually Intuitive Approach to Parallel Merging. - Mo Ghorbanzadeh, Ahmed Abdel-Hadi, Charles Clancy:
A Utility Proportional Fairness Radio Resource Block Allocation in Cellular Networks. - Mo Ghorbanzadeh, Ahmed Abdel-Hadi, Charles Clancy:
A Utility Proportional Fairness Resource Allocation in Spectrally Radar-Coexistent Cellular Networks. - Jirí Matousek:
Intersection graphs of segments and ∃ℝ. - Holger R. Roth, Le Lu, Ari Seff, Kevin M. Cherry, Joanne Hoffman, Shijun Wang, Jiamin Liu, Evrim Turkbey, Ronald M. Summers:
A New 2.5D Representation for Lymph Node Detection using Random Sets of Deep Convolutional Neural Network Observations. - Ali Elouafiq, Redouan Abid:
Geographical Asynchronous Information Access for Distributed Systems. - Franz J. Király, Martin Kreuzer, Louis Theran:
Learning with Cross-Kernels and Ideal PCA. - (Withdrawn) Fast Matrix Multiplication with Sketching.
- Herbert Jaeger:
Conceptors: an easy introduction. - Ryan Kiros, Richard S. Zemel, Ruslan Salakhutdinov:
A Multiplicative Model for Learning Distributed Text-Based Attribute Representations. - Chris Marriott, Jobran Chebib:
The Effect of Social Learning on Individual Learning and Evolution. - Hanna Furmanczyk, Marek Kubale, Stanislaw P. Radziszowski:
On bipartization of cubic graphs by removal of an independent set. - George Papandreou:
Deep Epitomic Convolutional Neural Networks. - Harpreet S. Dhillon, Giuseppe Caire:
Wireless Backhaul Networks: Capacity Bound, Scalability Analysis and Design Guidelines. - Krispin A. Davies, Alejandro Ramirez-Serrano, Graeme N. Wilson, Mahmoud Mustafa:
Rapid Control Selection through Hill-Climbing Methods. - Mishari Al Mishari, Dali Kaafar, Gene Tsudik, Ekin Oguz:
Are 140 Characters Enough? A Large-Scale Linkability Study of Tweets. - Jörg Bornschein, Yoshua Bengio:
Reweighted Wake-Sleep. - Hongguang Sun, Matthias Wildemeersch, Min Sheng, Tony Q. S. Quek:
D2D Enhanced Heterogeneous Cellular Networks with Dynamic TDD. - Xuezhi Yang:
A multi-level soft frequency reuse technique for wireless communication systems. - S. Taruna, Pratibha Singh, Soshya Joshi:
Green Computing In Developed And Developing Countries. - Jian Zhao, Hengzhu Liu, Xucan Chen, Zhengfa Liang:
Realization and design of a pilot assist decision-making system based on speech recognition. - A. Sai Charan, N. K. Manasa, N. V. S. N. Sarma:
Out Performance Of Cuckoo Search Algorithm Among Nature Inspired Algorithms in Planar Antenna Arrays. - Hadeel Saleh Haj Aliwi, Putra Sumari:
real-time audio translation module between iax and rsw. - Vladimir V. Rybakov:
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility. - Chulong Liang, Jingnan Hu, Xiao Ma, Baoming Bai:
A New Class of Multiple-rate Codes Based on Block Markov Superposition Transmission. - Monire Norouzi, Saeed Parsa, Ali Mahjur:
A new approach for formal behavioral modeling of protection services in antivirus systems. - Song Gao:
Towards a Frontier of Spatial Scientometric Studies. - Martin Haenggi:
The Mean Interference-to-Signal Ratio and its Key Role in Cellular and Amorphous Networks. - Shantanu Das, Dariusz Dereniowski, Adrian Kosowski, Przemyslaw Uznanski:
Rendezvous of Distance-aware Mobile Agents in Unknown Graphs. - Yin Li, Xiaodi Hou, Christof Koch, James M. Rehg, Alan L. Yuille:
The Secrets of Salient Object Segmentation. - Bilal Kanso, Omar Chebaro:
Compositional Testing For FSM-Based Models. - Basri Ahmedi, Pece Mitrevski:
On the Development of Methodology for Planning and Cost-Modeling of a Wide Area Network. - Jürgen Zechner, Benjamin Marussig, Gernot Beer, Thomas-Peter Fries:
Isogeometric Boundary Element Method with Hierarchical Matrices. - Virginia Maria Araujo, José Ayude Vazquez, Manuel Pérez Cota:
A Framework for the Evaluation of SaaS Impact. - Roberto E. Lopez-Herrejon, Javier Ferrer, Francisco Chicano, Lukas Linsbauer, Alexander Egyed, Enrique Alba:
A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines. - Gudmund Grov:
Some Ideas for Program Verifier Tactics. - Shao-Lun Huang, Lizhong Zheng:
The Linear Information Coupling Problems. - Tarek Menouer, Bertrand Le Cun:
Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp. - Tomasz Jurdzinski, Dariusz R. Kowalski, Michal Rózanski, Grzegorz Stachowiak:
On the Impact of Geometry on Ad Hoc Communication in Wireless Networks. - Umberto Grandi:
The Common Structure of Paradoxes in Aggregation Theory. - Jennifer Barry, Daniel T. Barry, Scott Aaronson:
Quantum POMDPs. - Jose Teixeira, Reima Suomi:
A Literature Review on Information Systems Supporting the Physical Wellbeing of Elderly People. - Emil Björnson, Eduard A. Jorswieck, Mérouane Debbah, Björn E. Ottersten:
Multi-Objective Signal Processing Optimization: The Way to Balance Conflicting Metrics in 5G Systems. - Ulf Schöneberg, Wolfram Sperber:
POS Tagging and its Applications for Mathematics. - Stasa Milojevic, Cassidy R. Sugimoto, Vincent Larivière, Mike Thelwall, Ying Ding:
The role of handbooks in knowledge creation and diffusion: A case of science and technology studies. - Jonathan Tapson, Philip de Chazal, André van Schaik:
Explicit Computation of Input Weights in Extreme Learning Machines. - Jürgen T. Geiger, Maximilian Kneißl, Björn W. Schuller, Gerhard Rigoll:
Acoustic Gait-based Person Identification using Hidden Markov Models. - Mohammad Noshad, Maïté Brandt-Pearce:
Hadamard Coded Modulation for Visible Light Communications. - Steffen Wendzel, Sebastian Zander, Bernhard Fechner, Christian Herdin:
A Pattern-based Survey and Categorization of Network Covert Channel Techniques. - Hazem Safwat, Brian Davis:
A Brief State of the Art for Ontology Authoring. - Nino Antulov-Fantulin, Alen Lancic, Tomislav Smuc, Hrvoje Stefancic, Mile Sikic:
Detectability limits of epidemic sources in networks. - Abhishek Samvedi, Sparsh Owlak, Vijay Kumar Chaurasia:
Improved Secure Address Resolution Protocol. - Rajai Nasser:
Ergodic Theory Meets Polarization. II: A Foundation of Polarization Theory. - Jaroslaw Byrka, Thomas W. Pensyl, Bartosz Rybicki, Aravind Srinivasan, Khoa Trinh:
An Improved Approximation for $k$-median, and Positive Correlation in Budgeted Optimization. - Steve Branson, Grant Van Horn, Serge J. Belongie, Pietro Perona:
Bird Species Categorization Using Pose Normalized Deep Convolutional Nets. - Md. Munjure Mowla, M. Y. Ali, S. M. Mahmud Hasan:
A Modified Design of ACF Operation for Reducing PAPR of OFDM Signal. - Shanan Peters, Ce Zhang, Miron Livny, Christopher Ré:
A machine-compiled macroevolutionary history of Phanerozoic life. - Yilun Wang, Xinhua Su:
Truncated Nuclear Norm Minimization for Image Restoration Based On Iterative Support Detection. - Hani Safadi, Samer Faraj:
Toward a Local Perspective on Online Collaboration. - Jonathan Tompson, Arjun Jain, Yann LeCun, Christoph Bregler:
Joint Training of a Convolutional Network and a Graphical Model for Human Pose Estimation. - Tyler Kaczmarek, Alfred Kobsa, Robert Sy, Gene Tsudik:
User Errors in the Performance of Security Critical Tasks in the Context of Adversarial Noise. - Weiguang Ding, Graham W. Taylor:
"Mental Rotation" by Optimizing Transforming Distance. - Md. Munjure Mowla, Liton Chandra Paul, Md. Rabiul Hasan:
Comparative Performance Analysis of Different Modulation Techniques for PAPR Reduction of OFDM Signal. - Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii:
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries. - Jirí Matousek, Zuzana Safernová:
Multilevel polynomial partitions and simplified range searching. - Stasys Jukna:
Lower Bounds for Tropical Circuits and Dynamic Programs. - Vamsi Sashank Kotagiri:
A New Result on the Random Residue Sequence Algorithm. - Tuan Phung-Duc:
Exact Solutions for M/M/c/Setup Queues. - Yingjie Wu, Daxin Zhu, Lei Wang, Xiaodong Wang:
A note on the largest number of red nodes in red-black trees. - Philip de Chazal, Jonathan Tapson, André van Schaik:
Learning ELM network weights using linear discriminant analysis. - Wei Kang, Daming Cao, Nan Liu:
Deception with Side Information in Biometric Authentication Systems. - Yuval Elovici, Lior Rokach:
Reaction to New Security Threat Class. - Anh Nguyen, Amy Banic:
Low-cost Augmented Reality prototype for controlling network devices. - Saraswati Mishra, Shikha Dhankar, Kavita Choudhary:
Impact of Internet Governance. - Monowar Hasan, Ekram Hossain:
Distributed Resource Allocation for Relay-Aided Device-to-Device Communication: A Message Passing Approach. - Serge Gaspers, Stefan Szeider:
Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning. - Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
Labelings for Decreasing Diagrams. - Jonathan Ling, Satish Kanugovi, Subramanian Vasudevan, A. Krishna Pramod:
Enhanced capacity & coverage by Wi-Fi LTE Integration. - Francesco Bonanno, Giacomo Capizzi, Grazia Lo Sciuto, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
A Cascade Neural Network Architecture investigating Surface Plasmon Polaritons propagation for thin metals in OpenMP. - Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
A hybrid neuro-wavelet predictor for QoS control and stability. - Laura Toni, Ramon Aparicio-Pardo, Karine Pires, Gwendal Simon, Alberto Blanc, Pascal Frossard:
Optimized Adaptive Streaming Representations based on System Dynamics. - Jérôme Plût, Pierre-Alain Fouque, Gilles Macario-Rat:
Solving the "Isomorphism of Polynomials with Two Secrets" Problem for all Pairs of Quadratic Forms. - Ang Yang, Zunwen He, Chengwen Xing, Zesong Fei, Jingming Kuang:
The Role of Large-Scale Fading in Uplink Massive MIMO Systems. - Simon Gog, Matthias Petri:
Compact Indexes for Flexible Top-k Retrieval. - Sunil Kumar Kopparapu, M. Satish:
Optimal Gaussian Filter for Effective Noise Filtering. - Elisabeth Lex, Inayat Khan, Horst Bischof, Michael Granitzer:
Assessing the Quality of Web Content. - Hadi Fanaee-T, João Gama:
An eigenvector-based hotspot detection. - Junaid Qadir, Adeel Baig, Asad Ali, Quratulain Shafi:
Multicasting in Cognitive Radio Networks: Algorithms, Techniques and Protocols. - (Withdrawn) Systematic Design of Trust Management Systems for Wireless Sensor Networks: A Review.
- (Withdrawn) BT-GPSR: An Integrated Trust Model for Secure Geographic Routing in Wireless Sensor Networks.
- Pascal Caron, Marianne Flouret, Ludovic Mignot:
(k, l)-Unambiguity and Quasi-Deterministic Structures. - Andrea Burattin, Giuseppe Cascavilla, Mauro Conti:
SocialSpy: Browsing (Supposedly) Hidden Information in Online Social Networks. - Andreas Möller, Stefan Diewald, Luis Roalter, Matthias Kranz:
Supporting Mobile Multimodal Interaction with a Rule-Based Framework. - François Duport, Akram Akrout, Anteo Smerieri, Marc Haelterman, Serge Massar:
Analog input layer for optical reservoir computers. - Wentan Yi, Shaozhen Chen, Kuanyang Wei:
Zero-Correlation Linear Cryptanalysis of Reduced Round ARIA with Partial-sum and FFT. - Peter Jonsson, Victor Lagerkvist, Johannes Schmidt, Hannes Uppman:
Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis. - Dominik Egarter, Andrea Monacchi, Tamer Khatib, Wilfried Elmenreich:
Integration of Legacy Appliances into Home Energy Management Systems. - Hadi Fanaee-T, Márcia D. B. Oliveira, João Gama, Simon Malinowski, Ricardo Morla:
Event and Anomaly Detection Using Tucker3 Decomposition. - Krzysztof J. Geras, Charles Sutton:
Scheduled denoising autoencoders. - Matthieu Geist, Olivier Pietquin:
Kalman Temporal Differences. - Hadi Fanaee-T, Mehran Yazdi:
A Semantic VSM-Based Recommender System. - Andrew Chi-Chih Yao:
An n-to-1 Bidder Reduction for Multi-item Auctions and its Applications. - Riko Jacob, Tobias Lieber, Nodari Sitchinava:
On the Complexity of List Ranking in the Parallel External Memory Model. - Jan A. Bergstra, Alban Ponse:
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. - Erik Cuevas, Miguel Cienfuegos, Daniel Zaldivar, Marco Antonio Pérez Cisneros:
A swarm optimization algorithm inspired in the behavior of the social-spider. - Matthew Mayo:
A Clustering Analysis of Tweet Length and its Relation to Sentiment. - Manolis Christodoulakis, Patrick J. Ryan, W. F. Smyth, Shu Wang:
Indeterminate Strings, Prefix Arrays & Undirected Graphs. - Cesar F. Caiafa, Andrzej Cichocki:
Stable, Robust and Super Fast Reconstruction of Tensors Using Multi-Way Projections. - Hongchuan Wei, Wenjie Lu, Silvia Ferrari:
An Information Value Function for Nonparametric Gaussian Processes. - Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents] - Timo Mennle, Sven Seuken:
The Naive versus the Adaptive Boston Mechanism. - Julien Mairal, Piotr Koniusz, Zaïd Harchaoui, Cordelia Schmid:
Convolutional Kernel Networks. - Jared M. Moore, Anthony J. Clark, Philip K. McKinley:
Evolutionary Robotics on the Web with WebGL and Javascript. - Yinlam Chow, Mohammad Ghavamzadeh:
Algorithms for CVaR Optimization in MDPs. - Yu-Chih Huang, Krishna R. Narayanan:
Lattices from Codes for Harnessing Interference: An Overview and Generalizations. - Tim Smith:
On Infinite Words Determined by Indexed Languages. - Ugo Dal Lago, Sara Zuppiroli:
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version). - Rumi Ghosh, Kristina Lerman, Shang-Hua Teng, Xiaoran Yan:
The Interplay Between Dynamics and Networks: Centrality, Communities, and Cheeger Inequality. - Paraskevas V. Lekeas:
An Evolutionary Approach to Coalition Formation. - Olaf Hartig, Bryan Thompson:
Foundations of an Alternative Approach to Reification in RDF. - Sasa Jokic, Petr Novikov, Stuart Maggs, Dori Sadan, Shihui Jin, Cristina Nan:
Robotic positioning device for three-dimensional printing. - Jungho So, Donggun Kim, Yuni Lee, Youngchul Sung:
Pilot Signal Design for Massive MIMO Systems: A Received Signal-To-Noise-Ratio-Based Approach. - Sanguthevar Rajasekaran, Marius Nicolae:
An error correcting parser for context free grammars that takes less than cubic time. - Gang Chen, Sargur N. Srihari:
Restricted Boltzmann Machine for Classification with Hierarchical Correlated Prior. - Danai Koutra, U Kang, Jilles Vreeken, Christos Faloutsos:
VoG: Summarizing and Understanding Large Graphs. - Min Hua, Kristo W. Yang, Mao Wang, Kingsley J. Zou:
Analysis of the Frequency Offset Effect on Zadoff-Chu Sequence Timing Performance. - Martin Fürer, Huiwen Yu:
Space Saving by Dynamic Algebraization. - Ankit Chaudhary, Jagdish Lal Raheja, Karen Das, Shekhar Raheja:
Fingers' Angle Calculation using Level-Set Method. - Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher:
A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures. - Anas Chaaban, Henning Maier, Aydin Sezgin:
The Degrees-of-Freedom of Multi-way Device-to-Device Communications is Limited by 2. - Karolina Suchowolec:
Are Style Guides Controlled Languages? The Case of Koenig & Bauer AG. - Yakiv O. Kalinovsky, Dmitry V. Lande, Yuliya E. Boyarinova, Alina S. Turenko:
Clifford Type Algebra Characteristics Investigation. - Helena Astola, Ioan Tabus:
On the Linear Programming Bound for Lee-codes. - Sijin Li, Zhi-Qiang Liu, Antoni B. Chan:
Heterogeneous Multi-task Learning for Human Pose Estimation with Deep Convolutional Neural Network. - Dimitris Mostrous:
Multiparty Sessions based on Proof Nets. 1-8 - Sam Lindley, J. Garrett Morris:
Sessions as Propositions. 9-16 - Francesco Tiezzi, Nobuko Yoshida:
Towards Reversible Sessions. 17-24 - Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay:
Session Types for Broadcasting. 25-31 - Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. 32-37 - Tzu-Chun Chen:
Lightening Global Types. 38-46 - Stefan Blom, Saeed Darabi, Marieke Huisman:
Verifying Parallel Loops with Separation Logic. 47-53 - Janwillem Swalens, Stefan Marr, Joeri De Koster, Tom Van Cutsem:
Towards Composable Concurrency Abstractions. 54-60 - Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. 61-71 - S. Taruna, Bhumika Pahwa:
A Novel Scheme to improve spectrum sensing performance. - Hadi Fanaee-T, João Gama:
EigenEvent: An Algorithm for Event Detection from Complex Data Streams in Syndromic Surveillance. - Matteo Pirotta, Simone Parisi, Marcello Restelli:
Multi-objective Reinforcement Learning with Continuous Pareto Frontier Approximation. - Gernot Beer, Benjamin Marussig, Jürgen Zechner, Christian Dünser, Thomas-Peter Fries:
Boundary Element Analysis with trimmed NURBS and a generalized IGA approach. - Hadi Fanaee-T, João Gama:
Eigenspace Method for Spatiotemporal Hotspot Detection. - Marco Di Summa, Friedrich Eisenbrand, Yuri Faenza, Carsten Moldenhauer:
On largest volume simplices and sub-determinants. - Marek Karpinski, Roland Markó:
Limits of CSP Problems and Efficient Parameter Testing. - Saraswati Mishra, Prabhjot Kaur:
Energy efficient neighbor selection for flat wireless sensor networks. - Ammar Lahlouhi:
Methodological Societies. - Wei Di, Anurag Bhardwaj, Vignesh Jagadeesh, Robinson Piramuthu, Elizabeth F. Churchill:
When relevance is not Enough: Promoting Visual Attractiveness for Fashion E-commerce. - Siamak Sarmady, Fazilah Haron, Abdullah Zawawi Talib:
Simulation of Pedestrian Movements Using Fine Grid Cellular Automata Model. - Kumar Vijay Mishra, Anton Kruger, Witold F. Krajewski:
Compressed Sensing Applied to Weather Radar. - Aaron D. Jaggard, Aaron Johnson, Paul F. Syverson, Joan Feigenbaum:
Representing Network Trust and Using It to Improve Anonymous Communication. - Akaki Mamageishvili, Matús Mihalák, Simone Montemezzani:
An $H_{n/2}$ Upper Bound on the Price of Stability of Undirected Network Design Games. - Daniel Zaldivar, Erik Cuevas, Marco Antonio Pérez Cisneros, Juan Humberto Sossa Azuela, Jose G. Rodriguez, Edgar O. Palafox:
An Educational Fuzzy-based Control platform using LEGO Robots. - Charilaos Efthymiou:
Reconstruction/Non-reconstruction Thresholds for Colourings of General Galton-Watson Trees. - Xinlin Zhang, Michail Matthaiou, Emil Björnson, Mikael Coldrey, Mérouane Debbah:
On the MIMO Capacity with Residual Transceiver Hardware Impairments. - Xinlin Zhang, Michail Matthaiou, Mikael Coldrey, Emil Björnson:
Impact of Residual Transmit RF Impairments on Training-Based MIMO Systems. - Aline Medeiros Saettler, Eduardo Sany Laber, Ferdinando Cicalese:
Trading off Worst and Expected Cost in Decision Tree Problems and a Value Dependent Model. - Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. - Mylonas Charilaos:
Analysis of networking characteristics of different personality types. - Jelena Marasevic, Cliff Stein, Gil Zussman:
Max-min Fair Rate Allocation and Routing in Energy Harvesting Networks: Algorithmic Analysis. - Aurko Roy:
Deterministic polynomial factoring under the assumption of the Extended Riemann Hypothesis (ERH). - Antoine Bordes, Sumit Chopra, Jason Weston:
Question Answering with Subgraph Embeddings. - Srishti Gupta, Ponnurangam Kumaraguru:
Emerging Phishing Trends and Effectiveness of the Anti-Phishing Landing Page. - Neha Gupta, Anupama Aggarwal, Ponnurangam Kumaraguru:
bit.ly/malicious: Deep Dive into Short URL based e-Crime Detection. - Prateek Dewan, Anand Kashyap, Ponnurangam Kumaraguru:
Analyzing Social and Stylometric Features to Identify Spear phishing Emails. - Partha Pratim Ray:
Channel Modeling of Human Somatosensory Nanonetwork: Body Discriminative Touch and Proprioception Perspective. - Ivo Jimenez, Carlos Maltzahn, Jay F. Lofstead:
Distributed Versioned Object Storage - Alternatives at the OSD layer (Poster Extended Abstract). - Bingkai Lin:
The Parameterized Complexity of k-Biclique. - Richa Sharma, Shweta Nigam, Rekha Jain:
Mining of product reviews at aspect level. - Willem L. Fouché, Safari Mukeru, George Davie:
Fourier spectra of measures associated with algorithmically random Brownian motion. - Ankur Sahai:
Evaluation of Machine Learning Techniques for Green Energy Prediction. - N. Md. Jubair Basha, Chandra Mohan:
A methodology to identify the level of reuse using template factors. - N. Md. Jubair Basha, Salman Abdul Moiz:
Component Based Software Development: A State of Art. - José Carlos Marinello Filho, Taufik Abrão:
BER Analysis of Multi-Cellular MIMO Systems with Increasing Number of BS Antennas. - Nishant A. Mehta, Robert C. Williamson:
From Stochastic Mixability to Fast Rates. - Zhiliang Qian:
High Performance Network-on-Chips (NoCs) Design: Performance Modeling, Routing Algorithm and Architecture Optimization. - Tao Xiong, Yukun Bao, Zhongyi Hu:
Interval Forecasting of Electricity Demand: A Novel Bivariate EMD-based Support Vector Regression Modeling Framework. - Cheston Tan, Tomaso A. Poggio:
Neural tuning size is a key factor underlying holistic face processing. - Petr A. Golovach, Pinar Heggernes, Pim van 't Hof, Christophe Paul:
Hadwiger number of graphs with small chordality. - Francesco Orabona:
Simultaneous Model Selection and Optimization through Parameter-free Stochastic Learning. - Misha Denil, Alban Demiraj, Nal Kalchbrenner, Phil Blunsom, Nando de Freitas:
Modelling, Visualising and Summarising Documents with a Single Convolutional Neural Network. - Paul Liu, Daniel Lu:
A fast 25/6-approximation for the minimum unit disk cover problem. - Tor Lattimore, Koby Crammer, Csaba Szepesvári:
Optimal Resource Allocation with Semi-Bandit Feedback. - Jaziar Radianti, Julie Dugdale, Jose J. Gonzalez, Ole-Christoffer Granmo:
Smartphone sensing platform for emergency management. - Taylor Gordon:
The Minimum Bends in a Polyline Drawing with Fixed Vertex Locations. - X. Luo, Rodrigo C. de Lamare, Keke Zu:
Successive Optimization Tomlinson-Harashima Precoding Strategies for Physical-Layer Security in Wireless Networks. - Iaakov Exman, Alex Krepch:
An Anti_Turing Test: Reduced Variables for Social Network Friends' Recommendations. - Shawn M. Jones, Michael L. Nelson, Harihar Shankar, Herbert Van de Sompel:
Bringing Web Time Travel to MediaWiki: An Assessment of the Memento MediaWiki Extension. - Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Argument Ranking with Categoriser Function. - Yui Noma, Makiko Konoshima:
Eclipse Hashing: Alexandrov Compactification and Hashing with Hyperspheres for Fast Similarity Search. - Georgios Evangelopoulos, Stephen Voinea, Chiyuan Zhang, Lorenzo Rosasco, Tomaso A. Poggio:
Learning An Invariant Speech Representation. - Honggang Hu:
Comments on "A New Method to Compute the 2-Adic Complexity of Binary Sequences". - Weiran Wang, Miguel Á. Carreira-Perpiñán:
The Laplacian K-modes algorithm for clustering. - Liya Fan, Bo Gao, Fa Zhang, Zhiyong Liu:
OS4M: Achieving Global Load Balance of MapReduce Workload by Scheduling at the Operation Level. - Roozbeh Mottaghi, Sanja Fidler, Alan L. Yuille, Raquel Urtasun, Devi Parikh:
Human-Machine CRFs for Identifying Bottlenecks in Holistic Scene Understanding. - Sankar Mukherjee, Shyamal Kumar Das Mandal:
A Bengali HMM Based Speech Synthesis System. - (Withdrawn) Personalized Medical Treatments Using Novel Reinforcement Learning Algorithms.
- Yasin Abbasi-Yadkori, Csaba Szepesvári:
Bayesian Optimal Control of Smoothly Parameterized Systems: The Lazy Posterior Sampling Algorithm. - Mrudula Sarvabhatla, M. Giri, Chandra Sekhar Vorugunti:
Cryptanalysis of Cryptanalysis and Improvement of Yan et al Biometric-Based Authentication Scheme for TMIS. - Jamil Ahmad, Zahoor Jan, Zia Ud Din, Shoaib Muhammad Khan:
A Fusion of Labeled-Grid Shape Descriptors with Weighted Ranking Algorithm for Shapes Recognition. - Josu Jugo, Mikel Eguiraun, I. Badillo, Iñigo Arredondo, D. Piso:
Design and Performance Analysis of a Non-Standard EPICS Fast Controller. - Siddhartha Ghosh, Sujata Thamke, Kalyani U. R. S:
Translation Of Telugu-Marathi and Vice-Versa using Rule Based Machine Translation. - Julien Cassaigne, Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni:
Subword complexity and decomposition of the set of factors. - Ramona Enache, Inari Listenmaa, Prasanth Kolachina:
Handling non-compositionality in multilingual CNLs. - Juyeon Kang, Patrick Saint-Dizier:
Towards an Error Correction Memory to Enhance Technical Texts Authoring in LELIE. - Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko:
CTL+FO Verification as Constraint Solving. - Pankaj K. Agarwal, Lars Arge, Thomas Mølhave, Morten Revsbæk, Jungwoo Yang:
Maintaining Contour Trees of Dynamic Terrains. - Dibya Jyoti Bora, Anil Kumar Gupta:
Impact of Exponent Parameter Value for the Partition Matrix on the Performance of Fuzzy C Means Algorithm. - Petros S. Bithas, Athanasios A. Rontogiannis:
Mobile Communication Systems in the Presence of Fading/Shadowing, Noise and Interference. - Grigori Fursin, Christophe Dubach:
Community-driven reviewing and validation of publications. - Michele Focchi, Gustavo A. Medrano-Cerda, Thiago Boaventura Cunha, Marco Frigerio, Claudio Semini, Jonas Buchli, Darwin G. Caldwell:
Robot Impedance Control and Passivity Analysis with Inner Torque and Velocity Feedback Loops. - A. C. Cem Say, Abuzer Yakaryilmaz:
Quantum finite automata: A modern introduction. - John Maheswaran, Daniel Jackowitz, David Isaac Wolinsky, Lining Wang, Bryan Ford:
Crypto-Book: Bootstrapping Privacy Preserving Online Identities from Social Networks. - Radu Curticapean:
Counting perfect matchings in graphs that exclude a single-crossing minor. - Aarne Ranta:
Embedded Controlled Languages. - Jonathan Charest, Jean-François Beaudoin, Jules Cadorette, Roger Lecomte, Charles-Antoine Brunet, Réjean Fontaine:
Automatic Channel Fault Detection and Diagnosis System for a Small Animal APD-Based Digital PET Scanner. - Francesco Dolce:
Regular Interval Exchange Transformations over a Quadratic Field. - Maël Le Treust:
Empirical Coordination for Joint Source-Channel Coding. - Leon Andretti Abdillah:
Social media as political party campaign in Indonesia. - Artem Melentyev:
Java Modular Extension for Operator Overloading. - Lane A. Hemaspaandra:
Beautiful Structures: An Appreciation of the Contributions of Alan Selman. - Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Zhen-Yong Fu, Tao Xiang, Shaogang Gong:
Semantic Graph for Zero-Shot Learning. - N. Md. Jubair Basha, Chandra Mohan:
A strategy to identify components using clustering approach for component reusability. - Le Thanh Tan, Long Bao Le:
Joint Cooperative Spectrum Sensing and MAC Protocol Design for Multi-channel Cognitive Radio Networks. - Daniele Rotolo, Loet Leydesdorff:
Matching MEDLINE/PubMed Data with Web of Science (WoS): A Routine in R-language. - Ahmed M. Alaa:
Band-Sweeping M-ary PSK (BS-M-PSK) Modulation and Transceiver Design. - Dóra Erdös, Vatche Ishakian, Azer Bestavros, Evimaria Terzi:
A Divide-and-Conquer Algorithm for Betweenness Centrality. - Christopher A. Metzler, Arian Maleki, Richard G. Baraniuk:
From Denoising to Compressed Sensing. - David Furcy, Scott M. Summers:
Scaled pier fractals do not strictly self-assemble. - Hung Hai Bui, Tuyen N. Huynh, David A. Sontag:
Lifted Tree-Reweighted Variational Inference. - Ryan Babbush, Vasil S. Denchev, Nan Ding, Sergei Isakov, Hartmut Neven:
Construction of non-convex polynomial loss functions for training a binary classifier with quantum annealing. - Pierre Bourreau, Thierry Poibeau:
Mapping the Economic Crisis: Some Preliminary Investigations. - Fabio Enrique Brochero Martínez:
Number of minimal cyclic codes with given length and dimension. - Shengcai Liao, Yang Hu, Stan Z. Li:
Joint Dimension Reduction and Metric Learning for Person Re-identification. - Shunyuan Ye, Yanming Shen, Shivendra S. Panwar:
Distributed Scheduling Algorithms for Crosspoint-Buffered Switches. - J. Eswari, S. Jeyadevi:
An Evolutionary Approach for Optimal Citing and Sizing of Micro-Grid in Radial Distribution Systems. - Shaull Almagor, Udi Boker, Orna Kupferman:
Discounting in LTL. - Luca Felicetti, Mauro Femminella, Gianluca Reali, Tadashi Nakano, Athanasios V. Vasilakos:
TCP-like molecular communications. - Toni Ernvall, Thomas Westerbäck, Camilla Hollanti:
Constructions of Optimal and Almost Optimal Locally Repairable Codes. - David Sánchez, Montserrat Batet:
C-sanitized: a privacy model for document redaction and sanitization. - Sudip Mittal, Ponnurangam Kumaraguru:
Broker Bots: Analyzing automated activity during High Impact Events on Twitter. - Andreja Cufar, Ales Mrhar, Marko Robnik-Sikonja:
Identifying roles of clinical pharmacy with survey evaluation. - Christopher Meiklejohn:
Vector Clocks in Coq: An Experience Report. - Adrien Gaidon, Gloria Zen, José A. Rodríguez-Serrano:
Self-Learning Camera: Autonomous Adaptation of Object Detectors to Unlabeled Video Streams. - Andre Manoel, Florent Krzakala, Eric W. Tramel, Lenka Zdeborová:
Sparse Estimation with the Swept Approximated Message-Passing Algorithm. - Garimella Rama Murthy:
Towards a theory of granular sets. - Jinming Wen, Dongfang Li, Fumin Zhu:
Stable Recovery of Sparse Signals via $l_p-$Minimization. - Enrique Orduña-Malea, Emilio Delgado López-Cózar:
The dark side of Open Access in Google and Google Scholar: the case of Latin-American repositories. - Jinming Wen, Xiaomei Zhu, Dongfang Li:
Improved Bounds on the Restricted Isometry Constant for Orthogonal Matching Pursuit. - Daniel Gonçalves, Mickaël Montassier, Alexandre Pinlou:
Entropy compression method applied to graph colorings. - Daniele Zonetti, Romeo Ortega, Abdelkrim Benchaib:
Modeling and Control of High-Voltage Direct-Current Transmission Systems: From Theory to Practice and Back. - Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
On MITL and alternating timed automata over infinite words. - Stefano Rosati, Karol Kruzelecki, Gregoire Heitz, Dario Floreano, Bixio Rimoldi:
Dynamic Routing for Flying Ad Hoc Networks. - Joaquim Borges, Cristina Fernández-Córdoba, Roger Ten-Valls:
Z2Z4-additive cyclic codes, generator polynomials and dual codes. - Keum-Bae Cho:
The number system hidden inside the Boolean satisfiability problem. - Ziming Zhang, Venkatesh Saligrama:
Person Re-identification via Structured Prediction. - Pedro Girão Antunes, David Martins de Matos, Ricardo Ribeiro, Isabel Trancoso:
Automatic Fado Music Classification. - Farzaneh Farhadi, Farid Ashtiani:
Stability Region of a Slotted Aloha Network with K-Exponential Backoff. - Shanfei Li:
An Improved Approximation Algorithm for the Hard Uniform Capacitated k-median Problem. - Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
Teaching Software Engineering through Robotics. - Erfan Khaji:
Soccer League Optimization: A heuristic Algorithm Inspired by the Football System in European Countries. - Yeon-Sup Lim, Yung-Chih Chen, Erich M. Nahum, Don Towsley, Richard J. Gibbens:
Improving Energy Efficiency of MPTCP for Mobile Devices. - Yaru Fan, Yilun Wang, Ting-Zhu Huang:
Multi-stage Multi-task feature learning via adaptive threshold. - Santiago Segarra, Mark Eisen, Alejandro Ribeiro:
Authorship Attribution through Function Word Adjacency Networks. - Giorgio Valentini:
Notes on hierarchical ensemble methods for DAG-structured taxonomies. - Juan Tang, Wenyuan Wu, Xiaolin Qin, Yong Feng:
Structural index reduction algorithms for differential algebraic equations via fixed-point iteration. - Erik Cuevas:
Block matching algorithm based on Harmony Search optimization for motion estimation. - Hugo Méric, José M. Piquer, Jérôme Lacan:
Quasi-optimal grouping for broadcast systems with hierarchical modulation. - Mohamed-Lamine Messai:
Classification of Attacks in Wireless Sensor Networks. - Erfan Khaji, Amin Satlikh Mohammadi:
A Heuristic Method to Generate Better Initial Population for Evolutionary Methods. - Edwin A. Henneken, Alberto Accomazzi, Michael J. Kurtz, Carolyn Stern-Grant, Donna M. Thompson, Jay Luker, Roman Chyla, Alexandra Holachek, Stephen S. Murray:
Computing and Using Metrics in the ADS. - Claude Carlet, Finley Freibert, Sylvain Guilley, Michael Kiermaier, Jon-Lark Kim, Patrick Solé:
Higher-order CIS codes. - Mo Ghorbanzadeh, Ahmed Abdel-Hadi, Charles Clancy:
Implementing an Optimal Rate Allocation Tuned to the User Quality of Experience. - Furong Huang, U. N. Niranjan, Animashree Anandkumar:
Integrated Structure and Parameters Learning in Latent Tree Graphical Models. - Xiwang Cao, Lei Hu:
Two Boolean functions with five-valued Walsh spectra and high nonlinearity. - Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. - Margreta Kuijper, Anna-Lena Trautmann:
Gröbner Bases for Linearized Polynomials. - Reza Rafie Borujeny, Moslem Noori, Masoud Ardakani:
On the Achievable Rates of Pairwise Multiway Relay Channels. - Alexandre Adrien Chotard, Martin Holena:
A Generalized Markov-Chain Modelling Approach to (1,λ)-ES Linear Optimization: Technical Report. - Renaud Henry, Damien Chablat, Mathieu Porez, Frédéric Boyer, Daniel Kanaan:
Multi-Objective Design Optimization of the Leg Mechanism for a Piping Inspection Robot. - Ravi Khatwal, Manoj Kumar Jain:
An Efficient Synchronous Static Memory design for Embedded System. - Han Zhao, Pascal Poupart:
A Sober Look at Spectral Learning. - Kleanthis Thramboulidis:
Comments on "A model-based design methodology for the development of mechatronic systems". - Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann:
Optimal Strategy Synthesis for Request-Response Games. - Christoph Berkholz:
The Propagation Depth of Local Consistency. - Parul Kashyap, Rahul Singh:
Crypto multi tenant: an environment of secure computing using cloud sql. - Xu Sun:
Exact Decoding on Latent Variable Conditional Models is NP-Hard. - Nadhir Ben Rached, Fatma Benkhelifa, Abla Kammoun, Mohamed-Slim Alouini, Raúl Tempone:
A Fast Simulation Method for the Sum of Subexponential Distributions. - Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings II: possessive relative pronouns. - Petra Heck, Andy Zaidman:
A Quality Framework for Agile Requirements: A Practitioner's Perspective. - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Classifying and Propagating Parity Constraints (extended version). - Rahul R. Lanjewar, Dattatraya S. Adane:
Comparative Study of MAC Layer Protocols in Wireless Sensor Networks: A Survey. - Christian Retoré:
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). - Virendra Sule:
An algorithm for Boolean satisfiability based on generalized orthonormal expansion. - Jannis Bulian, Anuj Dawar:
Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree. - Kaiming He, Xiangyu Zhang, Shaoqing Ren, Jian Sun:
Spatial Pyramid Pooling in Deep Convolutional Networks for Visual Recognition. - Giuseppe Cocco, Stephan Pfletschinger, Mònica Navarro:
Seek and Decode: Random Access with Physical-Layer Network Coding and Multiuser Detection. - Sanjay Chakraborty, Naresh Kumar Nagwani:
Performance Evaluation of Incremental K-means Clustering Algorithm. - Sanjay Majumder, Sanjay Chakraborty, Suman Das:
A New Advanced User Authentication and Confidentiality Security Service. - Sanjay Chakraborty, Naresh Kumar Nagwani, Lopamudra Dey:
Performance Comparison of Incremental K-means and Incremental DBSCAN Algorithms. - Sanjay Chakraborty, Naresh Kumar Nagwani:
Analysis and Study of Incremental DBSCAN Clustering Algorithm. - Sanjay Chakraborty, Naresh Kumar Nagwani, Lopamudra Dey:
Weather Forecasting using Incremental K-means Clustering. - Anthony J. Bagnall, Jason Lines:
An Experimental Evaluation of Nearest Neighbour Time Series Classification. - I. Laurence Aroquiaraj, K. Thangavel:
Mass Classification Method in Mammogram Using Fuzzy K-Nearest Neighbour Equality. - Yi Sun, Xiaogang Wang, Xiaoou Tang:
Deep Learning Face Representation by Joint Identification-Verification. - Andrea Montanari, Emile Richard:
Non-negative Principal Component Analysis: Message Passing Algorithms and Sharp Asymptotics. - Anthony J. Bagnall, Luke M. Davis:
Predictive Modelling of Bone Age through Classification and Regression of Bone Shapes. - Barbara König, Jan Stückrath:
A General Framework for Well-Structured Graph Transformation Systems. - Glenn Lawyer:
Technical Report: Performance of the Expected Force on AS-level Inernet topologies. - Martin Groß, Martin Skutella:
A tight bound on the speed-up through storage for quickest multi-commodity flows. - Charles Soussen, Jérôme Idier, Junbo Duan, David Brie:
ℓ2-ℓ0 regularization path tracking algorithms. - Deepshree A. Vadeyar, Yogish H. K:
Reorganization of Links to Improve User Navigation. - Michael X. Zhou:
A benchmark generator for boolean quadratic programming. - Aruni Choudhary, Michael Kerber:
Local Doubling Dimension of Point Sets. - Exequiel Rivas, Mauro Jaskelioff:
Notions of Computation as Monoids. - (Withdrawn) What is India speaking: The "Hinglish" invasion.
- Yong Tan:
Analyzing Traffic Problem Model With Graph Theory Algorithms. - Zack Fitzsimmons:
Single-Peaked Consistency for Weak Orders Is Easy. 127-140 - Michael J. Kearns, Lili Dworkin:
A Computational Study of Feasible Repackings in the FCC Incentive Auctions. - David Castells-Rufas, Jordi Carrabina, Pablo González de Aledo Marugán, Pablo Sánchez Espeso:
Fast Trace Generation of Many-Core Embedded Systems with Native Simulation. - Adeel Akbar Memon, Chengliang Wang, Muhammad Rashid Naeem, Muhammad Tahir, Muhammad Aamir:
A New Web Based Student Annual Review Information System (SARIS) With Student Success Prediction. - Siddhartha Sarma, Samar Agnihotri, Joy Kuri:
Beam-forming for Secure Communication in Amplify-and-Forward Networks: An SNR based approach. - Diego Sebastián Pérez, Facundo Bromberg, Francisco Gonzalez Antivilo:
Low Cost, High Precision, Autonomous Measurement of Trunk Diameter based on Computer Vision. - Iwan M. Duursma:
Outer bounds for exact repair codes. - Francisco Raposo, Ricardo Ribeiro, David Martins de Matos:
On the Application of Generic Summarization Algorithms to Music. - Ovidiu-Andrei Schipor, Titus-Marian Nestor:
Automat Parsing of Audio Recordings. Testing Children with Dyslalia. Theoretical Background. - Ovidiu-Andrei Schipor, Stefan Gheorghe Pentiuc, Maria-Doina Schipor:
Architecture of a Fuzzy Expert System Used for Dyslalic Children Therapy. - Ovidiu-Andrei Schipor, Stefan Gheorghe Pentiuc, Doina-Maria Schipor:
Knowledge Base of an Expert System Used for Dyslalic Children Therapy. - Roger Frigola, Yutian Chen, Carl E. Rasmussen:
Variational Gaussian Process State-Space Models. - Joongheon Kim, Andreas F. Molisch, Giuseppe Caire:
Max-Weight Scheduling and Quality-Aware Streaming for Device-to-Device Video Delivery. - Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Albert Reuther, Antonio Rosa, Charles Yee:
Achieving 100, 000, 000 database inserts per second using Accumulo and D4M. - Ming Lei, Mohammad Reza Soleymani:
Diversity Multiplexing Tradeoff of the Half-duplex Slow Fading Multiple Access Channel based on Generalized Quantize-and-Forward Scheme. - Tapalina Bhattasali, Rituparna Chaki, Nabendu Chaki:
Study of Security Issues in Pervasive Environment of Next Generation Internet of Things. - Siddharth Pritam:
"Infographics" team: Selecting Control Parameters via Maximal Fisher Information. - Leon Andretti Abdillah:
IT based social media impacts on Indonesian general legislative elections 2014. - Sukru Burc Eryilmaz, Duygu Kuzum, Rakesh Gnana David Jeyasingh, SangBum Kim, Matthew BrightSky, Chung Lam, H.-S. Philip Wong:
Brain-like associative learning using a nanoscale non-volatile phase change synaptic device array. - Chao Du, Jingdong Wang:
Inner Product Similarity Search using Compositional Codes. - Tiphaine Viard, Matthieu Latapy:
Identifying roles in an IP network with temporal and structural density. - Gaétan Marceau, Marc Schoenauer:
Racing Multi-Objective Selection Probabilities. - Adam Barker, Blesson Varghese, Jonathan Stuart Ward, Ian Sommerville:
Academic Cloud Computing Research: Five Pitfalls and Five Opportunities.