default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, February 2014
- Mark McClelland, Tara A. Estlin, Mark E. Campbell:
Qualitative Relational Mapping and Navigation for Planetary Rovers. - Yeon-Sup Lim, Bruno F. Ribeiro, Don Towsley:
Classifying Latent Infection States in Complex Networks. - Christos K. Kourtellaris, Charalambos D. Charalambous:
Capacity of the Binary State Symmetric Channel with Cost Constraint. - Van Bang Le, Andrea Oversberg, Oliver Schaudt:
Polynomial time recognition of squares of ptolemaic graphs and 3-sun-free split graphs. - Paulette Acheson, Cihan H. Dagli, Nil H. Kilicay-Ergin:
Fuzzy Decision Analysis in Negotiation between the System of Systems Agent and the System Agent in an Agent-Based Model. - Andriy Mnih, Karol Gregor:
Neural Variational Inference and Learning in Belief Networks. - Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao:
Branching Bisimilarity Checking for PRS. - Nikolay Atanasov, Jerome Le Ny, George J. Pappas:
Technical Report: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks. - Amir Abboud, Virginia Vassilevska Williams:
Popular conjectures imply strong lower bounds for dynamic problems. - Xue Luo, Stephen S.-T. Yau, Mingyi Zhang, Huaiqing Zuo:
On Classification of Toric Surface Codes of Low Dimension. - Gowtham Ramani Kumar, Cheuk Ting Li, Abbas El Gamal:
Exact Common Information. - V. Karthikeyan, V. J. Vijayalakshmi:
Radiation Pattern of Patch Antenna with Slits. - Jónathan Heras, Ekaterina Komendantskaya:
Proof Pattern Search in Coq/SSReflect. - Mehran Alidoost Nia, Reza Ebrahimi Atani:
A novel datatype architecture support for programming languages. - Sehrish Nizamani, Khalil Khoumbati, Imdad Ali Ismaili, Saad Nizamani:
A Conceptual Framework for ERP Evaluation in Universities of Pakistan. - Alexandre Maurer, Sébastien Tixeuil, Xavier Défago:
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. - Qin Shu, Ricardo G. Sanfelice:
Dynamical Properties of a Two-gene Network with Hysteresis. - Saieed Akbari, Mina Dalirrooyfard, S. Davodpoor, K. Ehsani, R. Sherkati:
On the Decision Number of Graphs. - Abhishek Halder, Raktim Bhattacharya:
Probabilistic Model Validation for Uncertain Nonlinear Systems. - Zhengjun Cao, Lihua Liu:
Remarks on AKS Primality Testing Algorithm and A Flaw in the Definition of P. - Abhishek Halder, Kooktae Lee, Raktim Bhattacharya:
A Probabilistic Method for Nonlinear Robustness Analysis of F-16 Controllers. - Hamza Onoruoiza Salami, Moataz A. Ahmed:
UML Artifacts Reuse: State of the Art. - Hamza Onoruoiza Salami, Moataz A. Ahmed:
A framework for reuse of multi-view UML artifacts. - Shu Kong, Zhuolin Jiang, Qiang Yang:
Collaborative Receptive Field Learning. - Alison Burrows, Rachel Gooberman-Hill, Ian Craddock, David Coyle:
SPHERE: Meaningful and Inclusive Sensor-Based Home Healthcare. - George Kesidis, Guodong Pang:
Golden-rule capacity allocation for distributed delay management in peer-to-peer networks. - Edward Hermann Haeusler, Alexandre Rademaker:
An Intuitionisticaly based Description Logic. - Burcu Kantarci, Vincent Labatut:
Classification of Complex Networks Based on Topological Properties. - Bartosz Lipinski, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Improving Hard Disk Contention-based Covert Channel in Cloud Computing Environment. - Stefanie Jegelka, Jeff A. Bilmes:
Graph Cuts with Interacting Edge Costs - Examples, Approximations, and Algorithms. - Di Li, Soummya Kar
, José M. F. Moura, H. Vincent Poor, Shuguang Cui:
Distributed Kalman Filtering over Big Data: Analysis Through Large Deviations of Random Riccati Equations. - Ms. Rumaisah Munir:
Secure Debit Card Device Model. - Sinem Unal, Aaron B. Wagner:
A Rate-Distortion Approach to Index Coding. - Sardar Anisul Haque, Marc Moreno Maza, Ning Xie:
A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. - Sazilah Salam, Siti Nurul Mahfuzah Mohamad, Norasiken Bakar, Linda Khoo Mei Sui:
The Designing of Online Multiple Intelligence Tools for Lecturers at Polytechnic. - Duo Zhang, Benjamin I. P. Rubinstein, Jim Gemmell:
Principled Graph Matching Algorithms for Integrating Multiple Data Sources. - Gang Niu, Bo Dai, Marthinus Christoffel du Plessis, Masashi Sugiyama:
Transductive Learning with Multi-class Volume Approximation. - Pranam Janney, Glenn Geers:
A Robust Framework for Moving-Object Detection and Vehicular Traffic Density Estimation. - Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Myrna Regardie, H. Dieter Rombach, Carolyn B. Seaman, Adam Trendowicz:
GQM+Strategies: A Comprehensive Methodology for Aligning Business Strategies with Software Measurement. - Jürgen Münch, Ansgar Lamersdorf:
Systematic Task Allocation Evaluation in Distributed Software Development. - Xiaoming Chen, Chau Yuen:
Performance Analysis and Optimization for Interference Alignment over MIMO Interference Channels with Limited Feedback. - Zoltán Ésik, Panos Rondogiannis:
A Fixed Point Theorem for Non-Monotonic Functions. - Michael Heindlmaier, Onurcan Iscan:
Rate-Distortion Properties of Single-Layer Quantize-and-Forward for Two-Way Relaying. - Suman Kumar, Sheetal Kalyani, Krishnamurthy Giridhar:
Spectrum Allocation for ICIC Based Picocell. - Sebastien Mathieu, Quentin Louveaux, Damien Ernst, Bertrand Cornélusse:
A quantitative analysis of the effect of flexible loads on reserve markets. - Hui Gao, Tiejun Lv, Di Fang, Shaoshi Yang, Chau Yuen:
Limited Feedback-Based Interference Alignment for Interfering Multi-Access Channels. - SeoungKyou Lee, Aaron T. Becker, Sándor P. Fekete, Alexander Kröller, James McLurkin:
Exploration via Structured Triangulation by a Multi-Robot System with Bearing-Only Low-Resolution Sensors. - Julian Dibbelt, Ben Strasser, Dorothea Wagner:
Customizable Contraction Hierarchies. - Sergey Kuniavsky:
Minimum Price in Search Model. - Thomas Steiner:
Bots vs. Wikipedians, Anons vs. Logged-Ins. - Evan Sultanik:
A Bound on the Expected Optimality of Random Feasible Solutions to Combinatorial Optimization Problems. - Rangeet Mitra, Amit Kumar Mishra, Tarun Choubisa:
A Lower Bound for the Variance of Estimators for Nakagami m Distribution. - Qi Qian, Rong Jin, Shenghuo Zhu, Yuanqing Lin:
An Integrated Framework for High Dimensional Distance Metric Learning and Its Application to Fine-Grained Visual Categorization. - Florence Bénézit, Salah-Eddine Elayoubi, Raluca-Maria Indre, Alain Simonian:
Modelling Load Balancing and Carrier Aggregation in Mobile Networks. - Hubert Haoyang Duan:
Applying Supervised Learning Algorithms and a New Feature Selection Method to Predict Coronary Artery Disease. - David Auger, Pierre Coucheney, Yann Strozecki:
Finding Optimal Strategies of Almost Acyclic Simple Stochatic Games. - Maxime Amblard, Christian Retoré:
Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic. - Diederik P. Kingma, Max Welling:
Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets. - Anupam Chattopadhyay, Chander Chandak, Kaushik Chakraborty:
Complexity Analysis of Reversible Logic Synthesis. - Vesal Hakami, Mehdi Dehghan:
Cognitive Forwarding Control in Wireless Ad-Hoc Networks with Slow Fading Channels. - Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
A Deterministic Annealing Approach to Witsenhausen's Counterexample. - Alican Bozkurt, Musa Tunç Arslan, Rasim Akin Sevimli, Cem Emre Akbas, A. Enis Çetin:
Approximate Computation of DFT without Performing Any Multiplications: Applications to Radar Signal Processing. - Jan Koeman, William Rea:
How Does Latent Semantic Analysis Work? A Visualisation Approach. - Alekh Agarwal, Daniel J. Hsu, Satyen Kale, John Langford, Lihong Li, Robert E. Schapire:
Taming the Monster: A Fast and Simple Algorithm for Contextual Bandits. - Vahed Qazvinian, Dragomir R. Radev, Saif M. Mohammad, Bonnie J. Dorr, David M. Zajic, Michael Whidby, Taesun Moon:
Generating Extractive Summaries of Scientific Paradigms. - Eric Huang, Richard E. Korf:
Optimal Rectangle Packing: An Absolute Placement Approach. - Sebastian Ordyniak, Stefan Szeider:
Parameterized Complexity Results for Exact Bayesian Network Structure Learning. - Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel:
Short and Long Supports for Constraint Propagation. - Javier García, Fernando Fernández:
Safe Exploration of State and Action Spaces in Reinforcement Learning. - Gert de Cooman, Enrique Miranda:
Irrelevant and independent natural extension for sets of desirable gambles. - Marta R. Costa-jussà, Carlos A. Henríquez Q., Rafael E. Banchs:
Evaluating Indirect Strategies for Chinese-Spanish Statistical Machine Translation. - Amanda Jane Coles, Andrew Ian Coles, Maria Fox, Derek Long:
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. - Nima Taghipour, Daan Fierens, Jesse Davis, Hendrik Blockeel:
Lifted Variable Elimination: Decoupling the Operators from the Constraint Language. - Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Christopher Amato, Shimon Whiteson:
Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs. - Tomasz Pawel Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings:
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. - Amit Metodi, Michael Codish, Peter James Stuckey:
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. - Guangtao Wang, Qinbao Song, Heli Sun, Xueying Zhang, Baowen Xu, Yuming Zhou:
A Feature Subset Selection Algorithm Automatic Recommendation Method. - Gerald Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager:
Analysis of Watson's Strategies for Playing Jeopardy! - Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein:
Sharing Rewards in Cooperative Connectivity Games. - Srdjan Vesic:
Identifying the Class of Maxi-Consistent Operators in Argumentation. - Kira Radinsky, Sagie Davidovich, Shaul Markovitch:
Learning to Predict from Textual Data. - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. - Ilianna Kollia, Birte Glimm:
Optimizing SPARQL Query Answering over OWL Ontologies. - Raphaël Mourad, Christine Sinoquet, Nevin Lianwen Zhang, Tengfei Liu, Philippe Leray:
A Survey on Latent Tree Models and Applications. - Maytham Alabbas, Allan Ramsay:
Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees. - Masahiro Ono, Brian C. Williams, Lars Blackmore:
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk. - Nadja Betzler, Arkadii Slinko, Johannes Uhlmann:
On the Computation of Fully Proportional Representation. - Neal Andrew Snooke, Mark H. Lee:
Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis. - Maliheh Aramon Bajestani, J. Christopher Beck:
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. - Ludek Cigler, Boi Faltings:
Decentralized Anti-coordination Through Multi-agent Learning. - Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. - Jose David Fernández Rodriguez, Francisco J. Vico:
AI Methods in Algorithmic Composition: A Comprehensive Survey. - Shafiq Rayhan Joty, Giuseppe Carenini, Raymond T. Ng:
Topic Segmentation and Labeling in Asynchronous Conversations. - Tal Grinshpoun, Alon Grubshtein, Roie Zivan, Arnon Netzer, Amnon Meisels:
Asymmetric Distributed Constraint Optimization Problems. - Christer Bäckström, Peter Jonsson:
A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond. - Thomas Léauté, Boi Faltings:
Protecting Privacy through Distributed Computation in Multi-agent Decision Making. - Diederik Marijn Roijers, Peter Vamplew, Shimon Whiteson, Richard Dazeley:
A Survey of Multi-Objective Sequential Decision-Making. - Paulo Roberto Costa, Luís Miguel Botelho:
Learning by Observation of Agent Software Images. - Mojtaba Seyedhosseini, Tolga Tasdizen:
Scene Labeling with Contextual Hierarchical Models. - Duo Han, Yilin Mo, Junfeng Wu, Sean Weerakkody, Bruno Sinopoli, Ling Shi:
Stochastic Event-triggered Sensor Schedule for Remote State Estimation. - Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The Complexity of Synchronous Notions of Information Flow Security. - Victoria Kostina, Yury Polyanskiy, Sergio Verdú:
Variable-length compression allowing errors (extended). - Jingwen Bai, Chris Dick, Ashutosh Sabharwal:
Vector Bin-and-Cancel for MIMO Distributed Full-Duplex. - Adam W. Strzebonski:
Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition. - Shafii Muhammad Abdulhamid, Fasilat Folagbayo Ibrahim:
Controlling Citizens Cyber Viewing Using Enhanced Internet Content Filters. - S. R. Bhalgama, C. C. Kavar, S. S. Parmar:
LWRP: Low Power Consumption Weighting Replacement Policy using Buffer Memory. - Muhammad F. I. Chowdhury, Claude-Pierre Jeannerod, Vincent Neiger, Éric Schost, Gilles Villard:
Faster Algorithms for Multivariate Interpolation with Multiplicities and Simultaneous Polynomial Approximations. - Franziska Meier, Philipp Hennig, Stefan Schaal:
Local Gaussian Regression. - Abhik Kumar Das, Siddhartha Banerjee, Sriram Vishwanath:
Linear Network Coding for Multiple Groupcast Sessions: An Interference Alignment Approach. - Joni Pajarinen, Ville Kyrki:
Robotic manipulation of multiple objects as a POMDP. - B. A. N. M. Bambarasinghe, H. M. S. Huruggamuwa, Roshan G. Ragel, Swarnalatha Radhakrishnan:
Axis2UNO: Web Services Enabled Openoffice.org. - Rajitha Navarathna, Swarnalatha Radhakrishnan, Roshan G. Ragel:
Loop Unrolling in Multi-pipeline ASIP Design. - A. K. B. Karunathilake, B. M. D. Balasuriya, Roshan G. Ragel:
User Friendly Line CAPTCHAs. - Kinjal N. Shah, Kirit R. Rathod, Shardul J. Agravat:
A survey on Human Computer Interaction Mechanism Using Finger Tracking. - Shafii Muhammad Abdulhamid, Muhammad Shafie Abdul Latif, Mohammed Bakri Bashir:
On-Demand Grid Provisioning Using Cloud Infrastructures and Related Virtualization Tools: A Survey and Taxonomy. - Debi Prosad Dogra, Karthik Nandam, Arun K. Majumdar, Shamik Sural, Jayanta Mukhopadhyay, Bandana Majumdar, Arun Kumar Singh, Suchandra Mukherjee:
User Friendly Implementation for Efficiently Conducting Hammersmith Infant Neurological Examination. - Sylvain Schmitz:
Implicational Relevance Logic is 2-EXPTIME-Complete. - Ezgi Deniz Ulker, Sadik Ulker:
Microstrip Coupler Design Using Bat Algorithm. - Andrea Soltoggio:
Short-term plasticity as cause-effect hypothesis testing in distal reward learning. - Dominik Kowald, Paul Seitlinger, Christoph Trattner, Tobias Ley:
Forgetting the Words but Remembering the Meaning: Modeling Forgetting in a Verbal and Semantic Tag Recommender. - Nikolaos Pappas, Anthony Ephremides, Apostolos Traganitis:
Stability and Performance Issues of a Relay Assisted Multiple Access Scheme with MPR Capabilities. - V. Karthikeyan, S. Geethanjali, M. Mekala, T. Deepika:
Water Eminence Scrutinizing Scheme Based On Zigbee and Wireless Antenna Expertise - A Study. - Harald Zankl, Martin Korp:
Modular Complexity Analysis for Term Rewriting. - Kristina Sojakova:
Higher Inductive Types as Homotopy-Initial Algebras. - Nathanaël Perraudin, David I. Shuman, Gilles Puy, Pierre Vandergheynst:
UNLocBoX A matlab convex optimization toolbox using proximal splitting methods. - Setare Yaghubi, Nasser Modiri, Masoud Rafighi:
Model performance indicators ERP systems. - Hong Jiang, Gang Huang, Paul A. Wilford:
Signal to Noise Ratio in Lensless Compressive Imaging. - Philipp Singer, Denis Helic, Behnam Taraghi, Markus Strohmaier:
Memory and Structure in Human Navigation Patterns. - S. Anand, Ofer Arazy, Narayan B. Mandayam, Oded Nov:
A Game Theoretic Analysis of Collaboration in Wikipedia. - Alexandre Lacoste, Hugo Larochelle, François Laviolette, Mario Marchand:
Sequential Model-Based Ensemble Optimization. - Jordi Arjona Aroca, Angelos Chatzipapas, Antonio Fernández Anta, Vincenzo Mancuso:
A Measurement-based Analysis of the Energy Consumption of Data Center Servers. - Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
Associative Memories Based on Multiple-Valued Sparse Clustered Networks. - Alexandru Florin Antone, Radu Arsinte:
A Study on the Optimal Implementation of Statistical Multiplexing in DVB Distribution Systems. - René van Bevern, Matthias Mnich, Rolf Niedermeier, Mathias Weller:
Interval scheduling and colorful independent sets.