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.