default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, 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.