


default search action
CoRR, January 2013
- Nivedita Daimiwal, Mahalingam Sundhararajan, Revati Shriram:
Applications of fMRI for Brain Mapping. - Richard Colbaugh, Kristin Glass, Curtis Johnson:
Predictive Non-equilibrium Social Science. - Denis S. Krotov, Vladimir N. Potapov:
Transitive 1-perfect codes from quadratic functions. - Adrian Weller, Tony Jebara:
Bethe Bounds and Approximating the Global Optimum. - John Scoville:
Bounding Lossy Compression using Lossless Codes at Reduced Precision. - Hannes Uppman:
Three-Element Min-Sol and Conservative Min-Cost-Hom. - Ralf Huuck:
Formal Verification, Engineering and Business Value. 1-4 - Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky:
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. 5-21 - Adrien Champion, Rémi Delmas, Michael Dierkes:
Generating Property-Directed Potential Invariants By Backward Analysis. 22-38 - Peter Hui, Satish Chikkagoudar
:
A Formal Model For Real-Time Parallel Computation. 39-55 - Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka:
Model Checking with Program Slicing Based on Variable Dependence Graphs. 56-68 - Mingyu Park, Taejoon Byun, Yunja Choi:
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems. 69-84 - Siraj Ahmed Shaikh
, Padmanabhan Krishnan:
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles. 85-99 - Chen-Wei Wang, Jim Davies
:
Formal Model-Driven Engineering: Generating Data and Behavioural Components. 100-117 - Mengying Wang, Yang Lu:
A Timed Calculus for Mobile Ad Hoc Networks. 118-134 - Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin
, Kim G. Larsen
, Jan Madsen
, Bin Gu:
MDM: A Mode Diagram Modeling Framework. 135-149 - Yukihiro Kamada, Kiyonori Miyasaki:
Generating High-Order Threshold Functions with Multiple Thresholds. - Licheng Chen, Tianyue Lu, Yanan Wang, Mingyu Chen, Yuan Ruan, Zehan Cui, Yongbing Huang, Mingyang Chen, Jiutian Zhang, Yungang Bao:
MIMS: Towards a Message Interface based Memory System. - Yonatan Kaspi, Neri Merhav:
Zero-Delay and Causal Single-User and Multi-User Lossy Source Coding with Decoder Side Information. - Chengwen Xing, Shuo Li, Zesong Fei, Jingming Kuang:
How to Understand LMMSE Transceiver Design for MIMO Systems From Quadratic Matrix Programming. - Ferhat Özgür Çatak, M. Erdal Balaban:
CloudSVM : Training an SVM Classifier in Cloud Computing Systems. - Tian Zhang, Wei Chen, Zhigang Cao:
Opportunistic DF-AF Selection Relaying with Optimal Relay Selection in Nakagami-m Fading Environments. - Jingbo Liu, Jian Jin, Yuantao Gu:
Robustness of Sparse Recovery via $F$-minimization: A Topological Viewpoint. - Rodrigo C. de Lamare:
Joint Iterative Power Allocation and Linear Interference Suppression Algorithms in Cooperative DS-CDMA Networks. - Rodrigo C. de Lamare, Paulo S. R. Diniz:
Set-Membership Adaptive Algorithms based on Time-Varying Error Bounds for Interference Suppression. - (Withdrawn) Automating ATLAS Computing Operations using the Site Status Board.
- Shoshana Marcus, Dina Sokol:
2D Lyndon Words and Applications. - Aviv Tamar, Dotan Di Castro, Shie Mannor:
Policy Evaluation with Variance Related Risk Criteria in Markov Decision Processes. - Paul Tarau:
Tree-based Arithmetic and Compressed Representations of Giant Numbers. - Ashish Chiplunkar, Sundar Vishwanathan:
On the Competitiveness of Randomized Memoryless Algorithms for the Weighted $k$-server Problem. - Madhur Srivastava, Satish Kumar Singh, Prasanta K. Panigrahi:
A Semi-automated Statistical Algorithm for Object Separation. - Paul Tarau:
Binary Tree Arithmetic with Generalized Constructors. - Paul Tarau:
On Two Infinite Families of Pairing Bijections. - Dodge Cahan, John Christopher McCabe-Dansted, Arkadii M. Slinko:
Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality. - Charith Perera, Arkady B. Zaslavsky, Peter Christen, Ali Salehi, Dimitrios Georgakopoulos:
Capturing Sensor Data from Mobile Phones using Global Sensor Network Middleware. - Arkady B. Zaslavsky, Charith Perera, Dimitrios Georgakopoulos:
Sensing as a Service and Big Data. - H. R. Mamatha, S. Karthik, Murthy K. Srikanta:
Classifier Fusion Method to Recognize Handwritten Kannada Numerals. - Easwar Vivek Mangipudi, Venkatesh Ramaiyan, Srikrishna Bhashyam:
Cross-Layer Strategies for Throughput Maximization in Data Aggregating Wireless Networks. - Doreswamy:
Knowledge Discovery System For Fiber Reinforced Polymer Matrix Composite Laminate. - Doreswamy, M. N. Vanajakshi:
Similarity Measuring Approuch for Engineering Materials Selection. - Muhammad Fainan Hanif, Le-Nam Tran, Antti Tölli, Markku J. Juntti, Savo Glisic:
Efficient Solutions for Weighted Sum Rate Maximization in Multicellular Networks With Channel Uncertainties. - Doreswamy, Hemanth K. S.:
A Novel Design Specification Distance(DSD) Based K-Mean Clustering Performace Evluation on Engineering Materials Database. - Fatih Kocan:
A nonenumerative algorithm to find the k longest (shortest) paths in a DAG. - Deepali Virmani, Satbir Jain:
Reliable Robust and Real-Time Communication Protocol for Data Delivery in Wireless sensor Networks. - Samar Agnihotri, Rajesh Venkatachalapathy:
Worst-case Asymmetric Distributed Source Coding. - Thomas Arildsen, Torben Larsen:
Compressed Sensing with Correlation Between Measurements and Noise. - Jan Hrncír, Michael Rovatsos:
Applying Strategic Multiagent Planning to Real-World Travel Sharing Problems. - Rodrigo Aldecoa, Ignacio Marín:
Surprise maximization reveals the community structure of complex networks. - Andrew Clark:
Ring Theory, Group Actions, Evolutionary Algorithms, and Global Optimization. - Wajdi Ghezaiel, Amel Ben Slimane Rahmouni, Ezzedine Ben Braiek:
Usable Speech Assignment for Speaker Identification under Co-Channel Situation. - Wajdi Ghezaiel, Amel Ben Slimane Rahmouni, Ezzedine Ben Braiek:
Evaluation of a Multi-Resolution Dyadic Wavelet Transform Method for usable Speech Detection. - Aaditya Prakash:
Reconstructing Self Organizing Maps as Spider Graphs for better visual interpretation of large unstructured datasets. - Mojtaba Vaezi, Fabrice Labeau:
Wyner-Ziv Coding in the Real Field Based on BCH-DFT Codes. - Paulo Shakarian, Gerardo I. Simari, Robert Schroeder:
MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report). - Julia Vinogradova, Romain Couillet, Walid Hachem:
Statistical Inference in Large Antenna Arrays under Unknown Noise Pattern. - Subhash C. Kak:
The Piggy Bank Cryptographic Trope. - Priyanka Naik, Sugata Sanyal:
Increasing Security in Cloud Environment. - Marie-Louise Bruner, Martin Lackner:
The computational landscape of permutation patterns. - Lorenzo Rossi, Jacob Chakareski, Pascal Frossard, Stefania Colonnese:
A Poisson Hidden Markov Model for Multiview Video Traffic. - Sriganesh Srihari, Hon Wai Leong:
Employing functional interactions for characterization and detection of sparse complexes from yeast PPI networks. - Bocong Chen, Yun Fan, Liren Lin, Hongwei Liu:
Constacyclic Codes over Finite Fields. - Guangwu Xu, Zhiqiang Xu:
Compressed Sensing Matrices from Fourier Matrices. - Vikraman Arvind:
The Parameterized Complexity of some Permutation Group Problems. - Vo Nguyen Quoc Bao, Tran Thien Thanh, Tuan-Duc Nguyen, Thanh Dinh Vu:
Spectrum Sharing-based Multi-hop Decode-and-Forward Relay Networks under Interference Constraints: Performance Analysis and Relay Position Optimization. - Shengyao Chen, Feng Xi, Zhong Liu:
Chaotic Modulation for Analog-to-Information Conversion. - Hu Fu, Jason D. Hartline, Darrell Hoy:
Prior-independent Auctions for Risk-averse Agents. - Yuri I. Manin:
Zipf's law and L. Levin's probability distributions. - Fahad Mahmood, F. Kunwar:
A Self-Organizing Neural Scheme for Door Detection in Different Environments. - Fahad Mahmood, Syed M. B. Haider, F. Kunwar:
Investigating the performance of Correspondence Algorithms in Vision based Driver-assistance in Indoor Environment. - Matthew Andrews, Lisa Zhang:
Energy-Delay Tradeoffs in a Load-Balanced Router. - Quim Castellà, Charles Sutton:
Word Storms: Multiples of Word Clouds for Visual Comparison of Documents. - Cyril L'Orphelin, Hélène Cordier, Sylvain Reynaud, Marcos Lins, Sinika Loikkanen, Olivier Lequeux, Pierre Veyre:
EELA Operations: A standalone regional dashboard implementation. - Yingsong Huang, Shiwen Mao, R. Mark Nelms:
Adaptive Electricity Scheduling in Microgrids. - Steven de Rooij, Tim van Erven, Peter D. Grünwald, Wouter M. Koolen:
Follow the Leader If You Can, Hedge If You Must. - Tomasz Krawczyk, Arkadiusz Pawlik, Bartosz Walczak:
Coloring triangle-free rectangular frame intersection graphs with O(log log n) colors. - Ayesha R. Ali, Thomas S. Richardson:
Markov Equivalence Classes for Maximal Ancestral Graphs. - Dragomir Anguelov, Rahul Biswas, Daphne Koller, Benson Limketkai, Sebastian Thrun:
Learning Hierarchical Object Maps Of Non-Stationary Environments with mobile robots. - Ionut D. Aron, Pascal Van Hentenryck:
A constraint satisfaction approach to the robust spanning tree problem with interval data. - Vincent Auvray, Louis Wehenkel:
On the Construction of the Inclusion Boundary Neighbourhood for Markov Equivalence Classes of Bayesian Network Structures. - Francis R. Bach, Michael I. Jordan:
Tree-dependent Component Analysis. - Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Bipolar Possibilistic Representations. - David M. Blei, J. Andrew Bagnell, Andrew McCallum:
Learning with Scope, with Application to Information Extraction and Classification. - Blai Bonet, Judea Pearl:
Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation. - Ronen I. Brafman, Carmel Domshlak:
Introducing Variable Importance Tradeoffs into CP-Nets. - John L. Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Richard Washington:
Planning under Continuous Time and Resource Uncertainty: A Challenge for AI. - Carlos Brito, Judea Pearl:
Generalized Instrumental Variables. - David Maxwell Chickering, Christopher Meek:
Finding Optimal Bayesian Networks. - Adrian Corduneanu, Tommi S. Jaakkola:
Continuation Methods for Mixing Heterogenous Sources. - Scott Davies, Andrew W. Moore:
Interpolating Conditional Density Trees. - Rina Dechter, Kalev Kask, Robert Mateescu:
Iterative Join-Graph Propagation. - Byron Dom:
An Information-Theoretic External Cluster-Validity Measure. - Thomas Eiter, Thomas Lukasiewicz:
Causes and Explanations in the Structural-Model Approach: Tractable Cases. - Sarah Finney, Natalia Gardiol, Leslie Pack Kaelbling, Tim Oates:
The Thing That We Tried Didn't Work Very Well : Deictic Representation in Reinforcement Learning. - Dan Geiger, Christopher Meek, Bernd Sturmfels:
Factorization of Discrete Probability Distributions. - Phan Hong Giang, Prakash P. Shenoy:
Statistical Decisions Using Likelihood Information Without Prior Probabilities. - Joshua Goodman:
Reduction of Maximum Entropy Models to Hidden Markov Models. - Carlos Guestrin, Geoffrey J. Gordon:
Distributed Planning in Hierarchical Factored MDPs. - Tom Heskes, Onno Zoeter:
Expectation Propogation for approximate inference in dynamic Bayesian networks. - Eric Horvitz, Paul Koch, Carl Myers Kadie, Andy Jacobs:
Coordinates: Probabilistic Forecasting of Presence and Availability. - Finn Verner Jensen, Marta Vomlelová:
Unconstrained Influence Diagrams. - Carl Myers Kadie, Christopher Meek, David Heckerman:
CFW: A Collaborative Filtering System Using Posteriors Over Weights Of Evidence. - Mehmet Kayaalp, Gregory F. Cooper:
A Bayesian Network Scoring Metric That Is Based On Globally Uniform Parameter Priors. - Michael J. Kearns, Yishay Mansour:
Efficient Nash Computation in Large Population Games with Bounded Influence. - Tomas Kocka, Nevin Lianwen Zhang:
Dimension Correction for Hierarchical Latent Class Models. - Samuel Kutin, Partha Niyogi:
Almost-everywhere algorithmic stability and generalization error. - Michail G. Lagoudakis, Ronald Parr:
Value Function Approximation in Zero-Sum Markov Games. - Martijn A. R. Leisink, Hilbert J. Kappen:
General Lower Bounds based on Computer Generated Higher Order Expansions. - Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller:
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. - Omid Madani:
Polynomial Value Iteration Algorithms for Detrerminstic MDPs. - Bhaskara Marthi, Hanna Pasula, Stuart Russell, Yuval Peres:
Decayed MCMC Filtering. - Peter McBurney, Simon Parsons:
Formalizing Scenario Analysis. - Christopher Meek, Bo Thiesson, David Heckerman:
Staged Mixture Modelling and Boosting. - Ramgopal R. Mettu, C. Greg Plaxton:
Optimal Time Bounds for Approximate Clustering. - Thomas P. Minka, John D. Lafferty:
Expectation-Propogation for the Generative Aspect Model. - Andrew W. Moore, Jeff G. Schneider:
Real-valued All-Dimensions search: Low-overhead rapid searching over subsets of attributes. - Brenda Ng, Leonid Peshkin, Avi Pfeffer:
Factored Particles for Scalable Monitoring. - Uri Nodelman, Christian R. Shelton, Daphne Koller:
Continuous Time Bayesian Networks. - James D. Park:
MAP Complexity Results and Approximation Methods. - Tatjana Pavlenko, Dietrich von Rosen:
Bayesian Network Classifiers in a High Dimensional Framework. - David M. Pennock, Sandip Debnath, Eric J. Glover, C. Lee Giles:
Modelling Information Incorporation in Markets, with Application to Detecting and Explaining Events. - Ryan Porter, Amir Ronen, Yoav Shoham, Moshe Tennenholtz:
Mechanism Design with Execution Uncertainty. - Silja Renooij, Linda C. van der Gaag:
From Qualitative to Quantitative Probabilistic Networks. - José Carlos Ferreira da Rocha, Fábio Gagliardi Cozman:
Inference with Seperately Specified Sets of Probabilities in Credal Networks. - Dmitry Rusakov, Dan Geiger:
Asymptotic Model Selection for Naive Bayesian Networks. - Robert E. Schapire:
Advances in Boosting (Invited Talk). - Guy Shani, Ronen I. Brafman, David Heckerman:
An MDP-based Recommender System. - Christian R. Shelton:
Reinforcement Learning with Partially Known World Dynamics. - Harald Steck, Tommi S. Jaakkola:
Unsupervised Active Learning in Large Domains. - Masami Takikawa, Bruce D'Ambrosio, Ed Wright:
Real-Time Inference with Large-Scale Temporal Bayes Nets. - Ben Taskar, Pieter Abbeel, Daphne Koller:
Discriminative Probabilistic Models for Relational Data. - Sekhar Tatikonda, Michael I. Jordan:
Loopy Belief Propogation and Gibbs Measures. - Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. - Sebastian Thrun:
Particle Filters in Robotics (Invited Talk). - Jin Tian, Judea Pearl:
On the Testable Implications of Causal Models with Hidden Variables. - Jirí Vomlel:
Exploiting Functional Dependence in Bayesian Network Inference. - Martin J. Wainwright, Tommi S. Jaakkola, Alan S. Willsky:
A New Class of Upper Bounds on the Log Partition Function. - Peter P. Wakker:
Decision Principles to justify Carnap's Updating Method and to Suggest Corrections of Probability Judgments (Invited Talks). - Yang Wang, Tele Tan:
Adaptive Foreground and Shadow Detection inImage Sequences. - Wim Wiegerinck, Tom Heskes:
IPF for Discrete Chain Factor Graphs. - Sung Wook Yoon, Alan Fern, Robert Givan:
Inductive Policy Selection for First-Order MDPs. - Salem Alkhalaf, Steve Drew, Anne Nguyen:
Validation of the IS Impact Model for Measuring the Impact of e-Learning Systems in KSA Universities: Student Perspective. - Zhaohua Luo:
Algebraic Logic, I Quantifier Theories and Completeness Theorems. - Guanghui Zhang, Bocong Chen:
Constacyclic Codes over $F_p+vF_p$. - Andrey Demichev, Viatcheslav A. Ilyin, Alexander P. Kryukov, Stanislav Polyakov:
A Quality and Cost Approach for Comparison of Small-World Networks. - Sundeep Prabhakar Chepuri, Geert Leus, Alle-Jan van der Veen:
Position and Orientation Estimation of a Rigid Body: Rigid Body Localization. - R. Rajendra Prasath, Pinar Öztürk:
Similarity Assessment through blocking and affordance assignment in Textual CBR. - Sundeep Prabhakar Chepuri, Geert Leus, Alle-Jan van der Veen:
Joint localization and clock synchronization for wireless sensor networks. - Stefan Gerdjikov, Stoyan Mihov, Petar Mitankin, Klaus U. Schulz:
Good parts first - a new algorithm for approximate search in lexica and string databases. - Mathieu Senelle, Silvia García-Díez, Amin Mantrach, Masashi Shimbo, Marco Saerens, François Fouss:
The Sum-over-Forests density index: identifying dense regions in a graph. - Fatma Benkhelifa, Zouheir Rezki, Mohamed-Slim Alouini
:
On the Low SNR Capacity of Maximum Ratio Combining over Rician Fading Channels with Full Channel State Information. - Danny Z. Chen, Jian Li, Hongyu Liang, Haitao Wang:
Matroid and Knapsack Center Problems. - Dominik Charousset, Thomas C. Schmidt:
libcppa - Designing an Actor Semantic for C++11. - Paul Poncet:
Pruning a poset with veins. - Hélène Cordier, Cyril L'Orphelin, Sylvain Reynaud, Olivier Lequeux, Sinika Loikkanen, Pierre Veyre:
From EGEE OPerations Portal towards EGI OPerations Portal. - Lorenzo Pasquini:
Improved QFT algorithm for power-of-two FFT. - Mohammad Nozari Zarmehri
, Ana Aguiar
:
Supporting Sensing Application in Vehicular Networks. - Dilip S. Aldar:
Adaptive Intelligent Cooperative Spectrum Sensing In Cognitive Radio. - Benjamin Moseley, Kirk Pruhs, Cliff Stein:
The Complexity of Scheduling for p-norms of Flow and Stretch. - Loet Leydesdorff, Caroline S. Wagner, Han Woo Park, Jonathan Adams:
International Collaboration in Science: The Global Map and the Network. - Zhen Liu, Jia-Lin He, Jaideep Srivastava:
Cliques in complex networks reveal link formation and community evolution. - Adam R. Klivans, Raghu Meka:
Moment-Matching Polynomials. - Fahad Saeed
, Trairak Pisitkun, Mark A. Knepper, Jason D. Hoffert:
An Efficient Algorithm for Clustering of Large-Scale Mass Spectrometry Data. - James Kirrage, Asiri Rathnayake, Hayo Thielecke:
Static Analysis for Regular Expression Denial-of-Service Attacks. - Harpreet S. Dhillon, Howard C. Huang, Harish Viswanathan, Reinaldo A. Valenzuela:
Power-Efficient System Design for Cellular-Based Machine-to-Machine Communications. - Daniel Apon:
On Lower Bound Methods for Tree-like Cutting Plane Proofs. - Pavankumar Tallapragada, Nikhil Chopra:
On Event Triggered Tracking for Nonlinear Systems. - Nir Ailon, Holger Rauhut:
Fast and RIP-optimal transforms. - Vaibhav Godbole:
Performance Analysis of Clustering Protocol Using Fuzzy Logic for Wireless Sensor Network. - Vaibhav Godbole:
Performance Analysis of Bio-Inspired Routing Protocols based on Random Waypoint Mobility Model. - Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Compressed Sensing under Matrix Uncertainty: Optimum Thresholds and Robust Approximate Message Passing. - Meghana Nasre:
Popular Matchings -- structure and cheating strategies. - Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer:
Desingularization Explains Order-Degree Curves for Ore Operators. - Osvaldo Simeone:
Source Coding with in-Block Memory and Causally Controllable Side Information. - Iztok Fister, Marjan Mernik, Janez Brest:
Hybridization of Evolutionary Algorithms. - Sayan Saha, Saptarshi Das, Anindya Pakhira, Sumit Mukherjee, Indranil Pan:
Comparative Studies on Decentralized Multiloop PID Controller Design Using Evolutionary Algorithms. - Sufianto Mahfudz, Mahyuddin K. M. Nasution
, Sawaluddin Nasution:
Knowledge Sharing: A Model. - Chung-Pi Lee, Shih-Chun Lin, Hsuan-Jung Su, H. Vincent Poor:
Multi-user lattice coding for the multiple-access relay channel. - Iztok Fister, Marjan Mernik, Bogdan Filipic:
Graph 3-coloring with a hybrid self-adaptive evolutionary algorithm. - Narayanan Krishnan, Roy D. Yates, Narayan B. Mandayam:
Cellular Systems with Many Antennas: Large System Analysis under Pilot Contamination. - Erwan Le Martelot, Chris Hankin:
Fast Multi-Scale Community Detection based on Local Criteria within a Multi-Threaded Algorithm. - Kumar Viswanatha, Sharadh Ramaswamy, Ankur Saxena, Emrah Akyol, Kenneth Rose:
On Large Scale Distributed Compression and Dispersive Information Routing for Networks. - Imam Tahyudin:
Analysis of Influence of Internet Retail Service Quality (IRSQ) to Consumer Online Shopping Satisfaction at www.kebanaran.com. - Romeu Monteiro, Susana Sargento, Wantanee Viriyasitavat, Ozan K. Tonguz:
Improving VANET Protocols via Network Science. - (Withdrawn) Multiple layer Phase Shift Linear Space-time Block Code for High-speed Visible Light Communications.
- Hilmi Yildirim, Vineet Chaoji, Mohammed J. Zaki:
DAGGER: A Scalable Index for Reachability Queries in Large Dynamic Graphs. - Yeow Meng Chee, San Ling, Huaxiong Wang, Liang Feng Zhang:
Upper Bounds on Matching Families in $\mathbb{Z}_{pq}^n$. - Hongyu Liang, Tiancheng Lou, Haisheng Tan, Yuexuan Wang, Dongxiao Yu:
On the Complexity of Connectivity in Cognitive Radio Networks Through Spectrum Assignment. - Kévin Perrot, Eric Rémila:
Kadanoff Sand Piles, following the snowball. - Sambit Bakshi, Hunny Mehrotra, Banshidhar Majhi:
Stratified SIFT Matching for Human Iris Recognition. - Yunus Sarikaya, Özgür Erçetin, Can Emre Koksal:
Dynamic Network Control for Confidential Multi-hop Communications. - Jef Wijsen:
Charting the Tractability Frontier of Certain Conjunctive Query Answering. - Loet Leydesdorff, Ismael Ràfols, Chaomei Chen:
Interactive Overlays of Journals and the Measurement of Interdisciplinarity on the basis of Aggregated Journal-Journal Citations. - Yoav Shechtman, Amir Beck, Yonina C. Eldar:
GESPAR: Efficient Phase Retrieval of Sparse Signals. - Philippe Gaborit, Olivier Ruatta, Julien Schrek:
On the complexity of the Rank Syndrome Decoding problem. - Masoud Badiei Khuzani, Patrick Mitran:
On online energy harvesting in multiple access communication systems. - (Withdrawn) On the Minimum Energy of Sending Gaussian Multiterminal Sources over the Gaussian MAC.
- Lorenzo Fagiano, Aldo U. Zgraggen, Manfred Morari, Mustafa Khammash:
Automatic crosswind flight of tethered wings for airborne wind energy: modeling, control design and experimental results. - Austin R. Benson, David F. Gleich, James Demmel:
Direct QR factorizations for tall-and-skinny matrices in MapReduce architectures. - Charith Perera, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
CA4IOT Context Awareness for Internet of Things. - Charith Perera, Arkady B. Zaslavsky, Peter Christen, Ali Salehi, Dimitrios Georgakopoulos:
Connecting Mobile Things to Global Sensor Network Middleware using System-generated Wrappers. - Haim Avron, Alex Druinsky, Sivan Toledo:
Reliable Iterative Condition-Number Estimation. - R. Kaniezhil, C. Chandrasekar:
Performance Analysis of Wireless Network with Opportunistic Spectrum Sharing via Cognitive Radio Nodes. - Oren Ben-Zwi, Ron Lavi, Ilan Newman:
Ascending auctions and Walrasian equilibrium. - Dima Grigoriev, Vladimir Shpilrain:
Tropical cryptography. - Sebastian Schaetz, Martin Uecker:
A Multi-GPU Programming Library for Real-Time Applications. - Matteo Riondato, Fabio Vandin:
Controlling False Positives in Frequent Itemsets Mining through the VC-Dimension. - A. Taufiq Asyhari, Tobias Koch, Albert Guillen i Fabregas:
Nearest Neighbor Decoding and Pilot-Aided Channel Estimation for Fading Channels. - M. Suresh, Maheswar Dutta, S. Purushothaman:
Application of polynomial vector (pv) processing to improve the estimation performance of bio diesel in variable compression ratio diesel engine. - Yordan Kalmukov:
Protecting Online Documents from an Unauthorized External Access (in Bulgarian). - Abhik Banerjee, Vincent Gauthier, Houda Labiod, Hossam Afifi:
Cooperation Optimized Design for Information Dissemination in Vehicular Networks using Evolutionary Game Theory. - Luca Allodi, Fabio Massacci:
My Software has a Vulnerability, should I worry? - Shreeshankar Bodas, Bilal Sadiq:
Polynomial-complexity, Low-delay Scheduling for SCFDMA-based Wireless Uplink Networks (Technical Report). - Guanfeng Liang, Ulas C. Kozat:
FAST CLOUD: Pushing the Envelope on Delay Performance of Cloud Storage with Coding. - Sidhant Misra, Pablo A. Parrilo:
Analysis of weighted ℓ1-minimization for model based compressed sensing. - Daniel Ritter:
A Logic Programming Approach to Integration Network Inference. - Joonwoo Shin, Jaekyun Moon:
Regularized Zero-Forcing Interference Alignment for the Two-Cell MIMO Interfering Broadcast Channel. - Rituparna Sarkar, Samarjit Das, Namrata Vaswani:
PaFiMoCS: Particle Filtered Modified-CS and Applications in Visual Tracking across Illumination Change. - József Vass
:
Explicit Bounding Circles for IFS Fractals. - Mario Alviano, Wolfgang Faber:
Translating NP-SPEC into ASP. - Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
SPARC - Sorted ASP with Consistency Restoring Rules. - Marcello Balduccini, Michael Gelfond:
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. - Günther Charwat, Johannes Peter Wallner, Stefan Woltran:
Utilizing ASP for Generating and Visualizing Argumentation Frameworks. - Sandeep Chintabathina:
Planning and Scheduling in Hybrid Domains Using Answer Set Programming. - Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs. - Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Normality for Disjunctive Logic Programs. - Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub:
Answer Set Programming for Stream Reasoning. - Joohyung Lee, Yunsong Meng:
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers. - Vladimir Lifschitz, Fangkai Yang:
Lloyd-Topor Completion and General Stable Models. - Joost Vennekens, Marc Denecker:
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results. - F. Peñuñuri, Carlos Alberto Cruz Villar, Ricardo Peón-Escalante, C. Villanueva:
A Dual Number Approach for Numerical Calculation of Velocity and Acceleration in the Spherical 4R Mechanism. - Amin Sakzad, Jagadeesh Harshan, Emanuele Viterbo:
On Complex LLL Algorithm for Integer Forcing Linear Receivers. - Arkadii M. Slinko, Shaun White:
Is it ever safe to vote strategically? - Yingying Xu, Yoshiyuki Kabashima:
Statistical mechanics approach to 1-bit compressed sensing. - Balagopal Komarath, Jayalal Sarma:
Pebbling, Entropy and Branching Program Size Lower Bounds. - Julia Mortera, Paola Vicard, Cecilia Vergari:
Object-Oriented Bayesian Networks for a Decision Support System for Antitrust Authority Enforcement. - (Withdrawn) A joint communication and application simulator for NoC-based SoCs.
- Brendan D. McKay, Adolfo Piperno:
Practical graph isomorphism, II. - N. Kalaiselvi, H. Hannah Inbarani:
Fuzzy Soft Set Based Classification for Gene Expression Data. - Zoltán Fülöp, Andreas Maletti:
Composition Closure of Linear Extended Top-down Tree Transducers. - Magnus Wahlström:
Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem. - Stanislaw Saganowski, Piotr Bródka, Przemyslaw Kazienko:
Influence Of The User Importance Measure On The Group Evolution Discovery. - Bruno Bauwens, Anton Makhlin, Nikolay K. Vereshchagin, Marius Zimand:
Short lists with short programs in short time. - Bernat Gastón, Jaume Pujol, Mercè Villanueva:
A realistic distributed storage system that minimizes data storage and repair bandwidth. - Philipp Ewerling:
A novel processing pipeline for optical multi-touch surfaces. - Amin Karbasi, Amir Hesam Salavati, Amin Shokrollahi:
Coupled Neural Associative Memories. - Kun Tang, Qiwei Jin, Xin Zou, Jiansheng Yang, Michael W. Vannier, Ge Wang
:
Academic Ranking with Web Mining and Axiomatic Analysis. - Anna Pyayt, Michael N. Gubanov:
BigDB: Automatic Machine Learning Optimizer. - Marzieh Sameni Toosarvandani, Nasser Modiri, Mahdi Afzali:
The risk assessment and treatment approach in order to provide lan security based on isms standard. - Xin Jin, Abdelwaheb Marzouki, Djamal Zeghlache, Linghe Kong, Athanasios V. Vasilakos:
Two Design Issues in Cognitive Sub-Small Cell for Sojourners. - Jade Alglave, Daniel Kroening, Michael Tautschnig:
Partial Orders for Efficient BMC of Concurrent Software. - Gérard Cécé:
Three Simulation Algorithms for Labelled Transition Systems. - Xi Liu, Elza Erkip:
Energy-Efficient Communication over Gaussian Interference Networks with Processing Energy Cost. - Camille Couprie, Clément Farabet, Yann LeCun:
Causal graph-based video segmentation. - Meysam Mirzaee, Soroush Akhlaghi:
Secrecy Capacity of Two-Hop Relay Assisted Wiretap Channels. - Alexey Solovyev, Thomas C. Hales:
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations. - Qi Hu, Nail A. Gumerov, Ramani Duraiswami:
Parallel Algorithms for Constructing Data Structures for Fast Multipole Methods. - Rodrigo C. de Lamare, Raimundo Sampaio Neto, Martin Haardt:
Blind Adaptive Constrained Constant-Modulus Reduced-Rank Interference Suppression Algorithms Based on Interpolation, Switched Decimation and Filtering. - Teruyoshi Washizawa, Yasuhiro Nakahara:
Parallel Computing of Discrete Element Method on GPU. - Yash Deshpande, Andrea Montanari:
Linear Bandits in High Dimension and Recommendation Systems. - Jie Gao, Sergiy A. Vorobyov, Hai Jiang, Jianshu Zhang, Martin Haardt:
Sum-Rate Maximization with Minimum Power Consumption for MIMO DF Two-Way Relaying: Part I - Relay Optimization. - S. P. Christmas, R. M. Leidich:
Driving an NP-Complete problem with Combinatorial Decomposition to generate a unique and irreversible bitstring from a single integer seed value. - Yulong Shen, Xiaohong Jiang, Jianfeng Ma:
Generalized Secure Transmission Protocol for Flexible Load-Balance Control with Cooperative Relays in Two-Hop Wireless Networks. - Kui Xu, Youyun Xu, Dongmei Zhang, Wenfeng Ma:
On Max-SINR Receiver for HMT System over Doubly Dispersive Channel. - Hongyu Liang, Hao Yuan:
On the Complexity of $t$-Closeness Anonymization and Related Problems. - (Withdrawn) FCA - An Approach On LEACH Protocol Of Wireless Sensor Networks Using Fuzzy Logic.
- Balázs Lengyel, Tamás Sebestyén, Loet Leydesdorff:
USPTO Patent Maps in Central Europe: Can "Cathedrals" be Built on the Ruins of Socialism? - Robby G. McKilliam, André Pollok, Bill Cowley, I. Vaughan L. Clarkson, Barry G. Quinn:
Carrier phase and amplitude estimation for phase shift keying using pilots and data. - Lutz Bornmann, Richard Williams:
How to calculate the practical significance of citation impact differences? An empirical example from evaluative institutional bibliometrics using adjusted predictions and marginal effects. - Michael Ummels, Christel Baier:
Computing Quantiles in Markov Reward Models. - Saied M. Abd El-atty, Z. M. Gharsseldien:
Analytical model for mobile user connectivity in coexisting femtocell/macrocell networks. - Pavel Chebotarev, Rafig Agaev:
The forest consensus theorem. - Pascal Ochem, Alexandre Pinlou:
Application of entropy compression in pattern avoidance. - Daniela Luzi, Fabrizio Pecoraro:
An Information System to Support and Monitor Clinical Trial Process. - Trisiladevi C. Nagavi, Nagappa U. Bhajantri:
An Extensive Analysis of Query by Singing/Humming System Through Query Proportion. - Nargess Memarsadeghi, Jacqueline Le Moigne, Peter N. Blake, Peter A. Morey, Wayne B. Landsman, Victor J. Chambers, Samuel H. Moseley:
Image Registration for Stability Testing of MEMS. - Ralph LaBarge
, Thomas McGuire:
Cloud Penetration Testing. - Gerhard Wunder, Chan Zhou, Martin Kasparick:
Stability and Cost Optimization in Controlled Random Walks Using Scheduling Fields. - Anna-Lena Trautmann:
A lower bound for constant dimension codes from multi-component lifted MRD codes. - P. Mahesha, D. S. Vinod
:
An Approach for Classification of Dysfluent and Fluent Speech Using K-NN And SVM. - Amir Sani, Alessandro Lazaric, Rémi Munos:
Risk-Aversion in Multi-armed Bandits. - Bogdan Patrut:
Syntactic Analysis Based on Morphological Characteristic Features of the Romanian Language. - Marek Cygan, Fabrizio Grandoni, Telikepalli Kavitha:
On Pairwise Spanners. - Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi:
A Distance-based Paraconsistent Semantics in DL-Lite. - Maheswara Rao Valluri:
Authentication Schemes Using Polynomials Over Non-Commutative Rings. - Srivatsan Laxman, Sushil Mittal, Ramarathnam Venkatesan:
Error Correction in Learning using SVMs. - Yair Noam, Andrea J. Goldsmith:
The One-Bit Null Space Learning Algorithm and its Convergence. - Chunhua Shen, Peng Wang, Sakrapee Paisitkriangkrai, Anton van den Hengel:
Training Effective Node Classifiers for Cascade Classification. - Yeow Meng Chee, Han Mao Kiah, Punarbasu Purkayastha, Chengmin Wang:
Importance of Symbol Equity in Coded Modulation for Power Line Communications. - A. Emre Cetin:
In-situ associative permuting. - Georges Gouriten, Pierre Senellart:
API Blender: A Uniform Interface to Social Platform APIs. - Jakub Kowalski, Marek Szykula:
The Černý conjecture for small automata: experimental report. - Chiara Ravazzi, Sophie M. Fosson, Enrico Magli:
Distributed soft thresholding for sparse signal recovery. - Dai Xu, Xiaowang Zhang, Zuoquan Lin:
A Forgetting-based Approach to Merging Knowledge Bases. - Paul de Kerret, Xinping Yi, David Gesbert:
On the Degrees of Freedom of the K-User Time Correlated Broadcast Channel with Delayed CSIT. - Xiaowang Zhang, Guohui Xiao, Zuoquan Lin:
A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web. - Casey C. Bennett, Kris K. Hauser:
Artificial Intelligence Framework for Simulating Clinical Decision-Making: A Markov Decision Process Approach. - Anna-Lena Trautmann, Natalia Silberstein, Joachim Rosenthal:
List Decoding of Lifted Gabidulin Codes via the Plücker Embedding. - Bassem Bouaziz, Walid Mahdi, Tarek Zlitni, Abdelmajid Ben Hamadou:
Content-Based Video Browsing by Text Region Localization and Classification. - Bassem Bouaziz, Tarek Zlitni, Walid Mahdi:
AViTExt: Automatic Video Text Extraction, A new Approach for video content indexing Application. - Ashish Khisti, Stark C. Draper:
The Diversity-Multiplexing Tradeoff of Delay-Constrained Sequential Streaming. - Stanislav Böhm, Stefan Göller, Petr Jancar:
Equivalence of Deterministic One-Counter Automata is NL-complete. - Antoine Girard:
Dynamic Event Generators for Event-Triggered Control Systems. - Tarek Zlitni, Walid Mahdi:
A Visual Grammar Approach for TV Program Identification. - Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary. - Chenda Liao, Prabir Barooah:
Estimation from Relative Measurements in Mobile Networks with Markovian Switching Topology: Clock Skew and Offset Estimation for Time Synchronization. - Yoora Kim, Kyunghan Lee, Ness B. Shroff, Injong Rhee:
Providing Probabilistic Guarantees on the Time of Information Spread in Opportunistic Networks. - Rym Khemiri, Fadila Bentayeb:
User Profile-Driven Data Warehouse Summary for Adaptive OLAP Queries. - Ge Xu, Wei Liu, Biao Chen:
Wyner's Common Information: Generalizations and A New Lossy Source Coding Interpretation. - Kannan Achan, Brendan J. Frey, Ralf Koetter:
A Factorized Variational Technique for Phase Unwrapping in Markov Random Fields. - Eyal Amir:
Efficient Approximation for Triangulation of Minimum Treewidth. - Nicos Angelopoulos, James Cussens:
Markov Chain Monte Carlo using Tree-Based Priors on Model Structure. - Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Graphical readings of possibilistic logic bases. - Hans L. Bodlaender, Arie M. C. A. Koster, Frank van den Eijkhof, Linda C. van der Gaag:
Pre-processing for Triangulation of Probabilistic Networks. - Blai Bonet:
A Calculus for Causal Relevance. - Blai Bonet:
Instrumentality Tests Revisited. - Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman:
UCP-Networks: A Directed Graphical Representation of Conditional Utilities. - Jian Cheng, Marek J. Druzdzel:
Confidence Inference in Bayesian Networks. - Robert G. Cowell:
Conditions Under Which Conditional Independence and Scoring Methods Lead to Identical Selection of Bayesian Network Models. - David Danks, Clark Glymour:
Linearity Properties of Bayes Nets with Binary Variables. - Gary A. Davis:
Using Bayesian Networks to Identify the Causal Effect of Speeding in Individual Vehicle/Pedestrian Collisions. - Rina Dechter, David Ephraim Larkin:
Hybrid Processing of Beliefs and Constraints. - Nando de Freitas, Pedro A. d. F. R. Højen-Sørensen, Michael I. Jordan, Stuart Russell:
Variational MCMC. - Amol Deshpande, Minos N. Garofalakis, Michael I. Jordan:
Efficient Stepwise Selection in Decomposable Models. - Tal El-Hay, Nir Friedman:
Incorporating Expressive Graphical Models in Variational Approximations: Chain-Graphs and Hidden Variables. - Gal Elidan, Nir Friedman:
Learning the Dimensionality of Hidden Variables. - Nir Friedman, Ori Mosenzon, Noam Slonim, Naftali Tishby:
Multivariate Information Bottleneck. - Phan Hong Giang, Prakash P. Shenoy:
A Comparison of Axiomatic Approaches to Qualitative Decision Making Using Possibility Theory. - Steven B. Gillispie, Michael D. Perlman:
Enumerating Markov Equivalence Classes of Acyclic Digraph Models. - Carlos Guestrin, Dirk Ormoneit:
Robust Combination of Local Controllers. - Vu A. Ha, Peter Haddawy, John Miyamoto:
Similarity Measures on Preference Structures, Part II: Utility Functions. - Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach --- Part 1: Causes. - Hiromitsu Hattori, Makoto Yokoo, Yuko Sakurai, Toramatsu Shintani:
A Dynamic Programming Model for Determining Bidding Strategies in Sequential Auctions: Quasi-linear Utility and Budget Constraints. - Milos Hauskrecht, Eli Upfal:
A Clustering Approach to Solving Large Stochastic Matching Problems. - Geoffrey E. Hinton, Yee Whye Teh:
Discovering Multiple Constraints that are Frequently Approximately Satisfied. - Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. - Geoff A. Jarrad:
Estimating Well-Performing Bayesian Networks using Bernoulli Mixtures. - Michael J. Kearns, Michael L. Littman, Satinder Singh:
Graphical Models for Game Theory. - Tomas Kocka, Remco R. Bouckaert, Milan Studený:
On characterizing Inclusion of Bayesian Networks. - Tomas Kocka, Robert Castelo:
Improved learning of Bayesian networks. - Petri Kontkanen, Petri Myllymäki, Henry Tirri:
Classifier Learning with Supervised Marginal Likelihood. - Jérôme Lang, Philippe Muller:
Plausible reasoning from spatial observations. - John D. Lafferty, Larry A. Wasserman:
Iterative Markov Chain Monte Carlo Computation of Reference Priors and Minimax Risk. - Kathryn Blackmond Laskey, Suzanne M. Mahoney, Ed Wright:
Hypothesis Management in Situation-Specific Network Construction. - Uri Lerner, Ronald Parr:
Inference in Hybrid Networks: Theoretical Limits and Practical Algorithms. - Uri Lerner, Eran Segal, Daphne Koller:
Exact Inference in Networks with Discrete Children of Continuous Parents. - Thomas Lukasiewicz:
Probabilistic Logic Programming under Inheritance with Overriding. - Anders L. Madsen, Dennis Nilsson:
Solving Influence Diagrams using HUGIN, Shafer-Shenoy and Lazy Propagation. - Dimitris Margaritis, Sebastian Thrun:
A Bayesian Multiresolution Independence Test for Continuous Variables. - Pedrito Maynard-Reid II, Urszula Chajewska:
Aggregating Learned Probabilistic Beliefs. - Thomas P. Minka:
Expectation Propagation for approximate Bayesian inference. - Quaid Morris:
Recognition Networks for Approximate Inference in BN20 Networks. - Kevin P. Murphy, Yair Weiss:
The Factored Frontier Algorithm for Approximate Inference in DBNs. - Ann E. Nicholson, Tal Boneh, Tim A. Wilkin, Kaye Stacey, Liz Sonenberg, Vicki Steinle:
A Case Study in Knowledge Discovery and Elicitation in an Intelligent Tutoring Application. - Dirk Ormoneit, Christiane Lemieux, David J. Fleet:
Lattice Particle Filters. - James D. Park, Adnan Darwiche:
Approximating MAP using Local Search. - Judea Pearl:
Direct and Indirect Effects. - Avi Pfeffer:
Sufficiency, Separability and Temporal Probabilistic Models. - Daniel Pless, George F. Luger:
Toward General Analysis of Recursive Probability Models. - Alexandrin Popescul, Lyle H. Ungar, David M. Pennock, Steve Lawrence:
Probabilistic Models for Unified Collaborative and Content-Based Recommendation in Sparse-Data Environments. - Pascal Poupart, Craig Boutilier:
Vector-space Analysis of Belief-state Approximation for POMDPs. - Pascal Poupart, Luis E. Ortiz, Craig Boutilier:
Value-Directed Sampling Methods for POMDPs. - Christopher Raphael:
A Mixed Graphical Model for Rhythmic Parsing. - Khashayar Rohanimanesh, Sridhar Mahadevan:
Decision-Theoretic Planning with Concurrent Temporally Extended Actions. - Paat Rusmevichientong, Benjamin Van Roy:
A Tractable POMDP for a Class of Sequencing Problems. - Rita Sharma, David Poole:
Symmetric Collaborative Filtering Using the Noisy Sensor Model. - Christian R. Shelton:
Policy Improvement for POMDPs Using Normalized Importance Sampling. - Nathan Srebro:
Maximum Likelihood Bounded Tree-Width Markov Networks. - Jin Tian, Judea Pearl:
Causal Discovery from Changes. - Tim Van Allen, Russell Greiner, Peter Hooper:
Bayesian Error-Bars for Belief Net Inference. - Linda C. van der Gaag, Silja Renooij:
Analysing Sensitivity Data from Probabilistic Networks. - Lex Weaver, Nigel Tao:
The Optimal Reward Baseline for Gradient-Based Reinforcement Learning. - Jacob A. Wegelin, Thomas S. Richardson:
Cross-covariance modelling via DAGs with hidden variables. - Max Welling, Yee Whye Teh:
Belief Optimization for Binary Networks: A Stable Alternative to Loopy Belief Propagation. - Steve J. Young:
Statistical Modeling in Continuous Speech Recognition (CSR)(Invited Talk). - Bo Zhang, Qingsheng Cai, Jianfeng Mao, Baining Guo:
Planning and Acting under Uncertainty: A New Model for Spoken Dialogue Systems. - Andrew Zimdars, David Maxwell Chickering, Christopher Meek:
Using Temporal Data for Making Recommendations. - Ounasser Abid, Jaouad Ettanfouhi, Omar Khadir:
New digital signature protocol based on elliptic curves. - Jingjin Yu:
A Linear Time Algorithm for the Feasibility of Pebble Motion on Graphs. - Harm van Seijen, Richard S. Sutton:
Planning by Prioritized Sweeping with Small Backups. - Teruyoshi Washizawa:
Application of Hopfield Network to Saccades. - Teruyoshi Washizawa, Akira Asai, Nobuhiro Yoshikawa:
A New Approach for Solving Singular Systems in Topology Optimization Using Krylov Subspace Methods. - Jianxin Li, Chengfei Liu, Rui Zhou, Jeffrey Xu Yu:
Quasi-SLCA based Keyword Query Processing over Probabilistic XML Data. - Alexei Iliasov:
Event-B/SLP. - Jianxin Li, Chengfei Liu, Liang Yao, Jeffrey Xu Yu:
Context-based Diversification for Keyword Queries over XML Data. - Jianxin Li, Chengfei Liu, Liang Yao, Jeffrey Xu Yu, Rui Zhou:
Query-driven Frequent Co-occurring Term Extraction over Relational Data using MapReduce. - Shashank K. Mehta, Pawan Aurora:
Completely Positive formulation of the Graph Isomorphism Problem. - Henning Thomsen, Nuno K. Pratas, Cedomir Stefanovic, Petar Popovski:
Analysis of the LTE Access Reservation Protocol for Real-Time Traffic. - Richard Tantius, Daniel Speicher, Andreas Behrend:
Towards an Application of Update Propagation on Logic Programs Representing Java Source Code. - Laurent Romary:
TEI and LMF crosswalks. - Daniel Speicher, Andri Bremm:
Clone Removal in Java Programs as a Process of Stepwise Unification. - Oleg Sychev
, Dmitry Mamontov:
Determining token sequence mistakes in responses to questions with open text answer. - Nicolas Bousquet, Aurélie Lagoutte, Stéphan Thomassé:
Clique versus Independent Set. - Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati:
Operator Precedence ω-languages. - Jing Yang, Maosheng Xiong, Cunsheng Ding:
Weight Distribution of a Class of Cyclic Codes with Arbitrary Number of Zeros. - Hubert Karl, Sebstian Karl:
Zur iterativen Loesosung von linearen Gleichungssystemen. - Fredrik Johansson, Manuel Kauers, Marc Mezzarobba:
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. - Akashnil Dutta, Reut Levi, Dana Ron, Ronitt Rubinfeld:
A simple online competitive adaptation of Lempel-Ziv compression with efficient random access support. - Yunghsiang S. Han, Hung-Ta Pai, Rong Zheng, Pramod K. Varshney:
Update-Efficient Regenerating Codes with Minimum Per-Node Storage. - Giulio Bottegal, Giorgio Picci:
Flocking and Generalized Factor Analysis. - Jan Arne Telle, Yngve Villanger:
Connecting Terminals and 2-Disjoint Connected Subgraphs. - Vladimir B. Teif:
Science 3.0: Corrections to the Science 2.0 paradigm. - Paulo Shakarian, Patrick Roos, Geoffrey Moores:
A Novel Analytical Method for Evolutionary Graph Theory Problems. - Mohamed Eisa, Amira Eletrebi, Ebrahim Elhenawy:
Enhancing the retrieval performance by combing the texture and edge features. - Hiroki Sayama, Irene Pestov, Jeffrey Schmidt, Benjamin James Bush, Chun Wong, Junichi Yamanoi, Thilo Gross:
Modeling complex systems with adaptive networks. - Mahdi Soltanolkotabi, Ehsan Elhamifar, Emmanuel J. Candès:
Robust Subspace Clustering. - Daniel Russo, Benjamin Van Roy:
Learning to Optimize Via Posterior Sampling. - Yichao Huang, Bhaskar D. Rao:
An Analytical Framework for Heterogeneous Partial Feedback Design in Heterogeneous Multicell OFDMA Networks. - Damien Woods, Ho-Lin Chen, Scott Goodfriend, Nadine Dabby, Erik Winfree, Peng Yin:
Active Self-Assembly of Algorithmic Shapes and Patterns in Polylogarithmic Time. - Xu-Cheng Yin, Xuwang Yin, Kaizhu Huang:
Robust Text Detection in Natural Scene Images. - Farshad Shams, Marco Luise:
Upper-Bounding the Capacity of Relay Communications - Part I. - Tina Yu, Dave Wilkinson, Julian Clark, Morgan Sullivan:
Computational Intelligence for Deepwater Reservoir Depositional Environments Interpretation. - Yingfei Diao, Zhiyun Lin, Minyue Fu, Huanshui Zhang:
A New Distributed Localization Method for Sensor Networks. - Amirreza Zarrabi:
Dynamic Transparent General Purpose Process Migration For Linux. - Hachem Kadri, Asma Rabaoui, Philippe Preux, Emmanuel Duflos, Alain Rakotomamonjy:
Functional Regularized Least Squares Classi cation with Operator-valued Kernels. - Romain Guigourès, Marc Boullé, Fabrice Rossi:
A Triclustering Approach for Time Evolving Graphs. - Krishnendu Chatterjee, Nathanaël Fijalkow:
Infinite-state games with finitary conditions. - Vianney Perchet:
Nash equilibria with partial monitoring; Computation and Lemke-Howson algorithm. - Vianney Perchet:
Approachability, Regret and Calibration; implications and equivalences. - Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. - Josef Urban:
BliStr: The Blind Strategymaker. - S. Thirumurugan, E. George Dharma Prakash Raj:
An Extended Weighted Partitioning Around Cluster Head Mechanism for Ad Hoc Network. - Victor Marsault, Jacques Sakarovitch:
Ultimate periodicity of b-recognisable sets : a quasilinear procedure. - Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Reduced-Rank Space-Time Interference Suppression with Joint Iterative Least Squares Algorithms for Spread Spectrum Systems. - Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Reduced-Rank Equalization Algorithms Based on Alternating Optimization Design Techniques for Multi-Antenna Systems. - Jiankou Li:
Evaluating community structure in large network with random walks. - Sou-Cheng T. Choi, Michael A. Saunders:
ALGORITHM xxx: MINRES-QLP for Singular Symmetric and Hermitian Linear Equations and Least-Squares Problems. - Ahmed Rhif, Zohra Kardous, Naceur Benhadj Braiek:
A High-Order Sliding Mode Observer: Torpedo Guidance Application. - Ahmed Rhif, Zohra Kardous, Naceur Benhadj Braiek:
A Sliding Mode Multimodel Control for a Sensorless Photovoltaic System. - (Withdrawn) A Sliding Mode-Multimodel Control with Sliding Mode Observer for a Sensorless Pumping System.
- Joseph Antonides, Toshiro Kubota:
Binocular disparity as an explanation for the moon illusion. - Christopher D. Hollander, Annie S. Wu:
Distributed Consensus Formation Through Unconstrained Gossiping. - George Athanasiou, Pradeep Chathuranga Weeraddana, Carlo Fischione, Leandros Tassiulas:
Optimizing Client Association in 60 GHz Wireless Access Networks. - Per Austrin, Johan Håstad, Rafael Pass:
On the Power of Many One-Bit Provers. - Per Austrin, Subhash Khot:
A Characterization of Approximation Resistance for Even $k$-Partite CSPs. - Mehmet Karaca, Eylem Ekici, Özgür Erçetin:
Throughput-Optimal Distributed Algorithm for WLANs over Fading Channels. - Satoshi Matsuoka:
A New Proof of P-time Completeness of Linear Lambda Calculus. - Jafar Muhammadi, Hamid Reza Rabiee:
Crowd computing: a survey. - Joydeep Basu, Tarun Kanti Bhattacharyya:
Microelectromechanical Resonators for Radio Frequency Communication Applications. - Muhammad Rafi, Mohammad Shahid Shaikh:
A comparison of SVM and RVM for Document Classification. - Christian Scheible, Hinrich Schütze:
Cutting Recursive Autoencoder Trees. - Eugenio Culurciello, Jordan Bates, Aysegul Dundar, José Antonio Pérez-Carrasco, Clément Farabet:
Clustering Learning for Robotic Vision. - Christian Osendorfer, Justin Bayer, Patrick van der Smagt:
Unsupervised Feature Learning for low-level Local Image Descriptors. - Xu Chen, Jianwei Huang:
Database-assisted Distributed Spectrum Sharing. - Rami Al-Rfou', Steven Skiena:
SpeedRead: A Fast Named Entity Recognition Pipeline. - Abhishek Jain, Giuseppe Bonanno, Hima Gupta, Ajay Goyal:
Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs. - Wentao Huang, Tracey Ho, Hongyi Yao, Sidharth Jaggi:
Rateless Resilient Network Coding Against Byzantine Adversaries. - Alexandre Maurer, Sébastien Tixeuil:
On Byzantine Broadcast in Planar Graphs. - Colin McQuillan:
Approximating Holant problems by winding. - Anh Cat Le Ngo, Kenneth Li-Minn Ang, Jasmine Kah-Phooi Seng, Guoping Qiu:
Wavelet-based Scale Saliency. - Gabriel Scherer, Didier Rémy:
GADTs meet subtyping. - Omar Khadir:
Conditions on the generator for forging ElGamal signature. - Tao Wang, Yong Fang, Luc Vandendorpe:
Novel Subcarrier-pair based Opportunistic DF Protocol for Cooperative Downlink OFDMA. - Tao Wang, Yong Fang, Luc Vandendorpe:
Power minimization for OFDM Transmission with Subcarrier-pair based Opportunistic DF Relaying. - Jiankou Li, Angsheng Li:
Characters and patterns of communities in networks. - Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi:
Recurrence relations versus succession rules. - Ran Wolff:
Local Thresholding on Distributed Hash Tables. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
On the Vector Linear Solvability of Networks and Discrete Polymatroids. - Dohy Hong, Fabien Mathieu
, Gérard Burnside:
Convergence of the D-iteration algorithm: convergence rate and asynchronous distributed scheme. - Muhammad Yasir Malik:
An Outline of Security in Wireless Sensor Networks: Threats, Countermeasures and Implementations. - Jan Olaf Blech, Sidi Ould Biha:
On Formal Reasoning on the Semantics of PLC using Coq. - Dmitriy Nuriyev:
A DP Approach to Hamiltonian Path Problem. - Syed Ali Jafar:
Topological Interference Management through Index Coding. - Qasim Nasar-Ullah:
A parallel implementation of a derivative pricing model incorporating SABR calibration and probability lookup tables. - Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Lazy abstractions for timed automata. - Amin Abdel Khalek, Constantine Caramanis, Robert W. Heath Jr.:
Loss Visibility Optimized Real-time Video Transmission over MIMO Systems. - Juan José Jaramillo, Lei Ying:
Distributed Admission Control without Knowledge of the Capacity Region. - Mery Yolima Uribe Rios, Rafael V. Páez:
Recommendation system for information services adapted, over terrestrial digital television. - Thomas Seiller, Clément Aubert:
Logarithmic Space and Permutations. - Joonseok Lee, Seungyeon Kim, Guy Lebanon, Yoram Singer:
Matrix Approximation under Local Low-Rank Assumption. - Justin Domke:
Learning Graphical Model Parameters with Approximate Marginal Inference. - (Withdrawn) Audio Artist Identification by Deep Neural Network.
- Seungyeon Kim, Fuxin Li, Guy Lebanon, Irfan A. Essa:
The Manifold of Human Emotions. - Qin Huang, Li Tang, Zulin Wang, Zixiang Xiong, Shanbao He:
A Low-Complexity Encoding of Quasi-Cyclic Codes Based on Galois Fourier Transform. - Allison B. Lewko, Mark Lewko:
On the Complexity of Asynchronous Agreement Against Powerful Adversaries. - Judy Hoffman, Erik Rodner, Jeff Donahue, Kate Saenko, Trevor Darrell:
Efficient Learning of Domain-invariant Image Representations. - Yanqing Chen, Bryan Perozzi, Rami Al-Rfou', Steven Skiena:
The Expressive Power of Word Embeddings. - Easwar Vivek Mangipudi, Venkatesh Ramaiyan:
A Framework for Quality of Service in a Multiple Access Network. - Junhong Lin, Song Li:
Sparse Recovery with Coherent Tight Frame via Analysis Dantzig Selector and Analysis LASSO. - Mong-Jen Kao, Der-Tsai Lee, Dorothea Wagner:
Approximating Metrics by Tree Metrics of Small Distance-Weighted Average Stretch. - Omar Khadir:
New variant of ElGamal signature scheme. - Marcos Sánchez-Élez, Sara Roman:
Reconfiguration Strategies for Online Hardware Multitasking in Embedded Systems. - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction sequence based non-uniform complexity classes. - Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. - Arpan Chattopadhyay, Marceau Coupechoux, Anurag Kumar:
Measurement Based Impromptu Deployment of a Multi-Hop Wireless Relay Network. - Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot:
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions. - Sainbayar Sukhbaatar, Takaki Makino, Kazuyuki Aihara:
Auto-pooling: Learning to Improve Invariance of Image Features from Image Sequences. - Laurens van der Maaten:
Barnes-Hut-SNE. - Michalis Smyrnakis:
Multi-agent learning using Fictitious Play and Extended Kalman Filter. - Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
On Recursive Operations Over Logic LTS. - Yuichiro Fujiwara:
Self-synchronizing pulse position modulation with error tolerance. - Karin Schnass:
On the Identifiability of Overcomplete Dictionaries via the Minimisation Principle Underlying K-SVD. - Gabriele Fici, Luca Q. Zamboni:
On the least number of palindromes contained in an infinite word. - Steven Robert Young, Itamar Arel:
Recurrent Online Clustering as a Spatio-Temporal Feature Extractor in DeSTIN. - Olle Liljenzin:
Confluently Persistent Sets and Maps. - Hugo Van hamme:
The Diagonalized Newton Algorithm for Nonnegative Matrix Factorization. - Felix Bauer, Roland Memisevic:
Feature grouping from spatially constrained multiplicative interaction. - Mike Stay, Jamie Vicary:
Bicategorical Semantics for Nondeterministic Computation. - Jason Crampton, Gregory Z. Gutin:
Constraint Expressions and Workflow Satisfiability. - Gang Mei, John C. Tipper, Nengxiong Xu:
3D Geological Modeling and Visualization of Rock Masses Based on Google Earth: A Case Study. - (Withdrawn) A Geometric Descriptor for Cell-Division Detection.
- Cheng Zhang, Carl Henrik Ek, Hedvig Kjellström:
Factorized Topic Models. - Fatemeh Rajabi-Alni, Alireza Bagheri:
Embedding a balanced binary tree on a bounded point set. - Tommi Vatanen, Tapani Raiko, Harri Valpola, Yann LeCun:
Pushing Stochastic Gradient towards Second-Order Methods -- Backpropagation Learning with Transformations in Nonlinearities. - Fatemeh Rajabi-Alni, Alireza Bagheri:
Many to Many Matching with Demands and Capacities. - Xavier Glorot, Antoine Bordes, Jason Weston, Yoshua Bengio:
A Semantic Matching Energy Function for Learning with Multi-relational Data. - Djamal Belazzougui, Roman Kolpakov, Mathieu Raffinot:
Various improvements to text fingerprinting. - Itai Ashlagi, Patrick Jaillet, Vahideh H. Manshadi:
Kidney Exchange in Dynamic Sparse Heterogenous Pools. - Mateusz Malinowski, Mario Fritz:
Learnable Pooling Regions for Image Classification. - Indre Zliobaite
:
How good is the Electricity benchmark for evaluating concept drift adaptation. - Vamsi K. Potluru, Sergey M. Plis, Jonathan Le Roux, Barak A. Pearlmutter
, Vince D. Calhoun, Thomas P. Hayes:
Block Coordinate Descent for Sparse NMF. - Charles F. Cadieu, Ha Hong, Dan Yamins, Nicolas Pinto, Najib J. Majaj, James J. DiCarlo:
The Neural Representation Benchmark and its Evaluation on Brain and Machine. - Xanadu Halkias, Sébastien Paris, Hervé Glotin:
Sparse Penalty in Deep Belief Networks: Using the Mixed Norm Constraint. - Sang Hyun Kim, Eric Feron, John-Paul Clarke, Aude Marzuoli, Daniel Delahaye:
Airport Gate Scheduling for Passengers, Aircraft, and Operation. - Joan Bruna, Arthur Szlam, Yann LeCun:
Learning Stable Group Invariant Representations with Convolutional Networks. - Yoonseop Kang, Seungjin Choi:
Learning Features with Structure-Adapting Multi-view Exponential Family Harmoniums. - Rakesh Chalasani, José C. Príncipe:
Deep Predictive Coding Networks. - Guillaume Desjardins, Razvan Pascanu, Aaron C. Courville, Yoshua Bengio:
Metric-Free Natural Gradient for Joint-Training of Boltzmann Machines. - Benjamin Englard:
A Rhetorical Analysis Approach to Natural Language Processing. - Luis Gonzalo Sánchez Giraldo, José C. Príncipe:
Information Theoretic Learning with Infinitely Divisible Kernels. - Ian R. Petersen:
Negative Imaginary Systems Theory in the Robust Control of Highly Resonant Flexible Structures. - Matthew D. Zeiler, Rob Fergus:
Stochastic Pooling for Regularization of Deep Convolutional Neural Networks. - Alan L. Yuille, Roozbeh Mottaghi:
Complexity of Representation and Inference in Compositional Models with Part Sharing. - Camille Couprie, Clément Farabet, Laurent Najman
, Yann LeCun:
Indoor Semantic Segmentation using depth information. - Boyi Xie, Shuheng Zheng:
Kernelized Locality-Sensitive Hashing for Semi-Supervised Agglomerative Clustering. - Rostislav Goroshin, Yann LeCun:
Saturating Auto-Encoder. - Frank Nielsen:
Cramer-Rao Lower Bound and Information Geometry. - Yann N. Dauphin, Yoshua Bengio:
Big Neural Networks Waste Capacity. - Razvan Pascanu, Yoshua Bengio:
Revisiting Natural Gradient for Deep Networks. - Arthur Szlam:
Tree structured sparse coding on cubes. - Ian Lenz, Honglak Lee, Ashutosh Saxena:
Deep Learning for Detecting Robotic Grasps. - Bo Ji, Gagan Raj Gupta, Xiaojun Lin, Ness B. Shroff:
Low-Complexity Scheduling Policies for Achieving Throughput and Delay Optimality in Multi-Channel Wireless Networks. - Ahmed Bader, Karim Abed-Meraim, Mohamed-Slim Alouini
:
Technical Report: Beaconless Geo-Routing Under The Spotlight: Practical Link Models and Application Scenarios. - Carlos H. M. de Lima, Mehdi Bennis, Matti Latva-aho:
Statistical Analysis of Self-Organizing Networks with Biased Cell Association and Interference Avoidance. - Dong Yu, Michael L. Seltzer, Jinyu Li, Jui-Ting Huang, Frank Seide:
Feature Learning in Deep Neural Networks - A Study on Speech Recognition Tasks. - Vianney Perchet, Marc Quincampoix:
On an unified framework for approachability in games with or without signals. - Tsuyoshi Okita
:
Joint Space Neural Probabilistic Language Model for Statistical Machine Translation. - Danqi Chen, Richard Socher, Christopher D. Manning, Andrew Y. Ng:
Learning New Facts From Knowledge Bases With Neural Tensor Networks and Semantic Word Vectors. - Hinrich Schütze, Christian Scheible:
Two SVDs produce more focal deep learning representations. - Qifeng Qiao, Peter A. Beling:
Behavior Pattern Recognition using A New Representation Model. - Wojciech Mazurczyk, Maciej Karas, Krzysztof Szczypiorski:
SkyDe: a Skype-based Steganographic Method. - Ryan Kiros:
Training Neural Networks with Stochastic Hessian-Free Optimization. - Kye-Hyeon Kim, Rui Cai, Lei Zhang, Seungjin Choi:
Regularized Discriminant Embedding for Visual Descriptor Learning. - Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng:
Zero-Shot Learning Through Cross-Modal Transfer. - Dimitrios Katselis, Cristian R. Rojas, Mats Bengtsson, Emil Björnson, Xavier Bombois, Nafiseh Shariati, Magnus Jansson, Håkan Hjalmarsson:
Training Sequence Design for MIMO Channels: An Application-Oriented Approach. - Federico Schlüter, Facundo Bromberg, Alejandro Edera:
The IBMAP approach for Markov networks structure learning. - Timothy H. Vines, Rose L. Andrew, Dan G. Bock, Michelle T. Franklin, Kimberly J. Gilbert, Nolan C. Kane, Jean-Sébastien Moore, Brook T. Moyers, Sébastien Renaut, Diana J. Rennison, Thor Veen, Sam Yeaman:
Mandated data archiving greatly improves access to research data. - Björn Brembs, Marcus Munafò:
Deep Impact: Unintended consequences of journal rank. - el Houcein el Abdalaoui, Mohamed Dahmoune, Djelloul Ziadi:
On the transition reduction problem for finite automata. - Leif Johnson, Craig Corcoran:
Switched linear encoding with rectified linear autoencoders. - Derek C. Rose, Itamar Arel:
Gradient Driven Learning for Pooling in Visual Pipeline Feature Extraction Models. - Vikas Dhiman, Julian Ryde, Jason J. Corso:
Mutual Localization: Two Camera Relative 6-DOF Pose Estimation from Reciprocal Fiducial Observation. - Tom Schaul, Yann LeCun:
Adaptive learning rates and parallelization for stochastic, sparse, non-smooth gradients. - Shinnosuke Seki:
Combinatorial Optimization in Pattern Assembly. - Jason Tyler Rolfe, Yann LeCun:
Discriminative Recurrent Sparse Auto-Encoders. - Joshua Brakensiek, Aaron Potechin:
Bounds on the Size of Sound Monotone Switching Networks Accepting Permutation Sets of Directed Trees. - Tomás Mikolov, Kai Chen, Greg Corrado, Jeffrey Dean:
Efficient Estimation of Word Representations in Vector Space. - Maheswaran Sathiamoorthy, Megasthenis Asteris, Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Ramkumar Vadali, Scott Chen, Dhruba Borthakur:
XORing Elephants: Novel Erasure Codes for Big Data. - Francesco Dinuzzo:
Learning Output Kernels for Multi-Task Problems. - Teresa Alsinet, Lluís Godo:
A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables. - Christophe Andrieu, Nando de Freitas, Arnaud Doucet:
Reversible Jump MCMC Simulated Annealing for Neural Networks. - Ann Becker, Dan Geiger, Christopher Meek:
Perfect Tree-Like Markovian Distributions. - Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
A Principled Analysis of Merging Operations in Possibilistic Logic. - Daniel S. Bernstein, Shlomo Zilberstein, Neil Immerman:
The Complexity of Decentralized Control of Markov Decision Processes. - Jeff A. Bilmes:
Dynamic Bayesian Multinets. - Christopher M. Bishop, Michael E. Tipping:
Variational Relevance Vector Machines. - Craig Boutilier:
Approximately Optimal Monitoring of Plan Preconditions. - Urszula Chajewska, Daphne Koller:
Utilities as Random Variables: Density Estimation and Structure Discovery. - Jian Cheng, Marek J. Druzdzel:
Computational Investigation of Low-Discrepancy Sequences in Simulation Algorithms for Bayesian Networks. - David Maxwell Chickering, David Heckerman:
A Decision Theoretic Approach to Targeted Advertising. - Frans Coetzee, Steve Lawrence, C. Lee Giles:
Bayesian Classification and Feature Selection from Finite Data Sets. - Gregory F. Cooper:
A Bayesian Method for Causal Modeling and Discovery Under Selection. - Fábio Gagliardi Cozman:
Separation Properties of Sets of Probability Measures. - James Cussens:
Stochastic Logic Programs: Sampling, Inference and Applications. - Adnan Darwiche:
A Differential Approach to Inference in Bayesian Networks. - Adnan Darwiche:
Any-Space Probabilistic Inference. - Sanjoy Dasgupta:
Experiments with Random Projection. - Sanjoy Dasgupta, Leonard J. Schulman:
A Two-round Variant of EM for Gaussian Mixtures. - Ian Davidson:
Minimum Message Length Clustering Using Gibbs Sampling. - Scott Davies, Andrew W. Moore:
Mix-nets: Factored Mixtures of Gaussians in Bayesian Networks With Mixed Continuous And Discrete Variables. - Arnaud Doucet, Nando de Freitas, Kevin P. Murphy, Stuart Russell:
Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks. - Brendan J. Frey, Nebojsa Jojic:
Learning Graphical Models of Images, Videos and Their Spatial Transformations. - Nir Friedman, Dan Geiger, Noam Lotner:
Likelihood Computations Using Value Abstractions. - Nir Friedman, Daphne Koller:
Being Bayesian about Network Structure. - Nir Friedman, Iftach Nachman:
Gaussian Process Networks. - Phan Hong Giang, Prakash P. Shenoy:
A Qualitative Linear Utility Theory for Spohn's Theory of Epistemic Beliefs. - Peter Gorniak, David Poole:
Building a Stochastic Dynamic Model of Application Use. - Peter D. Grünwald:
Maximum Entropy and the Glasses You Are Looking Through. - Michael Harvey, Radford M. Neal:
Inference for Belief Networks Using Coupling From the Past. - David Heckerman, David Maxwell Chickering, Christopher Meek, Robert Rounthwaite, Carl Myers Kadie:
Dependency Networks for Collaborative Filtering and Data Visualization. - Søren Højsgaard:
YGGDRASIL - A Statistical Package for Learning Split Models. - Michael C. Horsch, William S. Havens:
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. - Tony Jebara, Tommi S. Jaakkola:
Feature Selection and Dualities in Maximum Entropy Discrimination. - Radim Jirousek:
Marginalization in Composed Probabilistic Models. - Michael J. Kearns, Yishay Mansour, Satinder Singh:
Fast Planning in Stochastic Games. - Uffe Kjærulff, Linda C. van der Gaag:
Making Sensitivity Analysis Computationally Efficient. - Daphne Koller, Ronald Parr:
Policy Iteration for Factored MDPs. - Pierfrancesco La Mura:
Game Networks. - Pedro Larrañaga, Ramon Etxeberria, José Antonio Lozano, José M. Peña:
Combinatorial Optimization by Learning and Simulation of Bayesian Networks. - Tsai-Ching Lu, Marek J. Druzdzel, Tze-Yun Leong:
Causal Mechanism-based Model Construction. - Thomas Lukasiewicz:
Credal Networks under Maximum Entropy. - Peter McBurney, Simon Parsons:
Risk Agoras: Dialectical Argumentation for Scientific Reasoning. - Marina Meila, Tommi S. Jaakkola:
Tractable Bayesian Learning of Tree Belief Networks. - Brian Milch, Daphne Koller:
Probabilistic Models for Agents' Beliefs and Decisions. - Andrew W. Moore:
The Anchors Hierachy: Using the triangle inequality to survive high dimensional data. - Andrew Y. Ng, Michael I. Jordan:
PEGASUS: A Policy Search Method for Large MDPs and POMDPs. - Thomas D. Nielsen, Finn Verner Jensen:
Representing and Solving Asymmetric Bayesian Decision Problems. - Thomas D. Nielsen, Pierre-Henri Wuillemin, Finn Verner Jensen, Uffe Kjærulff:
Using ROBDDs for Inference in Bayesian Networks with Troubleshooting as an Example. - Dennis Nilsson, Steffen L. Lauritzen:
Evaluating Influence Diagrams using LIMIDs. - Luis E. Ortiz, Leslie Pack Kaelbling:
Adaptive Importance Sampling for Estimation in Structured Domains. - Tim Paek, Eric Horvitz:
Conversation as Action Under Uncertainty. - Dmitry Pavlov, Heikki Mannila, Padhraic Smyth:
Probabilistic Models for Query Approximation with Large Sparse Binary Datasets. - David M. Pennock, Eric Horvitz, Steve Lawrence, C. Lee Giles:
Collaborative Filtering by Personality Diagnosis: A Hybrid Memory- and Model-Based Approach. - David M. Pennock, Michael P. Wellman:
Compact Securities Markets for Pareto Optimal Reallocation of Risk. - Pascal Poupart, Craig Boutilier:
Value-Directed Belief State Approximation for POMDPs. - David V. Pynadath, Michael P. Wellman:
Probabilistic State-Dependent Grammars for Plan Recognition. - Silja Renooij, Linda C. van der Gaag, Simon Parsons, Shaw Green:
Pivotal Pruning of Trade-offs in QPNs. - Dale Schuurmans, Finnegan Southey:
Monte Carlo Inference via Greedy Importance Sampling. - Marc Sebban, Richard Nock:
Combining Feature and Prototype Pruning by Uncertainty Minimization. - Satinder Singh, Michael J. Kearns, Yishay Mansour:
Nash Convergence of Gradient Dynamics in Iterated General-Sum Games. - Claus Skaanning:
A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters. - Harald Steck:
On the Use of Skeletons when Learning in Bayesian Networks. - Amos J. Storkey:
Dynamic Trees: A Structured Variational Method Giving Efficient Propagation Rules. - Loo-Nin Teow, Kia-Fock Loe:
An Uncertainty Framework for Classification. - Jin Tian:
A Branch-and-Bound Algorithm for MDL Learning Bayesian Networks. - Jin Tian, Judea Pearl:
Probabilities of Causation: Bounds and Identification. - Shivakumar Vaithyanathan, Byron Dom:
Model-Based Hierarchical Clustering. - Jirina Vejnarová:
Conditional Independence and Markov Properties in Possibility Theory. - Wim Wiegerinck:
Variational Approximations between Mean Field Theory and the Junction Tree Algorithm. - David M. Williamson, Russell G. Almond, Robert J. Mislevy:
Model Criticism of Bayesian Networks with Latent Variables. - Frank Wittig, Anthony Jameson:
Exploiting Qualitative Knowledge in the Learning of Conditional Probabilities of Bayesian Networks. - Carlo Comin:
(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata. - Hoyt A. Koepke, Elizabeth Thompson:
Efficient Identification of Equivalences in Dynamic Graphs and Pedigree Structures. - Anh Cat Le Ngo, Kenneth Li-Minn Ang, Guoping Qiu, Jasmine Kah-Phooi Seng:
Multiscale Discriminant Saliency for Visual Attention. - Tingting Zhao, Hirotaka Hachiya, Voot Tangkaratt, Jun Morimoto, Masashi Sugiyama:
Efficient Sample Reuse in Policy Gradients with Parameter-based Exploration. - Ton Kloks, Yue-Li Wang:
On retracts and folds in cographs. - Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Generic Regular Decompositions for Parametric Polynomial Systems. - Alexandre Maurer, Sébastien Tixeuil:
Parameterizable Byzantine Broadcast in Loosely Connected Networks. - Deepali Virmani, Satbir Jain:
Performance Comparison of Proposed Lifetime Maximizing Trees for Data Aggregation in Wireless Sensor Networks. - Deepali Virmani, Satbir Jain:
Stable Routing for achieving Quality of Service in wireless Sensor Networks. - Thomas Rothvoß:
Approximating Bin Packing within O(log OPT * log log OPT) bins. - Fabian Schuh, Andreas Schenk, Johannes B. Huber:
Punctured Trellis-Coded Modulation. - Çaglar Gülçehre, Yoshua Bengio:
Knowledge Matters: Importance of Prior Information for Optimization. - Chengqing Li, Tao Xie, Qi Liu:
Cryptanalyzing an image encryption scheme based on logistic map. - Benjamin Doerr, Anton V. Eremeev, Frank Neumann, Madeleine Theile, Christian Thyssen:
Evolutionary Algorithms and Dynamic Programming. - Neri Merhav:
Another look at expurgated bounds and their statistical-mechanical interpretation. - Xibo Jin, Fa Zhang, Ying Song, Liya Fan, Zhiyong Liu:
Energy-Efficient Scheduling with Time and Processors Eligibility Restrictions. - Emanuel Diamant:
When you talk about "Information processing" what actually do you have in mind? - Zhiyuan Weng, Petar M. Djuric:
A Search-free DOA Estimation Algorithm for Coprime Arrays. - Marcelo Cicconet:
On the Product Rule for Classification Problems. - Luke Bornn, Yutian Chen, Nando de Freitas, Mareija Eskelin, Jing Fang, Max Welling:
Herded Gibbs Sampling. - Jason Weston, Ron J. Weiss, Hector Yee:
Affinity Weighted Embedding. - Ratko V. Tomic:
Network Throughput Optimization via Error Correcting Codes. - Amina Piemontese, Andrea Modenini, Giulio Colavolpe, Nader Alagha:
Improving the Spectral Efficiency of Nonlinear Satellite Systems through Time-Frequency Packing and Advanced Processing. - Saeid Haghighatshoar, Emmanuel Abbe, Emre Telatar:
A new entropy power inequality for integer-valued random variables. - Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas:
Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis. - Rajeev Kumar Shakya, Satyam Agarwal, Yatindra Nath Singh, Nishchal K. Verma, Amitabha Roy:
DSAT-MAC : Dynamic Slot Allocation based TDMA MAC protocol for Cognitive Radio Networks. - John Lasseter, John Cipriano:
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks. - Daniel Apon, Jonathan Katz, Alex J. Malozemoff:
One-Round Multi-Party Communication Complexity of Distinguishing Sums. - Marco Correia, Pedro Barahona:
View-based propagation of decomposable constraints. - Hyang-Won Lee, Kayi Lee, Eytan H. Modiano:
Maximizing Reliability in WDM Networks through Lightpath Routing. - Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A geometric protocol for cryptography with cards. - Sebastian Riedel, Limin Yao, Andrew McCallum:
Latent Relation Representations for Universal Schemas. - Henk D. L. Hollmann:
Storage codes -- coding rate and repair locality. - Alin Bostan, Pierre Lairez, Bruno Salvy:
Creative telescoping for rational functions using the Griffiths-Dwork method. - Yi Liu, Chau Yuen, Jiming Chen, Xianghui Cao:
A Scalable Hybrid MAC Protocol for Massive M2M Networks. - Matthew J. Sottile, Geoffrey C. Hulette:
Deriving program transformations by demonstration. - Mahimn Pandya, Hiren Joshi, Ashish Jani:
A Novel Digital Watermarking Algorithm using Random Matrix Image. - Djallel Bouneffouf:
Applying machine learning techniques to improve user acceptance on ubiquitous environement. - Faîçal Felhi, Jalel Akaichi:
A new approach towards the self-adaptability of Service-Oriented Architectures to the context based on workflow. - César Sánchez, Alejandro Sánchez:
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. - Mohamed Ali Mahjoub, Nabil Ghanmy, Khlifia Jayech, Ikram Miled:
Multiple models of Bayesian networks applied to offline recognition of Arabic handwritten city names. - Lael Odhner, Leif P. Jentoft, Mark R. Claffee, Nicholas Corson, Yaroslav Tenzer, Raymond R. Ma, Martin Buehler, Robert Kohout, Robert D. Howe, Aaron M. Dollar:
A Compliant, Underactuated Hand for Robust Manipulation. - Mathis Seidl, Andreas Schenk, Clemens Stierstorfer, Johannes B. Huber:
Multilevel Polar-Coded Modulation. - Haiqin Wang, Marek J. Druzdzel:
User Interface Tools for Navigation in Conditional Probability Tables and Elicitation of Probabilities in Bayesian Networks. - Anne S. Hsu, Nick Chater, Paul M. B. Vitányi:
Language learning from positive evidence, reconsidered: A simplicity-based approach. - Jean-Guillaume Dumas
, Clément Pernet, Ziad Sultan:
Simultaneous computation of the row and column rank profiles. - Valentin Savin, David Declercq:
Binary Diversity for Non-Binary LDPC Codes over the Rayleigh Channel. - Luis Filipe Coelho Antunes, Andre Souto, Andreia Teixeira, Paul M. B. Vitányi:
On the logical depth function. - Sara Ahmadian, Zachary Friggstad, Chaitanya Swamy:
Local-Search based Approximation Algorithms for Mobile Facility Location Problems. - Bharath Ramesh, Calvin J. Ribbens, Srinidhi Varadarajan:
Regional Consistency: Programmability and Performance for Non-Cache-Coherent Systems. - Andrew Mastin, Patrick Jaillet:
Average-Case Performance of Rollout Algorithms for Knapsack Problems. - Olivier Cessenat:
Sophie, an FDTD code on the way to multicore, getting rid of the memory bandwidth bottleneck better using cache. - Deepali Virmani, Satbir Jain:
Decentralized Lifetime Minimizing Tree for Data Aggregation in Wireless Sensor Networks. - (Withdrawn) A PID-Sliding Mode Control Design for a Coupled Tank.
- Salah Werda, Walid Mahdi, Abdelmajid Ben Hamadou:
Lip Localization and Viseme Classification for Visual Speech Recognition. - Fabio Pasqualetti, Domenica Borra, Francesco Bullo:
Consensus Networks over Finite Fields. - Ludo Waltman, Nees Jan van Eck, Paul Wouters:
Counting publications and citations: Is more always better? - Xavier Franch:
Requirements Management for Service Providers: the Case of Services for Citizens. - Nando de Freitas, Kevin P. Murphy:
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (2012). - Christopher Meek, Uffe Kjærulff:
Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (2003). - John S. Breese, Daphne Koller:
Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (2001). - Adnan Darwiche, Nir Friedman:
Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002). - Yunghsiang Sam Han, Hung-Ta Pai, Rong Zheng, Pramod K. Varshney:
Update-Efficient Error-Correcting Regenerating Codes. - Chao-Wei Huang, Tsung-Hui Chang, Xiangyun Zhou, Yao-Win Peter Hong:
Two-Way Training for Discriminatory Channel Estimation in Wireless MIMO Systems. - Antonia Wachter-Zeh:
Bounds on List Decoding of Rank Metric Codes. - Vishnu Namboodiri, Kiran Venugopal, B. Sundar Rajan:
Physical Layer Network Coding for Two-Way Relaying with QAM. - Marco T. Morazán, Peter Achten:
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012. - Deepali Virmani, Satbir Jain:
Real Time scheduling with Virtual Nodes for Self Stabilization in Wireless Sensor Networks. - Vladimir Batagelj, Monika Cerinsek:
On bibliographic networks. - Firoj Parwej:
English Sentence Recognition using Artificial Neural Network through Mouse-based Gestures. - Yusuf Perwej:
Recurrent Neural Network Method in Arabic Words Recognition System. - Dan Garber, Elad Hazan:
A Polynomial Time Conditional Gradient Algorithm with Applications to Online and Stochastic Optimization. - Kirana Kumara P.:
A MATLAB Code for Three Dimensional Linear Elastostatics using Constant Boundary Elements. - Robert Mercas, Pascal Ochem, Alexey V. Samsonov, Arseny M. Shur:
Binary Patterns in Binary Cube-Free Words: Avoidability and Growth. - Getachew Redieteab:
Cross-layer Optimization for Next Generation Wi-Fi. - Abdurashid Mamadolimov, Herman Isa, Moesfa Soeheila Mohamad:
Practical Bijective S-box Design. - An Liu, Vincent K. N. Lau, Youjian Liu:
Duality and Optimization for Generalized Multi-hop MIMO Amplify-and-Forward Relay Networks with Linear Constraints. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity Region of the Finite-Field Multi-Way Relay Channel with Pairwise Common Messages. - Nicolas Kuhn, Olivier Mehani, Huyen Chi Bui, Jérôme Lacan, José Radzik, Emmanuel Lochin:
Physical Channel Access (PCA): Time and Frequency Access Methods Emulation in NS-2. - Yaqin Zhou, Xiang-Yang Li, Min Liu, XuFei Mao, Shaojie Tang, Zhongcheng Li:
Throughput Optimizing Localized Link Scheduling for Multihop Wireless Networks Under Physical Interference Model. - Teruyoshi Washizawa:
On the Behavior of the Residual in Conjugate Gradient Method. - Nikzad Babaii Rizvandi, Javid Taheri, Albert Y. Zomaya:
Pattern Matching for Self- Tuning of MapReduce Jobs. - Hongyu Cui, Rongqing Zhang, Lingyang Song, Bingli Jiao:
Capacity Analysis of Bidirectional AF Relay Selection with Imperfect Channel State Information. - Nicolò Cesa-Bianchi, Claudio Gentile, Fabio Vitale, Giovanni Zappella:
A Linear Time Active Learning Algorithm for Link Classification. - Nicolò Cesa-Bianchi, Claudio Gentile, Fabio Vitale, Giovanni Zappella:
A Correlation Clustering Approach to Link Classification in Signed Networks. - Tao Feng, Ka Hin Leung, Qing Xiang:
Binary Cyclic codes with two primitive nonzeros. - Thomas Braibant, Adam Chlipala:
Formal Verification of Hardware Synthesis. - Helmi Ben Hmida, Christophe Cruz, Frank Boochs, Christophe Nicolle:
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach. - David Werner, Christophe Cruz, Christophe Nicolle:
Ontology-based Recommender System of Economic Articles. - Helmi Ben Hmida, Christophe Cruz, Frank Boochs, Christophe Nicolle:
From 3D Point Clouds To Semantic Objects An Ontology-Based Detection Approach. - Yeow-Khiang Chia, Sumei Sun, Rui Zhang:
Energy Cooperation in Cellular Networks with Renewable Powered Base Stations. - Lukas Bolliger, Hans-Andrea Loeliger, Christian Vogel:
LMMSE Estimation and Interpolation of Continuous-Time Signals from Discrete-Time Samples Using Factor Graphs. - Mrinal Nandi, Anup Dewanji, Bimal K. Roy, Santanu Sarkar:
Model Selection Approach for Distributed Fault Detection in Wireless Sensor Networks. - Hyungsik Ju, Rui Zhang:
A Novel Mode Switching Scheme Utilizing Random Beamforming for Opportunistic Energy Harvesting. - Omar Kermia:
Schedulability Analysis of Distributed Real-Time Applications under Dependence and Several Latency Constraints. - Graham M. Megson, José O. Cadenas:
A Rank-based Convex Hull method for Dense Data Sets. - Oriol Valentín:
The Hidden Structural Rules of the Discontinuous Lambek Calculus. - Zhengchun Zhou, Aixian Zhang, Cunsheng Ding, Maosheng Xiong:
The Weight Enumerator of Three Families of Cyclic Codes.