Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, September 2016
- Gordon A. Christie, Adam Shoemaker, Kevin Kochersberger, Pratap Tokekar, Lance McLean, Alexander Leonessa:
Radiation Search Operations using Scene Understanding with Autonomous UAV and UGV.
- Marcello Balduccini, Daniele Magazzeni, Marco Maratea:
PDDL+ Planning via Constraint Answer Set Programming. - Agne Grinciunaite, Amogh Gudi, H. Emrah Tasli, Marten den Uyl:
Human Pose Estimation in Space and Time using 3D CNN. - Greg Wilson, Jennifer Bryan, Karen Cranston, Justin Kitzes, Lex Nederbragt, Tracy K. Teal:
Good Enough Practices in Scientific Computing. - Cong Zhang, Jiangchuan Liu, Haiyang Wang:
Towards Hybrid Cloud-assisted Crowdsourced Live Streaming: Measurement and Analysis. - Joel A. Tropp, Alp Yurtsever, Madeleine Udell, Volkan Cevher:
Randomized single-view algorithms for low-rank matrix approximation. - Yue Chen, Ana Busic, Sean P. Meyn:
Estimation and Control of Quality of Service in Demand Dispatch. - Laura Rebollo-Neira, Pradip Sasmal:
Low memory implementation of Orthogonal Matching Pursuit like greedy algorithms: Analysis and Applications. - (Withdrawn) Team Optimal Decentralized Control of System with Partially Exchangeable Agents-Part 1: Linear Quadratic Mean-Field Teams.
- Wanchun Liu, Kaibin Huang, Xiangyun Zhou, Salman Durrani:
Full-Duplex Backscatter Interference Networks Based on Time-Hopping Spreading Spectrum. - Arun Tejasvi Chaganty, Percy Liang:
How Much is 131 Million Dollars? Putting Numbers in Perspective with Compositional Descriptions. - Siavash Gorji, James J. Clark:
Attentional Push: Augmenting Salience with Shared Attention Modeling. - Jianyu Huang, Robert A. van de Geijn:
BLISlab: A Sandbox for Optimizing GEMM. - Tanmoy Chakraborty, Ramasuri Narayanam:
All Fingers are not Equal: Intensity of References in Scientific Articles. - Rajasekar Venkatesan, Meng Joo Er:
A novel progressive learning technique for multi-class classification. - Rajasekar Venkatesan, Meng Joo Er, Mihika Dave, Mahardhika Pratama, Shiqian Wu:
A novel online multi-label classifier for high-speed streaming data applications. - Xin Huang, Laks V. S. Lakshmanan:
Attribute Truss Community Search. - Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan:
Approximate Bisimulation and Discretization of Hybrid CSP. - Tran Hiep Dinh, Minh-Trien Pham, Manh Duong Phung, Duc Manh Nguyen, Van Manh Hoang, Quang Vinh Tran:
Image segmentation based on histogram of depth and an application in driver distraction detection. - Zhiyong Shan, Bin Liao:
Design and Implementation of A Network Security Management System. - Zhiyong Shan:
Suspicious-Taint-Based Access Control for Protecting OS from Network Attacks. - Justin Grana, David H. Wolpert, Joshua Neil, Dongping Xie, Tanmoy Bhattacharya, Russell Bent:
A Likelihood Ratio Detector for Identifying Within-Perimeter Computer Network Attacks. - Nathan O. Hodas, Ryan Butner, Courtney D. Corley:
How a user's personality influences content engagement in social media. - Hiroki Osawa, Akira Suzuki, Takehiro Ito, Xiao Zhou:
The Complexity of (List) Edge-Coloring Reconfiguration Problem. - Hector Zenil, Fernando Soler-Toscano, Narsis Aftab Kiani, Santiago Hernández-Orozco, Antonio Rueda-Toicen:
A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. - Nicholas Guttenberg, Martin Biehl
, Ryota Kanai:
Neural Coarse-Graining: Extracting slowly-varying latent degrees of freedom with neural networks. - Katsumi Kumai, Yuhki Shiraishi, Jianwei Zhang, Hiroyuki Kitagawa, Atsuyuki Morishima:
Group Rotation Type Crowdsourcing. - Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis:
An algebra of synchronous atomic steps. - Christoph Meier, Wolfgang A. Wall, Alexander Popp:
Geometrically Exact Finite Element Formulations for Curved Slender Beams: Kirchhoff-Love Theory vs. Simo-Reissner Theory. - Radhika Sukapuram, Gautam Barua:
PPCU: Proportional Per-packet Consistent Updates for Software Defined Networks - A Technical Report. - Michael Opitz, Georg Waltner, Georg Poier, Horst Possegger, Horst Bischof:
Grid Loss: Detecting Occluded Faces. - Roberto Rigamonti, Baptiste Delporte, Anthony Convers, Alberto Dassatti:
Transparent Live Code Offloading on FPGA. - Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri:
Axiomatization of if-then-else over possibly non-halting programs and tests. - Sofia Belikovetsky, Mark Yampolskiy, Jinghui Toh, Yuval Elovici:
dr0wned - Cyber-Physical Attack with Additive Manufacturing. - Yahia Alghorani, Georges Kaddoum, Sami Muhaidat, Samuel Pierre, Naofal Al-Dhahir:
On the Performance of Multihop-Intervehicular Communications Systems over n*Rayleigh Fading Channels. - Valeria Fionda, Giuseppe Pirrò:
From Community Detection to Community Deception. - Mohammad Norouzi, Samy Bengio, Zhifeng Chen, Navdeep Jaitly, Mike Schuster, Yonghui Wu, Dale Schuurmans:
Reward Augmented Maximum Likelihood for Neural Structured Prediction. - Riccardo Longo, Massimiliano Sala, Riccardo Aragona:
Several Proofs of Security for a Tokenization Algorithm. - Zhe Wang, Limin Wang, Yali Wang, Bowen Zhang, Yu Qiao:
Weakly Supervised PatchNets: Describing and Aggregating Local Patches for Scene Recognition. - Frédéric Prost, Jisang Yoon:
Parallel Clustering of Graphs for Anonymization and Recommender Systems. - Limin Wang, Zhe Wang, Yu Qiao, Luc Van Gool:
Transferring Object-Scene Convolutional Neural Networks for Event Recognition in Still Images. - Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham:
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). - Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres:
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. - Lauri Ahonen, Benjamin Ultan Cowley:
A short review and primer on electroencephalography in human computer interaction applications. - Andrew Thangaraj:
Dual Capacity Upper Bounds for Noisy Runlength Constrained Channels. - Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke:
Designing a semantic model for a wide-spectrum language with concurrency. - Angelos Valsamis, Konstantinos Tserpes, Dimitrios Zissis, Dimosthenis Anagnostopoulos, Theodora A. Varvarigou:
Employing traditional machine learning algorithms for big data streams analysis: the case of object trajectory prediction. - Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman:
Separability of Reachability Sets of Vector Addition Systems. - Giovanni Cuffaro, Federico Becattini, Claudio Baecchi, Lorenzo Seidenari, Alberto Del Bimbo:
Segmentation Free Object Discovery in Video. - Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot:
Ternary Neural Networks for Resource-Efficient AI Applications. - Xiaowen Tian, Ming Li, Qian Liu:
Random-Training-Assisted Pilot Spoofing Detection and Secure Transmission. - Clément L. Canonne, Elena Grigorescu, Siyao Guo, Akash Kumar, Karl Wimmer:
Testing k-Monotonicity. - Adam Bates, Kevin R. B. Butler, Alin Dobra, Bradley Reaves, Patrick T. Cable II, Thomas Moyer, Nabil Schear:
Retrofitting Applications with Provenance-Based Security Monitoring. - Arsalan Mousavian, Jana Kosecka:
Semantic Image Based Geolocation Given a Map. - Dwaipayan Mukherjee, Daniel Zelazo:
Consensus over Weighted Directed Graphs: A Robustness Perspective. - Xi-Zhu Wu, Zhi-Hua Zhou:
A Unified View of Multi-Label Performance Measures. - Zdenek Prusa, Péter Balázs, Peter L. Søndergaard:
A Non-iterative Method for (Re)Construction of Phase from STFT Magnitude. - Yao-Xiang Ding, Zhi-Hua Zhou:
Crowdsourcing with Unsure Option. - Arun I. B, T. G. Venkatesh, Bhasker Dappuri:
QoS Provisioning with Adaptive Backoff Algorithm for IEEE 802.11ac Under Multipacket Reception. - Ruxandra Bobiti, Mircea Lazar:
Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems. - Milad Hashemi:
On-Chip Mechanisms to Reduce Effective Memory Access Latency. - Francisco Javier López-Martínez, José F. Paris, Juan Manuel Romero-Jerez:
The κ-μ Shadowed Fading Model with Integer Fading Parameters. - Thomas C. van Dijk, Martin Fink, Norbert Fischer, Fabian Lipp, Peter Markfelder, Alexander Ravsky, Subhash Suri, Alexander Wolff:
Block Crossings in Storyline Visualizations. - Beniamino Accattoli, Giulio Guerrieri:
Open Call-by-Value (Extended Version). - Roman V. Yampolskiy:
Verifier Theory and Unverifiability. - Concetto Spampinato, Simone Palazzo, Isaak Kavasidis, Daniela Giordano, Mubarak Shah, Nasim Souly:
Deep Learning Human Mind for Automated Visual Classification. - Mona Fathollahi, Rangachar Kasturi:
Autonomous driving challenge: To Infer the property of a dynamic object based on its motion pattern using recurrent neural network. - Rafael Rui, Tohid Ardeshiri, Henri Nurminen, Alexandre S. Bazanella, Fredrik Gustafsson:
State Estimation for Piecewise Affine State-Space Models. - Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say:
Language Classes Associated with Automata Over Matrix Groups. - Richard McPherson, Reza Shokri, Vitaly Shmatikov:
Defeating Image Obfuscation with Deep Learning. - Derya Malak, Mazin Al-Shalash, Jeffrey G. Andrews:
Spatially Correlated Content Caching for Device-to-Device Communications. - Jason Cloud, Muriel Médard:
Multi-Path Low Delay Network Codes. - Ethan Fast, Eric Horvitz:
Identifying Dogmatism in Social Media: Signals and Models. - Paul M. Aoki:
New Rain Rate Statistics for Emerging Regions: Implications for Wireless Backhaul Planning. - Shaojie Tang:
No Time to Observe: Adaptive Influence Maximization with Partial Feedback. - David Jurgens, Srijan Kumar, Raine Hoover, Daniel A. McFarland, Dan Jurafsky:
Citation Classification for Behavioral Analysis of a Scientific Field. - Sephora Madjiheurem, Valentina Sintsova, Pearl Pu:
Qualitative Framing of Financial Incentives - A Case of Emotion Annotation. - Fatemehsadat Saleh, Mohammad Sadegh Ali Akbarian, Mathieu Salzmann, Lars Petersson, Stephen Gould, Jose M. Alvarez:
Built-in Foreground/Background Prior for Weakly-Supervised Semantic Segmentation. - Yanlun Wu, Jun Fang:
Large-Scale Antenna-Assisted Grant-free Non-Orthogonal Multiple Access via Compressed Sensing. - Heman Shakeri, Pietro Poggi-Corradini, Nathan Albin, Caterina M. Scoglio:
Modulus of families of loops with applications in network analysis. - Markus Wagner, Marius Lindauer, Mustafa Misir, Samadhi Nallaperuma, Frank Hutter:
A case study of algorithm selection for the traveling thief problem. - Trey Grainger, Khalifeh AlJadda, Mohammed Korayem, Andries Smith:
The Semantic Knowledge Graph: A compact, auto-generated model for real-time traversal and ranking of any relationship within a domain. - Pushpam Aji John, Rudolf Agren, Yu-Jung Chen, Christian Rohner, Edith C. H. Ngai:
868 MHz Wireless Sensor Network - A Study. - Tatsuya Iwase, Takahiro Shiga:
Linear Game Theory : Reduction of complexity by decomposing large games into partial games. - Weisi Guo, Sheng Zhou, Yunfei Chen, Siyi Wang, Xiaoli Chu, Zhisheng Niu:
Simultaneous Information and Energy Flow for IoT Relay Systems with Crowd Harvesting. - Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Trang Pham, Aditya Ghose, Tim Menzies:
A deep learning model for estimating story points. - Shu Liu, Bo Li, Yangyu Fan, Zhe Guo, Ashok Samal:
Label distribution based facial attractiveness computation by deep residual learning. - Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. 149-177 - Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
Generalized Group Profiling for Content Customization. - Adrian Kosowski, Laurent Viennot:
Beyond Highway Dimension: Small Distance Labels Using Tree Skeletons. - Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
On Horizontal and Vertical Separation in Hierarchical Text Classification. - Kaustav Bose, Ranendu Adhikary, Sruti Gan Chaudhuri, Buddhadeb Sau:
Euclidean 1-center of a set of static and mobile points. - Nan Wang, Blesson Varghese, Peter D. Donnelly:
A Machine Learning Analysis of Twitter Sentiment to the Sandy Hook Shootings. - Richard Jayadi Oentaryo, Arinto Murdopo, Philips Kokoh Prasetyo, Ee-Peng Lim:
On Profiling Bots in Social Media. - Leo van Iersel, Steven Kelk, Georgios Stamoulis, Leen Stougie, Olivier Boes:
On unrooted and root-uncertain variants of several well-known phylogenetic network problems. - Neri Merhav:
Universal decoding using a noisy codebook. - Aleksandr Chuklin, Maarten de Rijke:
Incorporating Clicks, Attention and Satisfaction into a Search Engine Result Page Evaluation Model. - Bridget T. McInnes, Ted Pedersen:
Improving Correlation with Human Judgments by Embedding Second Order Vectors with Semantic Similarity. - Lingxun Meng, Yan Li, Mengyi Liu, Peng Shu:
Skipping Word: A Character-Sequential Representation based Framework for Question Answering. - Nikolaas Steenbergen, Sebastian Schelter, Felix Bießmann:
Doubly stochastic large scale kernel learning with the empirical kernel map. - Huseyin Birkan Yilmaz, Gee-Yong Suk, Chan-Byoung Chae:
Chemical Propagation Pattern for Molecular Communications. - Lan V. Truong, Vincent Y. F. Tan:
On AWGN Channels and Gaussian MACs with Variable-Length Feedback. - Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
Modeling, refining and analyzing Incomplete Büchi Automata. - Yusuf Motara, Barry Irwin:
SHA-1 and the Strict Avalanche Criterion. - Yinsheng Liu, Geoffrey Ye Li, Wei Han:
Device-to-device Cooperation in Massive MIMO Systems with Cascaded Precoding. - Shinichi Nakajima, Sebastian Krause, Dirk Weissenborn, Sven Schmeier, Nico Görnitz, Feiyu Xu:
SynsetRank: Degree-adjusted Random Walk for Relation Identification. - Admela Jukan, Xavier Masip-Bruin, Nina Amla:
Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review. - Elad Richardson, Rom Herskovitz, Boris Ginsburg, Michael Zibulevsky:
SEBOOST - Boosting Stochastic Learning Using Subspace Optimization Techniques. - Ivana Bachmann, Patricio Reyes, Alonso Silva, Javier Bustos-Jiménez:
Miuz: measuring the impact of disconnecting a node. - Li Wang, Aaron D. Ames, Magnus Egerstedt:
Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. - Ralf Lübben, Markus Fidler:
A Benchmark for the Performance of Time-varying Closed-loop Flow Control with Application to TCP. - Reza Farrahi Moghaddam, Yves Lemieux, Mohamed Cheriet:
Transparent Clouds: An Enhancement to Abstraction. - Petros Drineas, Ilse Ipsen, Eugenia-Maria Kontopoulou, Malik Magdon-Ismail:
Structural Convergence Results for Low-Rank Approximations from Block Krylov Spaces. - Alessandro Checco, Gianluca Demartini:
Pairwise, Magnitude, or Stars: What's the Best Way for Crowds to Rate? - Makoto Naruse, Martin Berthel, Aurélien Drezet, Serge Huant, Hirokazu Hori, Song-Ju Kim:
Single photon in hierarchical architecture for physical reinforcement learning: Photon intelligence. - Niels Dalum Hansen, Christina Lioma, Kåre Mølbak:
Ensemble Learned Vaccination Uptake Prediction using Web Search Queries. - Rie Johnson, Tong Zhang:
Convolutional Neural Networks for Text Categorization: Shallow Word-level vs. Deep Character-level. - Jaakko Peltonen, Ziyuan Lin:
Peacock Bundles: Bundle Coloring for Graphs with Globality-Locality Trade-off. - Michael Mitzenmacher, Charalampos E. Tsourakakis:
Predicting Signed Edges with O(n log n) Queries. - Antonio Cesarano, Filomena Ferrucci, Mario Torre:
A heuristic extending the Squarified treemapping algorithm. - Ioannis G. Tollis, Konstantinos G. Kakoulis:
Algorithms for Visualizing Phylogenetic Networks. - San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker:
A MIP Backend for the IDP System. - Mário Levorato, Yuri Frota:
Brazilian Congress structural balance analysis. - Md. Abdul Latif Sarker:
An Error Covariance Splitting Technique for Multi-User MIMO Interference Environment. - Bhuwan Dhingra, Lihong Li, Xiujun Li, Jianfeng Gao, Yun-Nung Chen, Faisal Ahmed, Li Deng:
End-to-End Reinforcement Learning of Dialogue Agents for Information Access. - Ahmad Mahmoody, Charalampos E. Tsourakakis, Eli Upfal:
Scalable Betweenness Centrality Maximization via Sampling. - Ruochen Jiang, Jiannan Wang:
Reprowd: Crowdsourced Data Processing Made Reproducible. - Danilo S. Carvalho, Minh-Tien Nguyen, Tran Xuan Chien, Minh-Le Nguyen:
Lexical-Morphological Modeling for Legal Text Analysis. - Samuel Rota Bulò, Battista Biggio, Ignazio Pillai, Marcello Pelillo, Fabio Roli:
Randomized Prediction Games for Adversarial Machine Learning. - Yatao Bian, Alexey Gronskiy, Joachim M. Buhmann:
Greedy MAXCUT Algorithms and their Information Content. - Bhupendra Kumar, Shankar Prakriya:
Performance of Adaptive Link Selection with Buffer-Aided Relays in Underlay Cognitive Networks. - Jihong Fan, Ru-Ze Liang:
Stochastic Learning of Multi-Instance Dictionary for Earth Mover's Distance based Histogram Comparison. - Amparo Gil, Javier Segura, Nico M. Temme:
Efficient computation of Laguerre polynomials. - Marcin Bienkowski, Jaroslaw Byrka, Marcin Mucha:
Dynamic beats fixed: on phase-based algorithms for file migration. - Jihad Fahs, Ibrahim C. Abou-Faycal:
Information Measures, Inequalities and Performance Bounds for Parameter Estimation in Impulsive Noise Environments. - Tianyu Yang, Nan Liu, Wei Kang, Shlomo Shamai:
An Upper Bound on the Sum Capacity of the Downlink Multicell Processing with Finite Backhaul Capacity. - Wei-Chen Chiu, Fabio Galasso, Mario Fritz:
Towards Segmenting Consumer Stereo Videos: Benchmark, Baselines and Ensembles. - Meng Joo Er, Rajasekar Venkatesan, Ning Wang:
An Online Universal Classifier for Binary, Multi-class and Multi-label Classification. - Mohammad Hajimirsadeghi, Narayan B. Mandayam, Alex Reznik:
Joint Caching and Pricing Strategies for Popular Content in Information Centric Networks. - Jinseok Choi, Jeonghun Park, Brian L. Evans:
Spectral Efficiency Bounds for Interference-Limited SVD-MIMO Cellular Communication Systems.