


default search action
CoRR, January 2017
- Massimiliano Dal Mas:
Digital Advertising Traffic Operation: Machine Learning for Process Discovery. - Kostas Alexis:
Technical Report: Optimal Surveillance of Dynamic Parades using Teams of Aerial Robots. - R. A. Borsoi, Julio Cesar Ceballos Aya, Guilherme Holsbach Costa, José C. M. Bermudez:
Super-Resolution Reconstruction of Electrical Impedance Tomography Images. - Emmanuel N. Osegi:
p-DLA: A Predictive System Model for Onshore Oil and Gas Pipeline Dataset Classification and Monitoring - Part 1. - Dietmar Fey:
Evaluating Ternary Adders using a hybrid Memristor / CMOS approach. - Sree Harsha Ramesh, Raveena R. Kumar:
A POS Tagger for Code Mixed Indian Social Media Text - ICON-2016 NLP Tools Contest Entry from Surukam. - Jeevan Joishi, Ashish Sureka:
Graph or Relational Databases: A Speed Comparison for Process Mining Algorithm. - Theodosis Mourouzis, Marcin Wójcik, Nikos Komninos
:
On The Security Evaluation of Partial Password Implementations. - Ashish Sureka:
Parichayana: An Eclipse Plugin for Detecting Exception Handling Anti-Patterns and Code Smells in Java Programs. - Ivan Svogor:
An initial performance review of software components for a heterogeneous computing platform. - Ivan Svogor, Jan Carlson:
SCALL: Software Component Allocator for Heterogeneous Embedded Systems. - Jun Suzuki, Masaaki Nagata:
RNN-based Encoder-decoder Approach with Word Frequency Estimation. - Helge Rhodin, Christian Richardt, Dan Casas, Eldar Insafutdinov, Mohammad Shafiei, Hans-Peter Seidel, Bernt Schiele, Christian Theobalt:
EgoCap: Egocentric Marker-less Motion Capture with Two Fisheye Cameras (Extended Abstract). - Silvio Amir, Ramón Fernandez Astudillo, Wang Ling, Paula C. Carvalho
, Mário J. Silva:
Expanding Subjective Lexicons for Social Media Mining with Embedding Subspaces. - Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Pasin Manurangsi, Anak Yodpinyanee:
Even 1×n Edge-Matching and Jigsaw Puzzles are Really Hard. - Sibylle Schwarz, Janis Voigtländer
:
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. EPTCS 234, 2017 [contents] - Yassine Maleh, Abdellah Ezzati:
Study and Development of a New Symmetric Key Management Scheme for Wireless Sensor Networks. - Ian J. Goodfellow:
NIPS 2016 Tutorial: Generative Adversarial Networks. - Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang:
Abstracting Event-Driven Systems with Lifestate Rules. - Amit Shaked, Lior Wolf:
Improved Stereo Matching with Constant Highway Networks and Reflective Confidence Learning. - Jan Snajder:
Social Media Argumentation Mining: The Quest for Deliberateness in Raucousness. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:
Tree segmentation in multi-story stands within small-footprint airborne LiDAR data. - Pierre-André G. Maugis, Sofia C. Olhede, Patrick J. Wolfe:
Fast counting of medium-sized rooted subgraphs. - Vikram Krishnamurthy:
POMDP Structural Results for Controlled Sensing. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:
A scalable approach for tree segmentation within small-footprint airborne LiDAR data. - Jiaming Xu, Bo Xu, Peng Wang, Suncong Zheng, Guanhua Tian, Jun Zhao:
Self-Taught Convolutional Neural Networks for Short Text Clustering. - Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki:
Packet Latency of Deterministic Broadcasting in Adversarial Multiple Access Channels. - Yuan Zhang, Regina Barzilay, Tommi S. Jaakkola:
Aspect-augmented Adversarial Networks for Domain Adaptation. - Hao Liu, Zequn Jie, Jayashree Karlekar, Meibin Qi, Jianguo Jiang, Shuicheng Yan, Jiashi Feng:
Video-based Person Re-identification with Accumulative Motion Context. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:
A robust approach for tree segmentation in deciduous forests using small-footprint airborne LiDAR data. - Kodzo Wegba, Aidong Lu, Yuemeng Li, Wencheng Wang:
Interactive Movie Recommendation Through Latent Semantic Analysis and Storytelling. - Tao Han, Guoqiang Mao, Qiang Li, Lijun Wang, Jing Zhang:
Interference Minimization in 5G Heterogeneous Networks. - Hassan Khodaiemehr, Dariush Kiani:
Construction and Encoding of QC-LDPC Codes Using Group Rings. - Andrey Finkelstein, Ron Biton, Rami Puzis, Asaf Shabtai:
Classification of Smartphone Users Using Internet Traffic. - Carsten Rösnick-Neugebauer:
Closed Sets and Operators thereon: Representations, Computability and Complexity. - Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents] - Jingjing Wang, Chunxiao Jiang, Haijun Zhang, Yong Ren, Victor C. M. Leung:
Aggressive Congestion Control Mechanism for Space Systems. - Jingjing Wang, Chunxiao Jiang, Zhi Bie, Tony Q. S. Quek, Yong Ren:
Mobile Data Transactions in Device-to-Device Communication Networks: Pricing and Auction. - Jingjing Wang, Chunxiao Jiang, Longxiang Gao, Shui Yu
, Zhu Han, Yong Ren:
Complex Network Theoretical Analysis on Information Dissemination over Vehicular Networks. - Tingwu Wang, Jian Wang, Chunxiao Jiang, Jingjing Wang, Yong Ren:
Access Strategy in Super WiFi Network Powered by Solar Energy Harvesting: A POMDP Method. - Hongwei Liu, Youcef Maouche:
Some Repeated-Root Constacyclic Codes over Galois Rings. - Tony T. Luo, Salil S. Kanhere, Jianwei Huang, Sajal K. Das, Fan Wu:
Sustainable Incentives for Mobile Crowdsensing. - Jiashi Feng, Huan Xu, Shie Mannor:
Outlier Robust Online Learning. - Arman Shojaeifard, Kai-Kit Wong, Marco Di Renzo, Gan Zheng, Khairi Ashour Hamdi, Jie Tang:
Self-Interference in Full-Duplex Multi-User MIMO Channels. - Ernst-Erich Doberkat:
Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. - Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
STRIPS Planning in Infinite Domains. - David J. P. O'Sullivan, Guillermo Garduño-Hernández, James P. Gleeson, Mariano Beguerisse-Díaz:
Integrating sentiment and social structure to determine preference alignments: The Irish Marriage Referendum. - José Naranjo-Torres, Juliana Gambini, Alejandro C. Frery:
The Geodesic Distance between GI0 Models and its Application to Region Discrimination. - Denis Tomè, Chris Russell, Lourdes Agapito:
Lifting from the Deep: Convolutional 3D Pose Estimation from a Single Image. - Mustafa A. Kishk, Harpreet S. Dhillon:
Stochastic Geometry-based Comparison of Secrecy Enhancement Techniques in D2D Networks. - Lanlan Liu, Jia Deng:
Dynamic Deep Neural Networks: Optimizing Accuracy-Efficiency Trade-offs by Selective Execution. - Carlos E. Frasser:
Topological Analysis and Synthesis of Structures related to Certain Classes of K-Geodetic Computer Networks. - Arthur Milchior:
(Quasi-)linear time algorithm to compute LexDFS, LexUP and LexDown orderings. - Fazel Sharifi, Atiyeh Panahi, Mohammad Hossein Moaiyeri, Keivan Navi:
High Performance CNFET-based Ternary Full Adders. - Endre T. Somogyi, James A. Glazier:
A modeling and simulation language for biological cells with coupled mechanical and chemical processes. - Walid Shalaby, Wlodek Zadrozny:
Patent Retrieval: A Literature Review. - Carlos Oscar Sánchez Sorzano, José María Carazo:
Challenges ahead Electron Microscopy for Structural Biology from the Image Processing point of view. - Wen Sun, Véronique Simon, Sébastien Monnet, Philippe Robert, Pierre Sens:
Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach. - Rohitash Chandra:
An affective computational model for machine consciousness. - Kaveh Khoshkhah, Dirk Oliver Theis:
Fooling Sets and the Spanning Tree Polytope. - Seunghoon Hong, Donghun Yeo, Suha Kwak, Honglak Lee, Bohyung Han:
Weakly Supervised Semantic Segmentation using Web-Crawled Videos. - Matthew Kokshoorn, He Chen, Yonghui Li, Branka Vucetic:
Beam-On-Graph: Simultaneous Channel Estimation in Multi-user Millimeter Wave MIMO Systems. - Zhinan Xu, Markus Hofer, Thomas Zemen:
A time-variant channel prediction and feedback framework for interference alignment. - Feiping Nie, Rui Zhang, Xuelong Li:
A generalized power iteration method for solving quadratic problem on the Stiefel manifold. - Adnan Ashraf, Ivan Porres:
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. - Chathura M. Sarathchandra Magurawalage, Kun Yang, Patrik Ritosa, Michael Georgiades, Kezhi Wang:
A Resource Management Protocol for Mobile Cloud Using Auto-Scaling. - Christoph Böddeker, Patrick Hanebrink, Lukas Drude, Jahn Heymann, Reinhold Haeb-Umbach:
On the Computation of Complex-valued Gradients with Application to Statistically Optimum Beamforming. - Clément Pernet, Arne Storjohann:
Time and space efficient generators for quasiseparable matrices. - Omar Boussaïd, Jérôme Darmont
, Fadila Bentayeb, Sabine Loudcher
:
Warehousing complex data from the Web. - Jérôme Darmont
, Fadila Bentayeb, Omar Boussaïd:
Benchmarking data warehouses. - Zhen He, Jérôme Darmont
:
Evaluating the Dynamic Behavior of Database Applications. - Yassine Maleh, Abdellah Ezzati:
Study and Development of a Symmetric protocol to secure communications in WSN. - V. S. R. Veeravasarapu, Constantin A. Rothkopf, Visvanathan Ramesh:
Adversarially Tuned Scene Generation. - Róbert Pálovics, András A. Benczúr:
Raising Graphs From Randomness to Reveal Information Networks. - Alexandre Decan, Mathieu Goeminne, Tom Mens:
On the Interaction of Relational Database Access Technologies in Open Source Java Projects. - Kevin Byron, Jason T. L. Wang:
A Computational Approach to Finding RNA Tertiary Motifs in Genomic Sequences. - David Sánchez, Montserrat Batet:
Toward sensitive document release with privacy guarantees. - Arun V. Mahadev, Dominik Krupke, Jan-Marc Reinhardt, Sándor P. Fekete, Aaron T. Becker:
Collecting a Swarm in a Grid Environment Using Shared, Global Inputs. - Morteza Babaie, Hamid R. Tizhoosh, Shujin Zhu, Mohammad Ebrahim Shiri:
Retrieving Similar X-Ray Images from Big Image Data Using Radon Barcodes with Single Projections. - Chun-Chen Liu, Oscar Lau, Jason Y. Du:
Complete DFM Model for High-Performance Computing SoCs with Guard Ring and Dummy Fill Effect. - Antonio Lieto, Antonio Chella, Marcello Frixione:
Conceptual Spaces for Cognitive Architectures: A Lingua Franca for Different Levels of Representation. - Ghasem Alikhajeh, Abdolreza Mirzaei, Mehran Safayani, Meysam Ghaffari:
Duplicate matching and estimating features for detection of copy-move images forgery. - Sudarshan Guruacharya, Hina Tabassum, Ekram Hossain:
SINR Outage Evaluation in Cellular Networks: Saddle Point Approximation (SPA) Using Normal Inverse Gaussian (NIG) Distribution. - Wenjia Meng, Zonghua Gu, Ming Zhang, Zhaohui Wu:
Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices. - Berrie van der Molen, Lars Buitinck, Toine Pieters:
The leveled approach. Using and evaluating text mining tools AVResearcherXL and Texcavator for historical research on public perceptions of drugs. - Ariel Ephrat, Shmuel Peleg:
Vid2speech: Speech Reconstruction from Silent Video. - George M. Slota, Sivasankaran Rajamanickam, Kamesh Madduri:
Distributed Graph Layout for Scalable Small-world Network Analysis. - Peter Krejzl, Barbora Hourová, Josef Steinberger:
Stance detection in online discussions. - Iddan Golomb, Christos Tzamos:
Truthful Facility Location with Additive Errors. - (Withdrawn) Extended Formulations for Polytopes of Regular Matroids.
- Kun He, Mohammed Dosh, Shenghao Zou:
Packing Unequal Circles into a Square Container by Partitioning Narrow Action Spaces and Circle Items. - Sabeur Aridhi, Alberto Montresor, Yannis Velegrakis:
BLADYG: A Graph Processing Framework for Large Dynamic Graphs. - Carlos Barrón-Romero:
Discrete Optimal Global Convergence of an Evolutionary Algorithm for Clusters under the Potential of Lennard Jones. - Xinyu Wang, Hanxi Li, Yi Li, Fumin Shen, Fatih Porikli:
Robust and Real-time Deep Tracking Via Multi-Scale Domain Adaptation. - Shi-Xiong Zhang, Zhuo Chen, Yong Zhao, Jinyu Li, Yifan Gong:
End-to-End Attention based Text-Dependent Speaker Verification. - Gonzalo H. Otazu
:
Robust method for finding sparse solutions to linear inverse problems using an L2 regularization. - Huijia Wu, Jiajun Zhang, Chengqing Zong:
Shortcut Sequence Tagging. - Saeid Hosseini, Hongzhi Yin, Xiaofang Zhou, Shazia Sadiq:
Leveraging Multi-aspect Time-related Influence in Location Recommendation. - Karamjit Singh, Garima Gupta, Lovekesh Vig, Gautam Shroff, Puneet Agarwal:
Deep Convolutional Neural Networks for Pairwise Causality. - Naoya Takahashi, Michael Gygli, Luc Van Gool:
AENet: Learning Deep Audio Features for Video Analysis. - Shuai Li:
Akid: A Library for Neural Network Research and Production from a Dataism Approach. - Gangan Prathap:
Citation indices and dimensional homogeneity. - Dietmar Seipel:
Knowledge Engineering for Hybrid Deductive Databases. 1-12 - Stefan Brass, Heike Stephan:
Bottom-Up Evaluation of Datalog: Preliminary Report. 13-26 - Marija Kulas
:
A Practical View on Renaming. 27-41 - Falco Nogatz, Dietmar Seipel:
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. 42-56 - Stefan Brass, Heike Stephan:
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. 57-72 - Sebastian Krings
, Michael Leuschel:
Constraint Logic Programming over Infinite Domains with an Application to Proof. 73-87 - Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro:
Source Code Verification for Embedded Systems using Prolog. 88-103 - Michael Hanus
, Julia Krone:
A Typeful Integration of SQL into Curry. 104-119 - María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
:
A Simulation Tool for tccp Programs. 120-134 - Jason Hemann
, Daniel P. Friedman:
A Framework for Extending microKanren with Constraints. 135-149 - Baltasar Trancón y Widemann
, Markus Lepper:
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. 150-164 - Lukas Immanuel Schiller:
An Agglomeration Law for Sorting Networks and its Application in Functional Programming. 165-179 - Sergio Antoy, Michael Hanus
, Steven Libby:
Proving Non-Deterministic Computations in Agda. 180-195 - Ken-etsu Fujita:
On Upper Bounds on the Church-Rosser Theorem. 16-31 - Karl Gmeiner:
Confluence of Conditional Term Rewrite Systems via Transformations. 32-45 - Yutaro Nagae, Masahiko Sakai
, Hiroyuki Seki:
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. 46-61 - Nils Dallmeyer, Manfred Schmidt-Schauß
:
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. 78-92 - Dajian Li, Paul Weng, Orkun Karabasoglu:
Finding Risk-Averse Shortest Path with Time-dependent Stochastic Costs. - Chung Duc Ho, Hien Quoc Ngo, Michail Matthaiou, Trung Quang Duong:
On the Performance of Zero-Forcing Processing in Multi-Way Massive MIMO Relay Networks. - Paul Weng:
From Preference-Based to Multiobjective Sequential Decision-Making. - Beniamino Accattoli:
The Complexity of Abstract Machines. 1-15 - Ryota Nakayama, Naoki Nishida, Masahiko Sakai
:
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems. 62-77 - Aleks Kissinger
, Sander Uijlen:
Picturing Indefinite Causal Structure. 87-94 - Dan Marsden:
Ambiguity and Incomplete Information in Categorical Models of Language. 95-107 - Matthias Vestner, Roee Litman, Emanuele Rodolà, Alexander M. Bronstein, Daniel Cremers:
Product Manifold Filter: Non-Rigid Shape Correspondence via Kernel Density Estimation in the Product Space. - Mark de Berg:
Removing Depth-Order Cycles Among Triangles: An Efficient Algorithm Generating Triangular Fragments. - Christopher Robert Anderson, Richard K. Martin, T. Owens Walker, Ryan W. Thomas:
Radio Tomography for Roadside Surveillance. - Xiaolin Huang, Yan Xia, Lei Shi, Yixing Huang, Ming Yan, Joachim Hornegger, Andreas K. Maier:
Mixed one-bit compressive sensing with applications to overexposure correction for CT reconstruction. - Karl Schlechta:
A pre-semantics for counterfactual conditionals and similar logics. - Ankita Mangal, Nishant Kumar:
Using Big Data to Enhance the Bosch Production Line Performance: A Kaggle Challenge. - P. A. CrowdMath:
Bounds on parameters of minimally non-linear patterns. - Laslo Hunhold
:
The Unum Number Format: Mathematical Foundations, Implementation and Comparison to IEEE 754 Floating-Point Numbers. - Zhiyuan Zha, Xinggan Zhang, Qiong Wang, Yechao Bai, Lan Tang:
Image denoising using group sparsity residual and external nonlocal self-similarity prior. - Pashutan Modaresi, Philipp Gross, Siavash Sefidrodi, Mirja Eckholf, Stefan Conrad:
On (Commercial) Benefits of Automatic Text Summarization Systems in the News Domain: A Case of Media Monitoring and Media Response Analysis.