


default search action
CoRR, April 2013
- Mihailo Stojnic:
Optimality of ℓ2/ℓ1-optimization block-length dependent thresholds. - Mihailo Stojnic:
A performance analysis framework for SOCP algorithms in noisy compressed sensing. - Mihailo Stojnic:
Meshes that trap random subspaces. - Mihailo Stojnic:
Linear under-determined systems with sparse solutions: Redirecting a challenge? - Russell Power:
Using Memory-Protection to Simplify Zero-copy Operations. - Nino Antulov-Fantulin, Alen Lancic, Hrvoje Stefancic, Mile Sikic, Tomislav Smuc:
Statistical inference framework for source detection of contagion processes on arbitrary network structures. - Tizita Nesibu Shewaye:
Age group and gender recognition from human facial images. - Peter Loxley:
Learning dictionary statistics from natural images. - Po-Yu Chen, Ivan W. Selesnick:
Translation-Invariant Shrinkage/Thresholding of Group Sparse Signals. - Turlough Neary, Damien Woods, Niall Murphy, Rainer Glaschick:
Wang's B machines are efficiently universal, as is Hasenjaeger's small universal electromechanical toy. - Qingjiang Shi:
Joint Beamforming And Power Splitting For Multi-User MISO SWIPT System. - Florian G. Furtmueller:
An Approach to Secure Mobile Enterprise Architectures. - Krishnendu Chatterjee, Jakub Lacki:
Faster Algorithms for Markov Decision Processes with Low Treewidth. - Mostafa Rahimi Azghadi, Said F. Al-Sarawi, Derek Abbott, Nicolangelo Iannella:
A Neuromorphic VLSI Design for Spike Timing and Rate Based Synaptic Plasticity. - Diederik Aerts, Sandro Sozzo:
Entanglement Zoo I: Foundational and Structural Aspects. - Diederik Aerts, Sandro Sozzo:
Entanglement Zoo II: Examples in Physics and Cognition. - Diederik Aerts, Jan Broekaert, Sandro Sozzo, Tomas Veloz
:
Meaning-focused and Quantum-inspired Information Retrieval. - Shachar Shayovitz, Dan Raphaeli:
A Signal Constellation for Pilotless Communications Over Wiener Phase Noise Channels. - Paul Ralph:
The Illusion of Requirements in Software Development. - (Withdrawn) Adaptive Energy-aware Encoding for DWT-Based Wireless EEG Monitoring System.
- Fotis Foukalas, Tamer Khattab, Harold Vincent Poor:
Packet Relaying Control in Sensing-based Spectrum Sharing Systems. - Soumya C. Kambhampati, Thomas Liu:
Phase Transition and Network Structure in Realistic SAT Problems. - Nadeem Javaid, Umar Qasim, Zahoor Ali Khan, Mahmood Ashraf Khan, K. Latif, Akmal Javaid:
On Energy Efficiency and Delay Minimization in Reactive Protocols in Wireless Multi-hop Networks. - Nadeem Javaid, Zahoor Ali Khan, U. Qasim, Mahmood Ashraf Khan, K. Latif, Akmal Javaid:
Towards LP Modeling for Maximizing Throughput and Minimizing Routing Delay in Proactive Protocols in Wireless Multi-hop Networks. - Mohammad Ashekur Rahman, Atanu Barai, Md. Asadul Islam, M. M. A. Hashem:
Development of a Device for Remote Monitoring of Heart Rate and Body Temperature. - Nabarun Mondal, Partha P. Ghosh:
Parallel Computation Is ESS. - Clément Charpentier, Éric Sopena:
Incidence coloring game and arboricity of graphs. - Neri Merhav:
On the data processing theorem in the semi-deterministic setting. - Hosam Abdo, Darko Dimitrov:
The Total Irregularity of Graphs under Graph Operations. - Igor E. Shparlinski:
Evasive Properties of Sparse Graphs and Some Linear Equations in Primes. - Zhenhua Yu, Robert J. Baxley, Guo Tong Zhou:
Brightness Control in Dynamic Range Constrained Visible Light OFDM Systems. - Ahmed H. Anwar, Karim G. Seddik, Tamer A. ElBatt, Ahmed H. Zahran:
Effective Capacity of Delay Constrained Cognitive Radio Links Exploiting Primary Feedback. - Panos Giannopoulos, Christian Knauer:
Finding a largest empty convex subset in space is W[1]-hard. - Kerimbayev Nurassyl:
Virtual learning: possibilities and realization. - Qiuliang Xie, Zhaocheng Wang, Zhixing Yang:
Polar Decomposition of Mutual Information over Complex-Valued Channels. - Lazar Velimirovic, Zoran H. Peric, Miomir Stankovic, Jelena Nikolic:
Numerical determination of the optimal value of quantizer's segment threshold using quadratic spline functions. - Alexandre Domingues Gonçalves, Lúcia Maria de A. Drummond, Artur Alves Pessoa, Peter M. Hahn:
Improving Lower Bounds for the Quadratic Assignment Problem by applying a Distributed Dual Ascent Algorithm. - Fan Wang, Jun Zhu, Lin Zhang:
An optimal problem for relative entropy. - Lukás Mach, Tomas Toufar:
Amalgam width of matroids. - Ahmed Rhif, Zohra Kardous, Naceur Benhadj Braiek:
First and High Order Sliding Mode-Multimodel Stabilizing Control Synthesis using Single and Several Sliding Surfaces for Nonlinear Systems: Simulation on an Autonomous Underwater Vehicles (AUV). - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Linear Fractional Network Coding and Representable Discrete Polymatroids. - Arkadiusz Stopczynski, Carsten Stahlhut, Jakob Eg Larsen, Michael Kai Petersen, Lars Kai Hansen:
The Smartphone Brain Scanner: A Mobile Real-time Neuroimaging System. - Amir Shpilka, Ben lee Volk:
On the Structure of Boolean Functions with Small Spectral Norm. - Yong-Hwa Choe, Chol-Yong Jong, Song Han:
Software Cognitive Information Measure based on Relation Between Structures. - Manoj Gupta, Richard Peng:
Fully Dynamic $(1+ε)$-Approximate Matchings. - Yong-Jin Kim
, Jong-Geon Kang, Chol-hun Kim, Yongmin Kim:
An efficient pairing-free certificateless two-party authenticated key agreement protocol in the eCK model. - Sariel Har-Peled, Nirman Kumar:
Approximating Minimization Diagrams and Generalized Proximity Search. - Mahashweta Das, Gautam Das, Vagelis Hristidis:
Top-K Product Design Based on Collaborative Tagging Data. - KC Santosh, E. Iwata:
Stroke-Based Cursive Character Recognition. - Peter Kairouz, Andrew C. Singer:
MIMO Communications over Multi-Mode Optical Fibers: Capacity Analysis and Input-Output Coupling Schemes. - Travis Martin, Brian Ball, Brian Karrer, M. E. J. Newman:
Coauthorship and citation in scientific publishing. - Mihailo Stojnic:
A problem dependent analysis of SOCP algorithms in noisy compressed sensing. - Kaarthik Sundar, Sivakumar Rathinam:
Algorithms for Routing an Unmanned Aerial Vehicle in the presence of Refueling Depots. - Katherine Morrison:
Equivalence for Rank-metric and Matrix Codes and Automorphism Groups of Gabidulin Codes. - Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto
, Janne H. Korhonen:
Separating OR, SUM, and XOR Circuits. - Gary L. Miller, Donald R. Sheehy, Ameya Velingker:
A Fast Algorithm for Well-Spaced Points and Approximate Delaunay Graphs. - Verónica Becher, Alejandro Deymonnaz, Pablo Ariel Heiber:
Efficient repeat finding via suffix arrays. - Sen Ma:
OESPA:A Theory of Programming that Support Software Engineering. - Chonho Lee, Ping Wang, Dusit Niyato:
A Real-time Group Auction System for Efficient Allocation of Cloud Internet Applications. - Emil Björnson, Marios Kountouris, Mérouane Debbah:
Massive MIMO and Small Cells: Improving Energy Efficiency by Optimal Soft-Cell Coordination. - Anton Salikhmetov:
Lambda Calculus Synopsis. - Antonis Loizou, Paul Groth:
On the Formulation of Performant SPARQL Queries. - Scott A. Hale, Helen Z. Margetts, Taha Yasseri:
Petition Growth and Success Rates on the UK No. 10 Downing Street Website. - Meryem Kassou, Laila Kjiri:
A Goal Question Metric Approach for Evaluating Security in a Service Oriented Architecture Context. - Bezhentcev Roman Vadimovich:
Software for creating pictures in the LaTeX environment. - Martina Cardone, Daniela Tuninetti, Raymond Knopp, Umer Salim:
On the Gaussian Interference Channel with Half-Duplex Causal Cognition. - Behnam Bahrak, Jung-Min Park:
Security of Spectrum Learning in Cognitive Radios. - Jung Hoon Lee, Wan Choi:
Optimal Feedback Rate Sharing Strategy in Zero-Forcing MIMO Broadcast Channels. - Nadeem Javaid, Saad Noor Mohammad, K. Latif, U. Qasim, Zahoor Ali Khan, Mahmood Ashraf Khan:
HEER: Hybrid Energy Efficient Reactive Protocol for Wireless Sensor Networks. - Heng Zhang, Yan Zhang:
Disjunctive Logic Programs versus Normal Logic Programs. - Nadeem Javaid, Muhammad Waseem, Zahoor Ali Khan, U. Qasim, K. Latif, Akmal Javaid:
ACH: Away Cluster Heads Scheme for Energy Efficient Clustering Protocols in WSNs. - Xiaomin Chen, Admela Jukan, Muriel Médard:
A Novel Network Coded Parallel Transmission Framework for High-Speed Ethernet. - Louis-Charles Caron, Michiel D'Haene, Frédéric Mailhot, Benjamin Schrauwen, Jean Rouat:
Event management for large scale event-driven digital hardware spiking neural networks. - Hauke Holtkamp:
Decentralized Synchronization for Wireless Sensor Networks. - Pranav Garg, P. Madhusudan, Gennaro Parlato:
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. - Tamal K. Dey, Fengtao Fan, Yusu Wang:
Graph Induced Complex on Point Data. - Tamal K. Dey, Anil N. Hirani, Bala Krishnamoorthy, Gavin W. Smith:
Edge Contractions and Simplicial Homology. - Teodoro Alamo, Roberto Tempo, Amalia Luque, Daniel R. Ramírez:
The Sample Complexity of Randomized Methods for Analysis and Design of Uncertain Systems. - Cem Aksoylar, George K. Atia, Venkatesh Saligrama:
Sparse Signal Processing with Linear and Non-Linear Observations: A Unified Shannon Theoretic Approach. - Chris Beck, Yuan Li:
Represent MOD function by low degree polynomial with unbounded one-sided error. - Ladislau Bölöni:
A cookbook of translating English to Xapi. - Mamadou Diallo Diouf, Ahmed D. Kora, Octave Ringar, Christelle Aupetit-Berthelemot:
Evolution to 200G Passive Optical Network. - P. Ashok, G. M. Kadhar Nawaz, E. Elayaraja, V. Vadivel:
Improved Performance of Unsupervised Method by Renovated K-Means. - José Fernando M. Silva, João Emílio Almeida, António Pereira, Rosaldo J. F. Rossetti, António Leça Coelho:
Preliminary Experiments with EVA - Serious Games Virtual Fire Drill Simulator. - Michael Leznik:
Hubs and Authorities of the English Premier League for 2010-2011. - Mohammad Hayajneh, Najah A. Abu Ali:
Closed-Form Rate Outage Probability for OFDMA Multi-Hop Broadband Wireless Networks under Nakagami-m Channels. - Vitaly Feldman, Pravesh Kothari, Jan Vondrák:
Representation, Approximation and Learning of Submodular Functions Using Low-rank Decision Trees. - Fotis Foukalas, George T. Karetsos:
On the Performance of Adaptive Modulation in Cognitive Radio Networks. - Galina Jirásková, Tomás Masopust:
On the State Complexity of the Reverse of R- and J-trivial Regular Languages. - Lijun Zhang, Tianbao Yang, Rong Jin, Xiaofei He:
O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions. - Matthew Hall:
A Cumulative Multi-Niching Genetic Algorithm for Multimodal Function Optimization. - Yuan Lu, Alexandra Duel-Hallen:
Adaptation to the Primary User CSI in Cognitive Radio Sensing and Access. - Mani Malekesmaeili, Rabab K. Ward:
A local fingerprinting approach for audio copy detection. - Abdelmajid Lakbabi, Ghizlane Orhanou, Said El Hajji:
Network Access Control Technology - Proposition to contain new security challenges. - Guillaume Allais, Pierre Boutillier, Conor McBride:
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized. - Claudio Angione, Annalisa Occhipinti, Giovanni Stracquadanio, Giuseppe Nicosia:
Bose-Einstein Condensation in Satisfiability Problems. - Liyu Gong, Meng Chen, Chunlong Hu:
Lie Algebrized Gaussians for Image Representation. - Deepak Kapur, Naijun Zhan, Hengjun Zhao:
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation. - Eryk Kopczynski, Tony Tan:
Regular graphs and the spectra of two-variable logic with counting. - Feng Shi, Xuebin Wu, Zhiyuan Yan:
Improved Analytical Delay Models for RC-Coupled Interconnects. - Zahid Hussain Shamsi, Dai-Gyoung Kim:
Multiscale Hybrid Non-local Means Filtering Using Modified Similarity Measure. - Peng Wang, Chunhua Shen, Anton van den Hengel:
A Fast Semidefinite Approach to Solving Binary Quadratic Problems. - Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional Manipulation for Schulze's Rule. - Joonsuk Kim:
Phase-Aligned Space-Time Coding for a Single Stream MIMO system. - Rémy Boyer, Mohammed Nabil El Korso, Alexandre Renaux, Sylvie Marcos:
Coexistence of Near-Field and Far-Field Sources: the Angular Resolution Limit. - Xin Zhang, Mohammed Nabil El Korso, Marius Pesavento:
Angular resolution limit for deterministic correlated sources. - Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray:
Quality of Service in Wireless Cellular Networks Subject to Log-Normal Shadowing. - Alexis Fouilhé, David Monniaux
, Michaël Périn:
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. - Yongkang Wong, Shaokang Chen, Sandra Mau, Conrad Sanderson, Brian C. Lovell:
Patch-based Probabilistic Image Quality Assessment for Face Selection and Improved Video-based Face Recognition. - David Doty:
Timing in chemical reaction networks. - Ludovic Courtès:
C Language Extensions for Hybrid CPU/GPU Programming with StarPU. - Vikas Reddy, Conrad Sanderson, Brian C. Lovell:
Improved Anomaly Detection in Crowded Scenes via Cell-based Analysis of Foreground Speed, Size and Texture. - Feng Zhang, Wenyi Zhang:
Competition Between Wireless Service Providers: Pricing, Equilibrium and Efficiency. - Martin Suda:
Duality in STRIPS planning. - Alexander Kartzow, Philipp Schlicht:
Structures Without Scattered-Automatic Presentation. - Ahmad Salahi, Morteza Ansarinia:
Predicting Network Attacks Using Ontology-Driven Inference. - Yasuo Tabei, Yoshimasa Takabatake, Hiroshi Sakamoto:
A Succinct Grammar Compression. - Bernhard C. Geiger, Christoph Temmel:
Information-Preserving Markov Aggregation. - Jian Wang, Suhyuk Kwon, Byonghyo Shim:
A New Look at Generalized Orthogonal Matching Pursuit: Stable Signal Recovery under Measurement Noise. - Marko Horvat, Anton Grbin, Gordan Gledec:
Labeling and Retrieval of Emotionally-Annotated Images using WordNet. - Gösta Grahne, Adrian Onet, Nihat Tartal:
Conditional Tables in practice. - Herve Kabamba Mbikayi:
Toward Evolution Strategies Application in Automatic Polyphonic Music Transcription using Electronic Synthesis. - S. Ahmed, Nadeem Javaid, Safdar Hussain Bouk, Akmal Javaid, Mahmood Ashraf Khan, Zahoor Ali Khan:
Quantum Cryptography Using Various Reversible Quantum Logic Gates in WSNs. - Nadeem Javaid, Qurat ul Ain, Mahmood Ashraf Khan, Akmal Javaid, Zahoor Ali Khan, Umar Qasim:
On Sink Mobility Trajectory in Clustering Routing Protocols in WSNs. - Sebastian Wild
, Markus E. Nebel, Ralph Neininger:
Average Case and Distributional Analysis of Java 7's Dual Pivot Quicksort. - Wayes Tushar, Jian Andrew Zhang
, David B. Smith, Sylvie Thiébaux, H. Vincent Poor:
Prioritizing Consumers in Smart Grid: Energy Management Using Game Theory. - Wil M. P. van der Aalst
:
Passages in Graphs. - Ekaterina Pek, Ralf Lämmel:
A Literature Survey on Empirical Evidence in Software Engineering. - N. V. Vinodchandran, Marius Zimand:
On optimal language compression for sets in PSPACE/poly. - Mika Göös, Juho Hirvonen, Jukka Suomela:
Linear-in-$Δ$ Lower Bounds in the LOCAL Model. - Héctor Allende, Emanuele Frandi, Ricardo Ñanculef, Claudio Sartori:
Novel Frank-Wolfe Methods for SVM Learning. - Dimitri Palaz, Ronan Collobert, Mathew Magimai-Doss:
Estimating Phoneme Class Conditional Probabilities from Raw Speech Signal using Convolutional Neural Networks. - Antonis G. Gotsis, Angeliki Alexiou:
Spatial Resources Optimization in Distributed MIMO Networks with Limited Data Sharing. - Amelia Carolina Sparavigna:
A software for aging faces applied to ancient marble busts. - Rodolfo I. Meneguette, Luiz F. Bittencourt, Edmundo R. M. Madeira:
A Seamless Flow Mobility Management Architecture for Vehicular Communication Networks. - Nadeem Javaid, I. Israr, Mahmood Ashraf Khan, Akmal Javaid, Safdar Hussain Bouk, Zahoor Ali Khan:
Analyzing Medium Access Techniques in Wireless Body Area Networks. - Nadeem Javaid, M. M. Yaqoob, M. Y. Khan, Mahmood Ashraf Khan, Akmal Javaid, Zahoor Ali Khan:
Analyzing Delay in Wireless Multi-hop Heterogeneous Body Area Networks. - Amin Coja-Oghlan, Dan Vilenchik:
Chasing the k-colorability threshold. - Qi Zhou, Xiaoli Ma:
An Improved LR-aided K-Best Algorithm for MIMO Detection. - Vladimir Vovk:
Kolmogorov's strong law of large numbers in game-theoretic probability: Reality's side. - Michel Grabisch:
The core of games on ordered structures and graphs. - Michael P. Wellman:
Exploiting Functional Dependencies in Qualitative Probabilistic Reasoning. - Max Henrion, Marek J. Druzdzel:
Qualitative Propagation and Scenario-based Explanation of Probabilistic Reasoning. - Thomas R. Shultz:
Managing Uncertainty in Rule Based Cognitive Models. - Yizong Cheng:
Context-Dependent Similarity. - David Heckerman:
Similarity Networks for the Construction of Multiple-Faults Belief Networks. - Dekang Lin, Randy Goebel:
Integrating Probabilistic, Taxonomic and Causal Knowledge in Abductive Diagnosis. - David L. Poole, Gregory M. Provan:
What is an Optimal Diagnosis? - Edward Herskovits, Gregory F. Cooper:
Kutato: An Entropy-Driven System for Construction of Probabilistic Expert Systems from Databases. - John S. Breese, Eric Horvitz:
Ideal Reformulation of Belief Networks. - David Einav, Michael R. Fehling:
Computationally-Optimal Real-Resource Strategies. - David Heckerman, Eric Horvitz:
Problem Formulation as the Reduction of a Decision Model. - Robert P. Goldman, Eugene Charniak:
Dynamic Construction of Belief Networks. - Solomon Eyal Shimony, Eugene Charniak:
A New Algorithm for Finding MAP Assignments to Belief Networks. - K. Bayse, M. Lejter, Keiji Kanazawa:
Reducing Uncertainty in Navigation and Exploration. - Ingo Beinlich, Edward Herskovits:
Ergo: A Graphical Environment for Constructing Bayesian. - John S. Breese, Kenneth W. Fertig:
Decision Making with Interval Influence Diagrams. - R. Martin Chavez, Gregory F. Cooper:
A Randomized Approximation Algorithm of Logic Sampling. - Alberto Elfes:
Occupancy Grids: A Stochastic Spatial Representation for Active Robot Perception. - Peter Haddawy:
Time, Chance, and Action. - Michael C. Horsch, David L. Poole:
A Dynamic Approach to Probabilistic Inference. - Frank Jensen, S. K. Anderson:
Approximations in Bayesian Belief Universe for Knowledge Based Systems. - Paul E. Lehner:
Robust Inference Policies. - Lifu Liu, Yong Ma, David C. Wilkins, Zhaoqi Bian, Xiaoxin Ying:
Minimum Error Tree Decomposition. - John W. Miller, Rodney M. Goodman:
A Polynomial Time Algorithm for Finding Bayesian Probabilities from Marginal Constraints. - Richard E. Neapolitan, James R. Kenevan:
Computation of Variances in Causal Networks. - Keung-Chi Ng, Bruce Abramson:
A Sensitivity Analysis of Pathfinder. - Sampath Srinivas, John S. Breese:
IDEAL: A Software Package for Analysis of Influence Diagrams. - Tom S. Verma, Judea Pearl:
On the Equivalence of Causal Models. - Lambert E. Wixson:
Application of Confidence Intervals to the Autonomous Acquisition of High-level Spatial Knowledge. - Ross D. Shachter, Stig K. Andersen, Kim-Leng Poh:
Directed Reduction Algorithms and Decomposable Graphs. - Wilson X. Wen:
Optimal Decomposition of Belief Networks. - Michelle Baker, Terrance E. Boult:
Pruning Bayesian Networks for Efficient Computation. - Jonathan Stillman:
On Heuristics for Finding Loop Cutsets in Multiply-Connected Belief Networks. - Henri Jacques Suermondt, Gregory F. Cooper, David Heckerman:
A Combination of Cutset Conditioning with Clique-Tree Propagation in the Pathfinder System. - Enrique H. Ruspini:
Possibility as Similarity: the Semantics of Fuzzy Logic. - Soumitra Dutta, Piero P. Bonissone:
Integrating Case-Based and Rule-Based Reasoning: the Possibilistic Connection. - Ronald R. Yager:
Credibility Discounting in the Theory of Approximate Reasoning. - Didier Dubois, Henri Prade:
Updating with Belief Functions, Ordinal Conditioning Functions and Possibility Measures. - Ronald Fagin, Joseph Y. Halpern:
A New Approach to Updating Beliefs. - Philippe Smets:
The Transferable Belief Model and Other Interpretations of Dempster-Shafer's Model. - Prakash P. Shenoy, Glenn Shafer:
Valuation-Based Systems for Discrete Optimization. - Robert Kennes, Philippe Smets:
Computational Aspects of the Mobius Transform. - Alessandro Saffiotti:
Using Dempster-Shafer Theory in Knowledge Representation. - Hamid R. Berenji, Yung-Yaw Chen, Chuen-Chien Lee, Jyh-Shing Roger Jang, S. Murugesan:
A Hierarchical Approach to Designing Approximate Reasoning-Based Controllers for Dynamic Physical Systems. - L. W. Chang, Rangasami L. Kashyap:
Evidence Combination and Reasoning and Its Application to Real-World Problem-Solving. - F. Correa da Silva, Alan Bundy:
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence. - Mary McLeish, P. Yao, T. Stirtzinger:
Using Belief Functions for Uncertainty Management and Knowledge Acquisition: An Expert Application. - Robert M. Fung, Stuart L. Crawford, Lee A. Appelbaum, Richard M. Tong:
An Architecture for Probabilistic Concept-Based Information Retrieval. - Andrew J. Hanson:
Amplitude-Based Approach to Evidence Accumulation. - Kathryn Blackmond Laskey:
A Probabilistic Reasoning Environment. - Hung-Trung Nguyen:
On Non-monotonic Conditional Reasoning. - Michael Pittarelli:
Decisions with Limited Observations over a Finite Product Space: the Klir Effect. - Stuart Russell:
Fine-Grained Decision-Theoretic Search Control. - Nic Wilson:
Rules, Belief Functions and Default Logic. - S. K. Michael Wong, Pawan Lingras:
Combination of Evidence Using the Principle of Minimum Information Gain. - Thomas D. Wu:
Probabilistic Evaluation of Candidates and Symptom Clustering for Multidisorder Diagnosis. - John Yen, Piero P. Bonissone:
Extending Term Subsumption systems for Uncertainty Management. - Kuo-Chu Chang, Robert M. Fung:
Refinement and Coarsening of Bayesian Networks. - Gerhard Paaß:
Second Order Probabilities for Uncertain and Conflicting Evidence. - Linda C. van der Gaag:
Computing Probability Intervals Under Independency Constraints. - Michael Shwe, Gregory F. Cooper:
An Empirical Analysis of Likelihood-Weighting Simulation on a Large, Multiply-Connected Belief Network. - David Sher:
Towards a Normative Theory of Scientific Evidence. - Mary McLeish:
A Model for Non-Monotonic Reasoning Using Dempster's Rule. - Philippe Smets, Yen-Teh Hsia:
Default Reasoning and the Transferable Belief Model. - Dan Geiger, David Heckerman:
Practical and Theoretical Advances in Knowledge Acquisition of Probabilistic Networks. - Bo Chamberlain, Finn Verner Jensen, Frank Jensen, Torsten Nordahl:
Analysis in HUGIN of Data Conflict. - Javier Esparza, Pierre Ganty, Rupak Majumdar:
Parameterized Verification of Asynchronous Shared-Memory Systems. - Rasmus Pagh, Gil Segev, Udi Wieder:
How to Approximate A Set Without Knowing Its Size In Advance. - Qi Qian, Rong Jin, Jinfeng Yi, Lijun Zhang, Shenghuo Zhu:
Efficient Distance Metric Learning by Adaptive Sampling and Mini-Batch Stochastic Gradient Descent (SGD). - Alan Guo:
High rate locally correctable codes via lifting. - Ming-Deh A. Huang, Anand Kumar Narayanan
:
Finding Primitive Elements in Finite Fields of Small Characteristic. - Heide Gluesing-Luerssen:
Fourier-Reflexive Partitions and MacWilliams Identities for Additive Codes. - Mert Saglam, Gábor Tardos:
On the communication complexity of sparse set disjointness and exists-equal problems. - Eli Gafni, Petr Kuznetsov, Ciprian Manolescu:
A generalized asynchronous computability theorem. - Andres Sanin, Conrad Sanderson, Brian C. Lovell:
Shadow Detection: A Survey and Comparative Evaluation of Recent Methods. - Sabu M. Thampi:
A Review on P2P Video Streaming. - Jean-Charles Faugère, Chenqi Mou:
Sparse FGLM algorithms. - Victor L. Selivanov:
Total Representations. - Hing Yin Tsang, Chung Hoi Wong, Ning Xie
, Shengyu Zhang:
Fourier sparsity, spectral norm, and the Log-rank conjecture. - Xiaohui Bei, Ning Chen, Shengyu Zhang:
Solving Linear Programming with Constraints Unknown. - Fumin Shen, Chunhua Shen, Rhys Hill, Anton van den Hengel, Zhenmin Tang:
Fast Approximate L_infty Minimization: Speeding Up Robust Regression. - Anatoly D. Plotnikov:
On the structure of the class NP. - Anton Salikhmetov:
Interaction Nets in Russian. - (Withdrawn) RFID Authentication Against an Unsecure Backend Server.
- Karl Voit:
What really happened on September 15th 2008? Getting The Most from Your Personal Information with Memacs. - Tinne De Laet, Wouter Schaekers, Jonas de Greef, Herman Bruyninckx:
Domain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications. - Ryan O'Donnell, Li-Yang Tan:
A composition theorem for the Fourier Entropy-Influence conjecture. - Nicola Gatti, Marco Rocco, Tuomas Sandholm:
On the complexity of strong Nash equilibrium: Hard-to-solve instances and smoothed complexity. - Martin Mann, Heinz Ekker, Christoph Flamm:
The Graph Grammar Library - a generic framework for chemical graph rewrite systems. - (Withdrawn) Randomness-Efficient Rumor Spreading.
- Thierry Bouche, Jiri Rákosnik:
Report on the EuDML external cooperation model. - Andrei Halanay, Luciano Pandolfi:
Lack of controllability of thermal systems with memory. - Manu Nandan, Pramod P. Khargonekar, Sachin S. Talathi:
Fast SVM training using approximate extreme points. - Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings beyond Horn Ontologies. - Yun Fan, San Ling, Hongwei Liu:
Homogeneous Weights of Matrix Product Codes over Finite Principal Ideal Rings. - Quoc Trung Tran, Ivo Jimenez
, Rui Wang, Neoklis Polyzotis, Anastasia Ailamaki:
RITA: An Index-Tuning Advisor for Replicated Databases. - Alireza Nasiri Avanaki, Kathryn S. Espig, Cédric Marchessoux, Elizabeth A. Krupinski, Predrag R. Bakic, Tom R. L. Kimpe, Andrew D. A. Maidment:
Integration of spatio-temporal contrast sensitivity with a multi-slice channelized Hotelling observer. - Felipe Francisco Bezerra Araújo, Alysson M. Costa, Cristóbal Miralles:
Balancing parallel assembly lines with disabled workers. - Marek Cygan:
Improved approximation for 3-dimensional matching via bounded pathwidth local search. - Carlos Gershenson:
Information and Computation. - Abhinav Ganesan, B. Sundar Rajan:
Interference Alignment with Diversity for the 2 × 2 X Network with four antennas. - Lior Kamma, Robert Krauthgamer, Huy L. Nguyen:
Cutting corners cheaply, or how to remove Steiner points. - Nicola Gatti, Fabio Panozzo, Marcello Restelli:
Efficient evolutionary dynamics with extensive-form games. - Vladimir Braverman, Rafail Ostrovsky, Dan Vilenchik:
How Hard is Counting Triangles in the Streaming Model. - Tariq Shah, Sayed Azmat Hussain, Antonio Aparecido de Andrade:
Bandwidth reduction in cognitive radio. - Reza Bosagh Zadeh, Gunnar Carlsson:
Dimension Independent Matrix Square using MapReduce. - Fahiem Bacchus:
Lp : A Logic for Statistical Information. - Kenneth Basye, Thomas L. Dean:
Map Learning with Indistinguishable Locations. - Carlo Berzuini, Riccardo Bellazzi, Silvana Quaglini:
Temporal Reasoning with Probabilities. - Piero P. Bonissone:
Now that I Have a Good Theory of Uncertainty, What Else Do I Need? - Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman:
Uncertainty and Incompleteness. - Lashon B. Booker, Naveen Hota, Connie Loggia Ramsey:
BaRT: A Bayesian Reasoning Tool for Knowledge Based Systems. - Eugene Charniak, Robert P. Goldman:
Plan Recognition in Stories and in Life. - R. Martin Chavez, Gregory F. Cooper:
An Empirical Evaluation of a Randomized Algorithm for Probabilistic Inference. - Marvin S. Cohen:
Decision Making "Biases" and Support for Assumption-Based Higher-Order Reasoning. - Didier Dubois, Jérôme Lang, Henri Prade:
Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights. - Christopher Elsaesser, Max Henrion:
How Much More Probable is "Much More Probable"? Verbal Expressions for Probability Updates. - Henri Farreny, Henri Prade:
Positive and Negative Explanations of Uncertain Reasoning in the Framework of Possibility Theory. - Kenneth W. Fertig, John S. Breese:
Interval Influence Diagrams. - Robert M. Fung, Kuo-Chu Chang:
Weighing and Integrating Evidence for Stochastic Simulation in Bayesian Networks. - Dan Geiger, Tom S. Verma, Judea Pearl:
d-Separation: From Theorems to Algorithms. - María Angeles Gil, Pramod Jain:
The Effects of Perfect and Sample Information on Fuzzy Utilities in Decision-Making. - Moisés Goldszmidt, Judea Pearl:
Deciding Consistency of Databases Containing Defeasible and Strict Information. - Joseph Y. Halpern:
The Relationship between Knowledge, Belief and Certainty. - Othar Hansson, Andy Mayer:
Heuristic Search as Evidential Reasoning. - David Heckerman, John S. Breese, Eric Horvitz:
The Compilation of Decision Models. - David Heckerman:
A Tractable Inference Algorithm for Diagnosing Multiple Diseases. - Eric Horvitz, Henri Jacques Suermondt, Gregory F. Cooper:
Bounded Conditioning: Flexible Inference for Decisions under Scarce Resources. - Avinash C. Kak, K. M. Andress, C. Lopez-Abadia, Mark Carroll, J. R. Lewis:
Hierarchical Evidence Accumulation in the Pseiki System and Experiments in Model-Driven Mobile Robot Navigation. - Harold P. Lehmann:
A Decision-Theoretic Model for Using Scientific Data. - Paul E. Lehner, Theresa M. Mullin, Marvin S. Cohen:
When Should a Decision Maker Ignore the Advice of a Decision Aid? - Paul E. Lehner:
Inference Policies. - Tod S. Levitt, John Mark Agosta, Thomas O. Binford:
Model-based Influence Diagrams for Machine Vision. - Ronald Prescott Loui:
Defeasible Decisions: What the Proposal is and isn't. - Mary McLeish, P. Yao, Matthew Cecile, T. Stirtzinger:
Experiments Using Belief Functions and Weights of Evidence incorporating Statistical Data and Expert Opinions. - W. R. Moninger, J. A. Flueck, C. Lusk, W. F. Roberts:
Shootout-89: A Comparative Evaluation of Knowledge-based Systems that Forecast Severe Weather. - Eric Neufeld, Joseph Douglas Horton:
Conditioning on Disjunctive Knowledge: Defaults and Probabilities. - Michael Pittarelli:
Maximum Uncertainty Procedures for Interval-Valued Probability Distributions. - Gregory M. Provan:
A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition. - Peter Sember, Ingrid Zukerman:
Strategies for Generating Micro Explanations for Bayesian Belief Networks. - Ross D. Shachter:
Evidence Absorption and Propagation through Evidence Reversals. - Ross D. Shachter, Mark Alan Peot:
Simulation Approaches to General Probabilistic Inference on Belief Networks. - Philippe Smets:
Decision under Uncertainty. - Michael Smithson:
Freedom: A Measure of Second-order Uncertainty for Intervalic Probability Schemes. - David J. Spiegelhalter, Rodney C. G. Franklin, Kate Bull:
Assessment, Criticism and Improvement of Imprecise Subjective Probabilities for a Medical Expert System. - Sampath Srinivas, Stuart Russell, Alice M. Agogino:
Automated Construction of Sparse Bayesian Networks from Unstructured Probabilistic Models and Domain Information. - Thomas M. Strat:
Making Decisions with Belief Functions. - Michael J. Swain, Lambert E. Wixson, Paul B. Chou:
Efficient Parallel Estimation for Markov Random Fields. - David S. Vaughan, Bruce M. Perrin, Robert M. Yadrick:
Comparing Expert Systems Built Using Different Uncertain Inference Systems. - Wilson X. Wen:
Directed Cycles in Belief Networks. - Yang Xiang, Michael P. Beddoes, David L. Poole:
Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra? - Ronald R. Yager:
Normalization and the Representation of Nonmonotonic Knowledge in the Theory of Evidence. - Johan Ugander, Lars Backstrom, Jon M. Kleinberg:
Subgraph Frequencies: Mapping the Empirical and Extremal Geography of Large Graph Collections. - Roja Bandari, Hazhir Rahmandad, Vwani P. Roychowdhury:
Blind Men and the Elephant: Detecting Evolving Groups In Social News. - João Batista Florindo, Odemir Martinez Bruno:
Multiscale Fractal Descriptors Applied to Texture Classification. - Firas A. Jassim:
Hiding Image in Image by Five Modulus Method for Image Steganography. - Nan Hu, Leonidas J. Guibas:
Spectral Descriptors for Graph Matching. - Chao Zhang, Lei Zhang, Jieping Ye:
Generalization Bounds for Domain Adaptation. - Ioannis Avramopoulos:
A general theory of equilibrium behavior. - Chandra Chekuri, Julia Chuzhoy:
Large-Treewidth Graph Decompositions and Applications. - Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses. - Jian-Jia Chen
, Mong-Jen Kao, D. T. Lee, Ignaz Rutter, Dorothea Wagner:
Online Power-Managing Strategy with Hard Real-Time Guarantees. - Natalia V. Pavlova, Petr N. Vabishchevich, Maria V. Vasilyeva:
Mathematical modeling of thermal stabilization of vertical wells on high performance computing systems. - Xiaoming Chen, Hsiao-Hwa Chen:
Interference-Aware Resource Control in Multi-Antenna Cognitive Ad Hoc Networks with Heterogeneous Delay Constraints. - Denis Berthier:
Pattern-Based Constraint Satisfaction and Logic Puzzles. - Bernhard Haslhofer, Werner Robitza, Carl Lagoze, François Guimbretière:
Semantic Tagging on Historical Maps. - Emilie Charlier, Juha Honkala:
The freeness problem over matrix semigroups and bounded languages. - Matthias Schröder, Victor L. Selivanov:
Some Hierarchies of QCB0-Spaces. - Ruchir Gupta, Yatindra Nath Singh:
Trust Estimation in Peer-to-Peer Network Using BLUE. - Daniele Loiacono, Luigi Cardamone, Pier Luca Lanzi:
Simulated Car Racing Championship: Competition Software Manual. - Yuriy V. Pershin, Massimiliano Di Ventra:
Self-organization and solution of shortest-path optimization problems with memristive networks. - A. Anji Reddy, S. Sowmya Kamath:
Research on Potential Semantic Web Service Discovery Mechanisms. - Sunil Joy Dommati, Ruchi Agrawal, Ram Mohana Reddy Guddeti, S. Sowmya Kamath:
Bug Classification: Feature Extraction and Comparison of Event Model using Naïve Bayes Approach. - Pierre-Etienne Meunier, Matthew J. Patitz, Scott M. Summers, Guillaume Theyssier, Andrew Winslow, Damien Woods:
Intrinsic universality in tile self-assembly requires cooperation. - Romain Brenguier, Jean-François Raskin, Mathieu Sassolas:
The Complexity of Admissibility in Omega-Regular Games. - Sipendra Sinha, Amol Gaikwad, Deepak Kumar, Snehal Darade, Rohit Singh, Pramod D. Ganjewar:
Data Hiding in Binary Image using Block Parity. - Emad Saad:
Probability Aggregates in Probability Answer Set Programming. - Jie Hou, Gerhard Kramer:
Short Message Noisy Network Coding. - Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis:
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. - Lei Wang, Yuwang Yang, Wei Zhao, Wei Lu:
Network Coding for Energy-Efficient Distributed Storage System in Wireless Sensor Networks. - Pierre Aboulker, Nicolas Bousquet:
Excluding cycles with a fixed number of chords. - Laurent Poinsot:
Harmonic analysis and a bentness-like notion in certain finite Abelian groups over some finite fields. - Dohy Hong:
Note: interpreting iterative methods convergence with diffusion point of view. - Farzad Hessar, Sumit Roy:
Capacity Considerations for Secondary Networks in TV White Space. - Arash Ghayoori, T. Aaron Gulliver:
Upgraded Approximation of Non-Binary Alphabets for Polar Code Construction. - (Withdrawn) The Round Complexity of Small Set Intersection.
- Jeff Erickson, Anastasios Sidiropoulos:
A near-optimal approximation algorithm for Asymmetric TSP on embedded graphs. - Pierre Lison:
Model-based Bayesian Reinforcement Learning for Dialogue Management. - Emad Saad:
Fuzzy Aggregates in Fuzzy Answer Set Programming. - Himanshu Asnani, Ilan Shomorony, Amir Salman Avestimehr, Tsachy Weissman:
Network Compression: Worst-Case Analysis. - Eric Hielscher, Alex Rubinsteyn, Dennis E. Shasha:
Locality Optimization for Data Parallel Programs. - (Withdrawn) A Simulation and Modeling of Access Points with Definition Language.
- Jeff LeFevre, Jagan Sankaranarayanan, Hakan Hacigümüs, Jun'ichi Tatemura, Neoklis Polyzotis:
Towards a Workload for Evolutionary Analytics. - Grant Schoenebeck:
Potential Networks, Contagious Communities, and Understanding Social Network Structure. - Yi Zhong, Wenyi Zhang, Martin Haenggi:
Managing Interference Correlation Through Random Medium Access. - Batuhan Karagöz, Semih Yavuz, Tracey Ho, Michelle Effros:
Multi-Resolution Video Streaming in Peer-to-peer Networks. - Yongkun Li, Patrick P. C. Lee, John C. S. Lui:
Stochastic Analysis on RAID Reliability for Solid-State Drives. - Matthias Petschow, Enrique S. Quintana-Ortí, Paolo Bientinesi:
Improved Accuracy and Parallelism for MRRR-based Eigensolvers -- A Mixed Precision Approach. - Justus H. Piater, Antonio Jose Rodríguez-Sánchez:
Proceedings of the 37th Annual Workshop of the Austrian Association for Pattern Recognition (ÖAGM/AAPR), 2013. - Katarzyna Ewa Pasierb, Tomasz Kajdanowicz, Przemyslaw Kazienko:
Privacy-preserving Data Mining, Sharing and Publishing. - Olivier Bodini, Jérémie O. Lumbroso:
Analytic Samplers and the Combinatorial Rejection Method. - Thomas Dueholm Hansen, Rasmus Ibsen-Jensen:
The complexity of interior point methods for solving discounted turn-based stochastic games. - Vasiliy Usatyuk:
The implementation of the parallel shortest vector enumerate in the block Korkin-Zolotarev method. - Pierre-Malo Deniélou, Nobuko Yoshida:
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. - Prosenjit Bose, Kai Dannies, Jean-Lou De Carufel, Christoph Doell, Carsten Grimm, Anil Maheshwari, Stefan Schirra, Michiel H. M. Smid:
Network Farthest-Point Diagrams. - Carlo Spaccasassi, Vasileios Koutavas:
Towards Efficient Abstractions for Concurrent Consensus. - Jérémie O. Lumbroso:
Optimal Discrete Uniform Generation from Coin Flips, and Applications. - Shuguang Han, Zhen Yue, Daqing He:
Automatic Detection of Search Tactic in Individual Information Seeking: A Hidden Markov Model Approach. - Tong Peng, Rodrigo C. de Lamare, Anke Schmeink:
Distributed Space-Time Coding Based on Adjustable Code Matrices for Cooperative MIMO Relaying Systems. - Mohab Safey El Din, Elias P. Tsigaridas:
A probabilistic algorithm to compute the real dimension of a semi-algebraic set. - KC Santosh, Abdel Belaïd:
Client-Driven Content Extraction Associated with Table. - Rodrigo C. de Lamare:
Generalized Reduced-Rank Decompositions Using Switching and Adaptive Algorithms for Space-Time Adaptive Processing. - Rodrigo C. de Lamare:
Interference Suppression and Group-Based Power Adjustment via Alternating Optimization for DS-CDMA Networks with Multihop Relaying. - Fatih Kocak, George Kesidis, Tuan-Minh Pham, Serge Fdida:
The effect of caching on a model of content and access provider revenues in information-centric networks. - Seokhyun Yoon, Chan-Byoung Chae:
Low Complexity MIMO Detection based on Belief Propagation over Pair-wise Graphs. - Haibo Jiang, Yaofei Ma, Dongsheng Hong, Zhen Li:
A new metric for routing in military wireless network. - Jun Fang, Yanning Shen, Huiping Duan, Hongbin Li:
One-Bit Quantization Design and Adaptive Methods for Compressed Sensing. - Amelia Carolina Sparavigna:
Facial transformations of ancient portraits: the face of Caesar. - Carola Doerr, François-Michel De Rainville:
Constructing Low Star Discrepancy Point Sets with Genetic Algorithms. - George Athanasiou, Pradeep Chathuranga Weeraddana, Carlo Fischione:
Auction-based Resource Allocation in MillimeterWave Wireless Access Networks. - Samuel T. Blake:
A Multi-Dimensional Block-Circulant Perfect Array Construction. - Andrew Adamatzky:
On growing connected beta-skeletons. - Liu Liang:
Image Retrieval using Histogram Factorization and Contextual Similarity Learning. - Iyad A. Kanj, Stefan Szeider:
On the Subexponential Time Complexity of CSP. - Mehmet Emin Aydin, Osman Taylan:
Scheduling Cutting Process for Large Paper Rolls. - Trong Nghia Hoang, Kian Hsiang Low:
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior. - Koji Kobayashi:
Resolution structure in HornSAT and CNFSAT. - Taha Yasseri, Giovanni Quattrone, Afra J. Mashhadi:
Temporal Analysis of Activity Patterns of Editors in Collaborative Mapping Project of OpenStreetMap. - Alvaro Cabezas-Clavijo, Emilio Delgado López-Cózar:
Google Scholar and the h-index in biomedicine: the popularization of bibliometric asessment. - Abdelali El Bouchti, Said El Kafhali, Abdelkrim Haqiq:
Performance Modelling and Analysis of Connection Admission Control in OFDMA based WiMAX System with MMPP Queuing. - Youssef Saadi, Said El Kafhali, Abdelkrim Haqiq, Bouchaib Nassereddine:
Simulation Analysis of Routing Protocols using Manhattan Grid Mobility Model in MANET. - Andrew Adamatzky, Rachel Armstrong, Jeff Jones, Yukio-Pegio Gunji:
On Creativity of Slime Mould. - Shayan Oveis Gharan, Luca Trevisan:
Improved ARV Rounding in Small-set Expanders and Graphs of Bounded Threshold Rank. - Jonah Sherman:
Nearly Maximum Flows in Nearly Linear Time. - Vitaly Feldman, Pravesh Kothari:
Learning Coverage Functions. - Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui:
Web Services Modeling and Composition Approach using Object-Oriented Petri Nets. - Hossein Hosseini, Behnam Bahrak, Farzad Hessar:
A GOST-like Blind Signature Scheme Based on Elliptic Curve Discrete Logarithm Problem. - A. R. M. Jalal Uddin Jamali, M. M. A. Hashem, M. Mahfuz Hasan, Md. Bazlar Rahman:
Solving Linear Equations by Classical Jacobi-SR Based Hybrid Evolutionary Algorithm with Uniform Adaptation Technique. - Hao Lu, Peilin Hong, Kaiping Xue:
High-Throughput Cooperative Communication with Interference Cancellation for Two-Path Relay in Multi-source System. - S. M. Mohsen, S. M. Zamshed Farhan, M. M. A. Hashem:
Automatic Fingerprint Recognition Using Minutiae Matching Technique for the Large Fingerprint Database. - Md. Mizanur Rahman, Md. Shahadat Hossain, Md. Rakib Hassan, M. M. A. Hashem:
An Improved GEF Fast Addition Algorithm. - Md. Nazrul Islam, M. M. A. Hashem, A. M. Moshiur Rahman:
A Probabilistic Algorithm for Reducing Broadcast Redundancy in Ad Hoc Wireless Networks. - Fabio Morbidi:
The Deformed Consensus Protocol: Extended Version. - Yongkang Wong, Conrad Sanderson, Sandra Mau, Brian C. Lovell:
Dynamic Amelioration of Resolution Mismatches for Local Feature Based Identity Inference. - Jianbin Huang, Xuejun Huangfu, Heli Sun, Hong Cheng, Qinbao Song:
Backward Path Growth for Efficient Mobile Sequential Recommendation. - (Withdrawn) Two-player preplay negotiation games with conditional offers.
- István Miklós, Sándor Z. Kiss, Eric Tannier:
On sampling SCJ rearrangement scenarios. - Mauro Barni, Benedetta Tondi:
Binary Hypothesis Testing Game with Training Data. - Evgeniy Grigoriev:
Object-Oriented Translation for Programmable Relational System (DRAFT). - Mohammadreza Chamanbaz, Fabrizio Dabbene, Roberto Tempo, Venkatakrishnan Venkataramanan, Qing-Guo Wang:
Sequential Randomized Algorithms for Convex Optimization in the Presence of Uncertainty. - Michael Erhard, Hans Strauch:
Sensors and Navigation Algorithms for Flight Control of Tethered Kites. - Emilio Leonardi, Giovanni Luca Torrisi:
Large deviations of the interference in the Ginibre network model. - Michal Feldman, Nick Gravin, Brendan Lucier:
Combinatorial Walrasian Equilibrium. - Alexander Barg, Marcelo Firer, Marcos Vinicius Spreafico, Luciano Vianna Felix:
Linear codes on posets with extension property. - Paolo Frasca, Chiara Ravazzi, Roberto Tempo, Hideaki Ishii:
Gossips and Prejudices: Ergodic Randomized Dynamics in Social Networks. - Michal Cierny, Haining Wang, Risto Wichman, Zhi Ding, Carl Wijting:
On Number of Almost Blank Subframes in Heterogeneous Cellular Networks. - Elmar Peise, Diego Fabregat-Traver, Yurii S. Aulchenko, Paolo Bientinesi:
Algorithms for Large-scale Whole Genome Association Analysis. - Angelamaria Cardone, Zdzislaw Jackiewicz, Hong Zhang, Adrian Sandu:
Extrapolation-based implicit-explicit general linear methods. - Anton Salikhmetov:
A compact encoding for λ-terms in interaction calculus. - Pierre Gillibert:
The finiteness problem for automaton semigroups is undecidable. - Gyan Ranjan, Zhi-Li Zhang, Daniel Boley:
Incremental Computation of Pseudo-Inverse of Laplacian: Theory and Applications. - Nilanjan Dey, Prasenjit Maji, Poulami Das, Shouvik Biswas, Achintya Das, Sheli Sinha Chaudhuri:
Embedding of Blink Frequency in Electrooculography Signal using Difference Expansion based Reversible Watermarking Technique. - Jerome Le Ny:
On Differentially Private Filtering for Event Streams. - Pigi Kouki:
Sharing of Semantically Enhanced Information for the Adaptive Execution of Business Processes. - Felix Effenberger:
A primer on information theory, with applications to neuroscience. - Jonathan A. Kelner, Lorenzo Orecchia, Yin Tat Lee, Aaron Sidford:
An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations. - John Mark Agosta:
The structure of Bayes nets for vision recognition. - Romas Aleliunas:
Summary of A New Normative Theory of Probabilistic Logic. - Fahiem Bacchus:
Probability Distributions Over Possible Worlds. - Paul K. Black, Kathryn Blackmond Laskey:
Hierarchical Evidence and Belief Functions. - John S. Breese, Michael R. Fehling:
Decision-Theoretic Control of Problem Solving: Principles and Architecture. - Matthew Cecile, Mary McLeish, P. Pascoe, W. Taylor:
Induction and Uncertainty Management Techniques Applied to Veterinary Medical Diagnosis. - R. Martin Chavez, Gregory F. Cooper:
KNET: Integrating Hypermedia and Bayesian Modeling. - Gregory F. Cooper:
A Method for Using Belief Networks as Influence Diagrams. - Bruce D'Ambrosio:
Process, Structure, and Modularity in Reasoning with Uncertainty. - Thomas L. Dean, Keiji Kanazawa:
Probabilistic Causal Reasoning. - Didier Dubois, Henri Prade:
Modeling uncertain and vague knowledge in possibility and evidence theories. - Soumitra Dutta:
A Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG. - Christoph F. Eick:
Uncertainty Management for Fuzzy Decision Support Systems. - Alan M. Frisch, Peter Haddawy:
Probability as a Modal Operator. - Li-Min Fu:
Truth Maintenance Under Uncertainty. - Stephen I. Gallant:
Bayesian Assessment of a Connectionist Model for Fault Detection. - Dan Geiger, Judea Pearl:
On the Logic of Causal Models. - Othar Hansson, Andy Mayer:
The Optimality of Satisficing Solutions. - David Heckerman:
An Empirical Comparison of Three Inference Methods. - Daniel Hunter:
Parallel Belief Revision. - Pramod Jain, Alice M. Agogino:
Stochastic Sensitivity Analysis Using Fuzzy Influence Diagrams. - Holly B. Jimison:
A Representation of Uncertainty to Aid Insight into Decision Models. - Carl Myers Kadie:
Rational Nonmonotonic Reasoning. - Jayant Kalagnanam, Max Henrion:
A Comparison of Decision Analysis and Expert Rules for Sequential Diagnosis. - Suk Wah Kwok, Chris Carter:
Multiple decision trees. - Henry E. Kyburg Jr.:
Probabilistic Inference and Probabilistic Reasoning. - Henry E. Kyburg Jr.:
Probabilistic and Non-Monotonic Inference. - Henry E. Kyburg Jr.:
Epistemological Relevance and Statistical Knowledge. - Tod S. Levitt, Thomas O. Binford, Gil J. Ettinger, Patrice Gelband:
Utility-Based Control for Computer Vision. - Ronald Prescott Loui:
Evidential Reasoning in a Network Usage Prediction Testbed. - Richard E. Neapolitan, James R. Kenevan:
Justifying the Principle of Interval Constraints. - Eric Neufeld, David L. Poole:
Probabilistic Semantics and Defaults. - Michael Pittarelli:
Decision Making with Linear Constraints on Probabilities. - Thomas F. Reid, Gregory S. Parnell:
Maintenance in Probabilistic Knowledge-Based Systems. - Ross D. Shachter:
A Linear Approximation Method for Probabilistic Inference. - Prakash P. Shenoy, Glenn Shafer:
An Axiomatic Framework for Bayesian and Belief-function Propagation. - Wolfgang Spohn:
A General Non-Probabilistic Theory of Inductive Reasoning. - Spencer Star:
Generating Decision Structures and Causal Explanations for Decision Making. - Henri Jacques Suermondt, Gregory F. Cooper:
Updating Probabilities in Multiply-Connected Belief Networks. - Bjørnar Tessem, Lars Johan Ersland:
Handling uncertainty in a system for text-symbol context analysis. - Tom S. Verma, Judea Pearl:
Causal Networks: Semantics and Expressiveness. - Wilson X. Wen:
MCE Reasoning in Recursive Causal Networks. - Ronald R. Yager:
Nonmonotonic Reasoning via Possibility Theory. - Alexander S. Yeh:
Predicting the Likely Behaviors of Continuous Nonlinear Systems in Equilibrium. - John Yen:
Generalizing the Dempster-Shafer Theory to Fuzzy Sets. - Emad Saad:
Logical Fuzzy Optimization. - Rodrigo C. de Lamare:
Blind Interference Suppression and Power Adjustment with Alternating Optimization for Cooperative DS-CDMA Networks. - Rodrigo C. de Lamare, Sheng Li:
Joint Iterative Power Adjustment and Interference Suppression Algorithms for Cooperative DS-CDMA Networks. - Elizabeth L. Murnane, Bernhard Haslhofer, Carl Lagoze:
RESLVE: Leveraging User Interest to Improve Entity Disambiguation on Short Text. - Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 3-level quantified syllogistic. - Chandra Chekuri, Anastasios Sidiropoulos:
Approximation algorithms for Euler genus and related problems. - Hanene Rezgui, Minyar Sassi Hidri:
Modèle flou d'expression des préférences basé sur les CP-Nets. - Himanshu Tyagi:
Common Information and Secret Key Capacity. - Paul Bunn, Rafail Ostrovsky:
Secure End-to-End Communication with Optimal Throughput in Unreliable Networks. - S. M. Ashik Eftekhar, Sk. Mahbub Habib, M. M. A. Hashem:
Evolutionary Design of Digital Circuits Using Genetic Programming. - M. M. A. Hashem, Rushdi Shams, Md. Abdul Kader, Md. Abu Sayed:
Design and Development of a Heart Rate Measuring Device using Fingertip. - Rushdi Shams, M. M. A. Hashem, Afrina Hossain, Suraiya Rumana Akter, Monika Gope:
Corpus-based Web Document Summarization using Statistical and Linguistic Approach. - Yanhui Xiao, Zhenfeng Zhu, Yao Zhao:
Kernel Reconstruction ICA for Sparse Representation. - Manfred Pöchacker, Anita Sobe, Wilfried Elmenreich:
Simulating the Smart Grid. - Jun Pang, Yang Zhang:
A New Access Control Scheme for Facebook-style Social Networks. - B. Kamala, J. M. Nandhini:
Automatic Structuring Of Semantic Web Services An Approach. - Chen Feng, Roberto Wanderley da Nóbrega, Frank R. Kschischang, Danilo Silva:
Communication over Finite-Chain-Ring Matrix Channels. - K. M. Motahar Hossain, Zahir Raihan, M. M. A. Hashem:
On Appropriate Selection of Fuzzy Aggregation Operators in Medical Decision Support System. - Md. Asadul Islam, G. M. Mashrur-E-Elahi, M. M. A. Hashem:
A New Distributed Evolutionary Computation Technique for Multi-Objective Optimization. - A. R. M. Jalal Uddin Jamali, Mohammad Arif Hossain, G. M. Moniruzzaman, M. M. A. Hashem:
For Solving Linear Equations Recombination is a Needless Operation in Time-Variant Adaptive Hybrid Algorithms. - Felix Palludan Hargreaves, Daniel Merkle:
FooPar: A Functional Object Oriented Parallel Framework in Scala. - Emilio Leonardi:
Throughput Optimal Scheduling Policies in Networks of Interacting Queues. - Bart de Keijzer, Krzysztof R. Apt:
The H-index can be easily manipulated. - Albert Sunny, Joy Kuri, Anurag Kumar:
An Analysis on the Inter-Cell Station Dependency Probability in an IEEE 802.11 Infrastructure WLANs. - Andy Diwen Zhu, Hui Ma, Xiaokui Xiao, Siqiang Luo, Youze Tang, Shuigeng Zhou:
Shortest Path and Distance Queries on Road Networks: Towards Bridging Theory and Practice. - Lei Chen, Jeff Frolik:
Active Consensus over Sensor Networks via Randomized Communication. - Debasish Chatterjee, John Lygeros:
Stability and performance of stochastic predictive control. - Jean Souviron:
On the predictability of the number of convex vertices. - Abdelhakim Herrouz, Chabane Khentout, Mahieddine Djoudi:
Overview of Visualization Tools for Web Browser History Data. - Leo Yu Zhang, Xiaobo Hu, Yuansheng Liu, Kwok-Wo Wong, Jie Gan:
A chaotic image encryption scheme owning temp-value feedback. - Stefano Ferretti:
Resilience of Dynamic Overlays through Local Interactions. - Juan L. Reutter:
Containment of Nested Regular Expressions. - Daniel J. Fremont
:
The Reachability Problem for Affine Functions on the Integers. - Yan Jin, Jin-Kao Hao, Jean-Philippe Hamiez:
A memetic algorithm for the minimum sum coloring problem. - Jorge M. A. Gomes, Fernando Silva, Teresa Chambel:
Genetic Soundtracks: Creative Matching of Audio to Video. - Jean Souviron:
Convex hull: Incremental variations on the Akl-Toussaint heuristics Simple, optimal and space-saving convex hull algorithms. - Daniel Fried, Stephen G. Kobourov:
Maps of Computer Science. - Nan Yao, Feng Qian, Zuolei Sun:
Image Classification by Feature Dimension Reduction and Graph based Ranking. - Majid Ghaderi, Dennis Goeckel, Ariel Orda, Mostafa Dehghan:
Efficient Wireless Security Through Jamming, Coding and Routing. - Mathias Niepert:
Symmetry-Aware Marginal Density Estimation. - Domenico Ciuonzo, Peter K. Willett, Yaakov Bar-Shalom:
Tracking the Tracker from its Passive Sonar ML-PDA Estimates. - Paul K. Black:
Is Shafer General Bayes? - Paul R. Cohen, Glenn Shafer, Prakash P. Shenoy:
Modifiable Combining Functions. - Daniel Hunter:
Dempster-Shafer vs. Probabilistic Logic. - Henry E. Kyburg Jr.:
Higher Order Probabilities. - Kathryn Blackmond Laskey:
Belief in Belief Functions: An Examination of Shafer's Canonical Examples. - Judea Pearl:
Do We Need Higher-Order Probabilities and, If So, What Do They Mean? - Matthew Self, Peter C. Cheeseman:
Bayesian Prediction for Artificial Intelligence. - John Yen:
Can Evidence Be Combined in the Dempster-Shafer Theory. - John B. Bacon:
An Interesting Uncertainty-Based Combinatoric Problem in Spare Parts Forecasting: The FRED System. - Thomas O. Binford, Tod S. Levitt, Wallace B. Mann:
Bayesian Inference in Model-Based Machine Vision. - Gautam Biswas, Tejwansh S. Anand:
Using the Dempster-Shafer Scheme in a Diagnostic Expert System Shell. - Homer L. Chin, Gregory F. Cooper:
Stochastic Simulation of Bayesian Belief Networks. - Steve Hanks:
Temporal Reasoning About Uncertain Worlds. - David Heckerman, Holly Brügge Jimison:
A Perspective on Confidence and Its Use in Focusing Attention During Knowledge Acquisition. - Max Henrion:
Practical Issues in Constructing a Bayes' Belief Network. - Michael C. Higgins:
NAIVE: A Method for Representing Uncertainty and Temporal Relationships in an Automated Reasoner. - Henry E. Kyburg Jr.:
Objective Probability. - Silvio Ursic:
Coefficients of Relations for Probabilistic Reasoning. - Ben P. Wise:
Satisfaction of Assumptions is a Weak Predictor of Performance. - Lei Xu, Judea Pearl:
Structuring Causal Tree Models with Continuous Variables. - John Yen:
Implementing Evidential Reasoning in Expert Systems. - Wray L. Buntine:
Decision Tree Induction Systems: A Bayesian Analysis. - Richard A. Caruana:
The Automatic Training of Rule Bases that Use Numerical Uncertainty Representations. - Norman C. Dalkey:
The Inductive Logic of Information Systems. - Stephen I. Gallant:
Automated Generation of Connectionist Expert Systems for Problems Involving Noise and Redundancy. - George Rebane, Judea Pearl:
The Recovery of Causal Poly-Trees from Statistical Data. - Ross D. Shachter, David M. Eddy, Vic Hasselblad, Robert Wolpert:
A Heuristic Bayesian Approach to Knowledge Acquisition: Application to Analysis of Tissue-Type Plasminogen Activator. - Spencer Star:
Theory-Based Inductive Learning: An Integration of Symbolic and Quantitative Methods. - Piero P. Bonissone:
Using T-Norm Based Uncertainty Calculi in a Naval Situation Assessment Application. - Yizong Cheng, Rangasami L. Kashyap:
A Study of Associative Evidential Reasoning. - I. R. Goodman:
A Measure-Free Approach to Conditioning. - Peter Haddawy, Alan M. Frisch:
Convergent Deduction for Probabilistic Logic. - Ze-Nian Li:
Comparisons of Reasoning Mechanisms for Computer Vision. - Donald H. Mitchell, Steven A. Harp, David K. Simkin:
A Knowledge Engineer's Comparison of Three Evidence Aggregation Methods. - Eric Neufeld, David L. Poole:
Towards Solving the Multiple Extension Problem: Combining Defaults and Probabilities. - Richard M. Tong, Lee A. Appelbaum:
Problem Structure and Evidential Reasoning. - Michael P. Wellman, David Heckerman:
The Role of Calculi in Uncertain Inference Systems. - Ben P. Wise, Bruce M. Perrin, David S. Vaughan, Robert M. Yadrick:
The Role of Tuning Uncertain Inference Systems. - Minchuan Zhang, Su-shing Chen:
Evidential Reasoning in Image Understanding. - Lashon B. Booker, Naveen Hota, Gavin Hemphill:
Implementing a Bayesian Scheme for Revising Belief Commitments. - John S. Breese, Edison Tse:
Integrating Logical and Probabilistic Reasoning for Decision Making. - Stephen L. Chiu, Masaki Togai:
Compiling Fuzzy Logic Control Rules to Hardware Implementations. - Paul R. Cohen:
Steps Towards Programs that Manage Uncertainty. - Gregory F. Cooper:
An Algorithm for Computing Probabilistic Propositions. - Bruce D'Ambrosio:
Combining Symbolic and Numeric Approaches to Uncertainty Management. - Christopher Elsaesser:
Explanation of Probabilistic Inference for Decision Support Systems. - Gregory D. Hager, Max Mintz:
Estimation Procedures for Robust Sensor Control. - Ross D. Shachter, Leonard J. Bertrand:
Efficient Inference on Generalized Fault Diagrams. - Eric Horvitz:
Reasoning About Beliefs and Actions Under Computational Resource Constraints. - Thomas B. Slack:
Advantages and a Limitation of Using LEG Nets in a Real-TIme Problem. - Emad Saad:
Logical Fuzzy Preferences. - Abolfazl S. Motahari, Kannan Ramchandran, David Tse, Nan Ma:
Optimal DNA shotgun sequencing: Noisy reads are as good as noiseless reads. - Emad Saad:
Nested Aggregates in Answer Sets: An Application to a Priori Optimization. - Afonso S. Bandeira, Katya Scheinberg, Luís Nunes Vicente:
On partial sparse recovery. - Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
On MITL and alternating timed automata. - Ivan Rodero, Manish Parashar:
Cross-layer Application-aware Power/Energy Management for Extreme Scale Science. - Md. Mamun Ali Sarker, Md. Ashraf Hossain Khan, M. M. A. Hashem:
Guidelines to the Problem of Location Management and Database Architecture for the Next Generation Mobile Networks. - Ömer Demirel, Ivo F. Sbalzarini:
Balanced offline allocation of weighted balls into bins. - Nicolas Bredèche, Jean-Marc Montanier, Berend Weel, Evert Haasdijk:
Roborobo! a Fast Robot Simulator for Swarm and Collective Robotics. - David H. S. Chung, Philip A. Legg, Matthew L. Parry, Rhodri Bown, Iwan W. Griffiths, Robert S. Laramee, Min Chen:
Glyph Sorting: Interactive Visualization for Multi-dimensional Data. - Vasyl Ustimenko, Aneta Wróblewska:
On the key exchange with nonlinear polynomial maps of stable degree. - Chinmay Narayan, Shibashis Guha, S. Arun-Kumar:
Inferring Fences in a Concurrent Program Using SC proof of Correctness. - Jia Zheng, Baofeng Wu, Yufu Chen, Zhuojun Liu:
Constructing $2m$-variable Boolean functions with optimal algebraic immunity based on polar decomposition of $\mathbb{F}_{2^{2m}}^*$. - Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh:
The Stability of Delaunay Triangulations. - Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman:
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri. - Hamoon Mousavi, Jeffrey O. Shallit:
Shortest Repetition-Free Words Accepted by Automata. - Christian Doerr, Norbert Blenn, Siyu Tang, Piet Van Mieghem:
Are Friends Overrated? A Study for the Social News Aggregator Digg.com. - Sultan Ullah, Xuefeng Zheng:
Cloud Computing: a Prologue. - Hyung-Chan An, Aditya Bhaskara, Ola Svensson:
Centrality of Trees for Capacitated k-Center. - Francesco Orabona, Koby Crammer, Nicolò Cesa-Bianchi:
A Generalized Online Mirror Descent with Applications to Classification and Regression. - Sofia C. Olhede, David Ramírez, Peter J. Schreier:
Measuring Directionality in Random Fields Using the Monogenic Signal. - Bryan Poling, Gilad Lerman:
A New Approach To Two-View Motion Segmentation Using Global Dimension Minimization. - Carlos Castillo, Mohammed El-Haddad, Jürgen Pfeffer, Matt Stempeck:
Characterizing the Life Cycle of Online News Stories Using Social Media Reactions. - Martin Kasparick, Gerhard Wunder:
Autonomous Algorithms for Centralized and Distributed Interference Coordination: A Virtual Layer Based Approach. - Sanam Sadr, Stefan Valentin:
Anticipatory Buffer Control and Resource Allocation for Wireless Video Streaming. - Mouhamed Abdulla
, Yousef R. Shayan:
Simple and Generic Simulator Algorithm for Inhomogeneous Random Spatial Deployment. - Shoshana Abel:
Application of Evidential Reasoning to Helicopter Flight Path Control. - Stephen W. Barth, Steven W. Norton:
Knowledge Engineering Within A Generalized Bayesian Framework. - Moshe Ben-Bassat:
Taxonomy, Structure, and Implementation of Evidential Reasoning. - Lashon B. Booker, Naveen Hota:
Probabilistic Reasoning About Ship Images. - Kaihu Chen:
Towards The Inductive Acquisition of Temporal Knowledge. - Su-shing Chen:
Some Extensions of Probabilistic Logic. - Ping-Chung Chi, Dana S. Nau:
Predicting The Performance of Minimax and Product in Game-Tree. - A. Julian Craddock, Roger A. Browse:
Reasoning With Uncertain Knowledge. - Norman C. Dalkey:
Models vs. Inductive Inference for Dealing With Probabilistic Knowledge. - Brian Falkenhainer:
Towards a General-Purpose Belief Maintenance System. - B. R. Fox, Karl G. Kempf:
Planning, Scheduling, and Uncertainty in the Sequence of Future Events. - Pascal Fua:
Deriving And Combining Continuous Possibility Functions in the Framework of Evidential Reasoning. - Benjamin N. Grosof:
Non-Monotonicity in Probabilistic Reasoning. - Gregory D. Hager, Hugh F. Durrant-Whyte:
Information and Multi-Sensor Coordination. - Shohara L. Hardt:
Flexible Interpretations: A Computational Model for Dynamic Uncertainty Assessment. - David Heckerman, Eric Horvitz:
The Myth of Modularity in Rule-Based Systems. - David Heckerman:
An Axiomatic Framework for Belief Updates. - Steven J. Henkind:
Imprecise Meanings as a Cause of Uncertainty in Medical Knowledge-Based Systems. - Robert A. Hummel, Michael S. Landy:
Evidence as Opinions of Experts. - Charles I. Kalme:
Decision Under Uncertainty in Diagnosis. - Henry E. Kyburg Jr.:
Knowledge and Uncertainty. - Kathryn Blackmond Laskey, Marvin S. Cohen:
An Application of Non-Monotonic Probabilistic Reasoning to Air Force Threat Correlation. - Tod S. Levitt:
Bayesian Inference for Radar Imagery Based Surveillance. - Ze-Nian Li, Leonard Uhr:
Evidential Reasoning in Parallel Hierarchical Vision Programs. - Ronald Prescott Loui:
Computing Reference Classes. - Uttam Mukhopadhyay:
An Uncertainty Management Calculus for Ordering Searches in Distributed Dynamic Databases. - Steven W. Norton:
An Explanation Mechanism for Bayesian Inferencing Systems. - Judea Pearl:
Distributed Revision of Belief Commitment in Multi-Hypothesis Interpretations. - Igor Roizen, Judea Pearl:
Learning Link-Probabilities in Causal Trees. - Enrique H. Ruspini:
Approximate Deduction in Single Evidential Bodies. - Shimon Schocken:
The Rational and Computational Scope of Probabilistic Rule-Based Expert Systems. - Stanley M. Schwartz, Jonathan Baron, John R. Clarke:
A Causal Bayesian Model for the Diagnosis of Appendicitis. - Ross D. Shachter, David Heckerman:
A Backwards View for Assessment. - Ross D. Shachter:
DAVID: Influence Diagram Processing System for the Macintosh. - Prakash P. Shenoy, Glenn Shafer, Khaled Mellouli:
Propagation of Belief Functions: A Distributed Approach. - David Sher:
Appropriate and Inappropriate Estimation Techniques. - Randall Smith, Matthew Self, Peter C. Cheeseman:
Estimating Uncertain Spatial Relationships in Robotics. - Masaki Togai, Hiroyuki Watanabe:
A VLSI Design and Implementation for a Real-Time Approximate Reasoning. - Richard M. Tong, Lee A. Appelbaum, Daniel G. Shapiro:
A General Purpose Inference Engine for Evidential Reasoning Research. - Silvio Ursic:
Generalizing Fuzzy Logic Probabilistic Inferences. - Michael P. Wellman:
Qualitative Probabilistic Networks for Planning Under Uncertainty. - Ben P. Wise:
Experimentally Comparing Uncertain Inference Systems to Probability. - Robert M. Yadrick, Bruce M. Perrin, David S. Vaughan, Peter D. Holden, Karl G. Kempf:
Evaluation of Uncertain Inference Models I: PROSPECTOR. - Ronald R. Yager:
On Implementing Usual Values. - Lotfi A. Zadeh, Anca L. Ralescu:
On the Combinality of Evidence in the Dempster-Shafer Theory. - Jonathan Arthur Quaye-Ballard, Ru An, A. B. Agyemang, N. Y. Oppong-Quayson, J. E. N. Ablade:
GUI Database for the Equipment Store of the Department of Geomatic Engineering, KNUST. - Julian Rathke, Pawel Sobocinski, Owen Stephens:
Decomposing Petri nets. - Sultan Ullah, Xuefeng Zheng, Feng Zhou, Haichun Zhao:
TCLOUD: Challenges and Best Practices for Cloud Computing. - Jinzhong Niu, Simon Parsons:
Maximizing Matching in Double-sided Auctions. - François-Michel De Rainville, Michèle Sebag, Christian Gagné, Marc Schoenauer, Denis Laurendeau:
Sustainable Cooperative Coevolution with a Multi-Armed Bandit. - Anand Louis, Prasad Raghavendra, Santosh S. Vempala:
The Complexity of Approximating Vertex Expansion. - Evgeniy Grigoriev:
On PROGRESS Operation. How to Make Object-Oriented Programming System More Object-Oriented (DRAFT). - Emad Saad:
Logical Probability Preferences. - Yongjie Yang, Jiong Guo:
Exact Algorithms for Weighted and Unweighted Borda Manipulation Problems. - Sreechakra Goparaju, Salim El Rouayheb, A. Robert Calderbank, H. Vincent Poor:
Data Secrecy in Distributed Storage Systems under Exact Repair. - Mohammed Alshehri, Steve Drew, Rayed AlGhamdi:
Analysis of Citizens Acceptance for E-government Services: Applying the UTAUT Model. - Ravindran Kannan, Santosh S. Vempala:
Nimble Algorithms for Cloud Computing. - Haris Aziz, Felix Brandt, Markus Brill:
The Computational Complexity of Random Serial Dictatorship. - Toshiya Itoh, Seiji Yoshimoto:
Buffer Management of Multi-Queue QoS Switches with Class Segregation. - Fabio Mascarenhas, Sérgio Medeiros, Roberto Ierusalimschy:
On the Relation between Context-Free Grammars and Parsing Expression Grammars. - Seok-Hwan Park, Osvaldo Simeone, Onur Sahin, Shlomo Shamai:
Joint Precoding and Multivariate Backhaul Compression for the Downlink of Cloud Radio Access Networks. - Palash Gupta, Hussain Mohammed, M. M. A. Hashem:
Characterization of Downlink Transmit Power Control during Soft Handover in WCDMA Systems. - Yulan Guo, Ferdous Ahmed Sohel, Mohammed Bennamoun, Min Lu, Jianwei Wan:
Rotational Projection Statistics for 3D Local Surface Description and Object Recognition. - A. R. M. Jalal Uddin Jamali, M. M. A. Hashem, Md. Bazlar Rahman:
An Approach to Solve Linear Equations Using a Time-Variant Adaptation Based Hybrid Evolutionary Algorithm. - Sultan Ullah, Xuefeng Zheng:
Cloud Computing Research Challenges. - Denis Berthier:
From Constraints to Resolution Rules, Part I: Conceptual Framework. - Denis Berthier:
From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E. - Jean-Yves Moyen, Paolo Parisen Toldin:
A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs. - Said El Kafhali, Mohamed Hanini, Abdelali El Bouchti, Abdelkrim Haqiq:
Performances Evaluation of Enhanced Basic Time Space Priority combined with an AQM. - Mohamed Hanini, Said El Kafhali, Abdelkrim Haqiq, Amine Berqia:
Effect of the Feedback Function on the QoS in a Time Space Priority with Active Queue Management. - Said El Kafhali, Abdelkrim Haqiq:
Effect of Mobility and Traffic Models on the Energy Consumption in MANET Routing Protocols. - John Collins, Brian Farrimond, David Flower, Mark Anderson, David Gill:
The Removal of Numerical Drift from Scientific Models. - Maher Jebali, Patrice Dalle, Mohamed Jemni:
Extension of hidden markov model for recognizing large vocabulary of sign language. - Mustapha Aznag, Mohamed Quafafou, Nicolas Durand
, Zahi Jarir:
Web Services Discovery and Recommendation Based on Information Extraction and Symbolic Reputation. - Md. Kamal Hossain, Ayman A. El-Saleh:
Cognitive Radio Engine Model Utilizing Soft Fusion Based Genetic Algorithm For Cooperative Spectrum Optimization. - Avihay Shirazi, Uria Basher, Haim H. Permuter:
Channel Coding and Source Coding with Increased Partial Side Information. - Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina:
Principal ideal languages and synchronizing automata. - Dragan Vidakovic, Dusko Parezanovic, Olivera Nikolic, Jelena Kaljevic:
RSA Signature: Behind the Scenes. - S. Hemalatha, U. Dinesh Acharya, Renuka A., Priya R. Kamath:
A Secure Color Image Steganography In Transform Domain. - Marzieh Parandehgheibi:
Probabilistic Classification using Fuzzy Support Vector Machines. - Vaishali D. Khairnar, Ketan Kotecha:
Performance of Vehicle-to-Vehicle Communication using IEEE 802.11p in Vehicular Ad-hoc Network Environment. - Jorge C. Gomes, Paulo Urbano, Anders Lyhne Christensen:
Evolution of Swarm Robotics Systems with Novelty Search. - Sanjeev Arora, Rong Ge, Ali Kemal Sinop:
Towards a better approximation for sparsest cut? - Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: A Scalable Quantum Programming Language. - Jorge C. Gomes, Anders Lyhne Christensen:
Generic Behaviour Similarity Measures for Evolutionary Swarm Robotics. - Ankit Mundra, Bhagvan K. Gupta, Geetanjali Rathee, Meenu Chawla, Nitin Rakesh, Vipin Tyagi:
Validated Real Time Middle Ware For Distributed Cyber Physical Systems Using HMM. - Pat Morin, Sander Verdonschot:
On the Average Number of Edges in Theta Graphs. - Amit Sharma, Dan Cosley:
Do Social Explanations Work? Studying and Modeling the Effects of Social Explanations in Recommender Systems. - Seyed Hamed Alemohammad
, Dara Entekhabi:
Merging Satellite Measurements of Rainfall Using Multi-scale Imagery Technique. - Benjamin N. Grosof:
An Inequality Paradigm for Probabilistic Knowledge. - David Heckerman:
Probabilistic Interpretations for MYCIN's Certainty Factors. - Daniel Hunter:
Uncertain Reasoning Using Maximum Entropy Inference. - Rodney W. Johnson:
Independence and Bayesian Updating Methods. - Judea Pearl:
A Constraint Propagation Approach to Probabilistic Reasoning. - John E. Shore:
Relative Entropy, Probabilistic Inference and AI. - Ray J. Solomonoff:
Foundations of Probability Theory for AI - The Application of Algorithmic Probability to Problems in Artificial Intelligence. - Piero P. Bonissone, Keith S. Decker:
Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-Off Precision and Complexity. - Marvin S. Cohen:
A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions. - Robert M. Fung, Chee Yee Chong:
Metaprobability and Dempster-Shafer in Evidential Reasoning. - Matthew L. Ginsberg:
Implementing Probabilistic Reasoning. - Glenn Shafer:
Probability Judgement in Artificial Intelligence. - Ben P. Wise, Max Henrion:
A Framework for Comparing Uncertain Inference Systems to Probability. - Norman C. Dalkey:
Inductive Inference and the Representation of Uncertainty. - Stephen Jose Hanson, Malcolm Bauer:
Machine Learning, Clustering, and Polymorphy. - Larry A. Rendell:
Induction, of and by Probability. - David S. Vaughan, Bruce M. Perrin, Robert M. Yadrick, Peter D. Holden, Karl G. Kempf:
An Odds Ratio Based Inference Engine. - Moshe Ben-Bassat, Oded Maler:
A Framework for Control Strategies in Uncertain Inference Networks. - Henry Hamburger:
Combining Uncertain Estimates. - John F. Lemmer:
Confidence Factors, Empiricism and the Dempster-Shafer Theory of Evidence. - Alan Bundy:
Incidence Calculus: A Mechanism for Probabilistic Reasoning. - Benjamin N. Grosof:
Evidential Confirmation as Transformed Probability. - Ronald Prescott Loui:
Interval-Based Decisions for Reasoning Systems. - James E. Corter, Mark A. Gluck:
Machine Generalization and Human Categorization: An Information-Theoretic View. - Samuel Holtzman, John S. Breese:
Exact Reasoning Under Uncertainty. - Alf C. Zimmer:
The Estimation of Subjective Probabilities via Categorical Judgments of Uncertainty. - Bruce Abramson:
A Cure for Pathological Behavior in Games that Use Minimax. - Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng:
An Evaluation of Two Alternatives to Minimax. - Ross D. Shachter:
Intelligent Probabilistic Inference. - David Sher:
Developing and Analyzing Boundary Detection Operators Using Probabilistic Models. - John Fox:
Strong & Weak Methods: A Logical View of Uncertainty. - Lester Ingber:
Statistical Mechanics Algorithm for Response to Targets (SMART). - Tod S. Levitt:
Probabilistic Conflict Resolution in Hierarchical Hypothesis Spaces. - Gerald Shao-Hung Liu:
Knowledge Structures and Evidential Reasoning in Decision Analysis. - Rushikesh Kamalapurkar, Patrick Walters, Warren E. Dixon:
Concurrent learning-based approximate optimal regulation. - Rushikesh Kamalapurkar, Huyen T. Dinh, Patrick Walters, Warren E. Dixon:
Approximate optimal cooperative decentralized control for consensus in a topological network of agents with uncertain nonlinear dynamics. - Nathan Oken Hodas, Farshad Kooti, Kristina Lerman:
Friendship Paradox Redux: Your Friends Are More Interesting Than You. - Andrew Arnold, Mark Giesbrecht, Daniel S. Roche:
Faster sparse interpolation of straight-line program. - Emad Saad:
Logical Stochastic Optimization. - Salim Farah, Magdy A. Bayoumi:
Hardware Acceleration of the Gipps Model for Real-Time Traffic Simulation. - Bogdan Carbunar, Mahmudur Rahman, Jaime Ballesteros, Naphtali Rishe
:
Eat the Cake and Have It Too: Privacy Preserving Location Aggregates in Geosocial Networks. - Lin Wang, Fa Zhang, Jordi Arjona Aroca, Athanasios V. Vasilakos, Kai Zheng, Chenying Hou, Dan Li, Zhiyong Liu:
A General Framework for Achieving Energy Efficiency in Data Center Networks. - T. Tony Cai, Anru Zhang:
Compressed Sensing and Affine Rank Minimization under Restricted Isometry. - Mostaque Md. Morshedur Hassan:
Current Studies On Intrusion Detection System, Genetic Algorithm And Fuzzy Logic. - Ramin Maazallahi, Aliakbar Niknafs:
A modified dna computing approach to tackle the exponential solution space of the graph coloring problem. - Victor Naroditskiy, Nicholas R. Jennings, Pascal Van Hentenryck, Manuel Cebrián:
Crowdsourcing Dilemma. - Gagan Dua, Nitin Gautam, Dharmendar Sharma, Ankit Arora:
Replay Attack Prevention in Kerberos Authentication Protocol Using Triple Password. - Vincent Y. F. Tan:
Error Exponents for the Relay Channel. - Garimella Rama Murthy, M. Srikanth, K. Viswanadh:
Global cognitive radio based communication systems: Space-time communications. - Radhwan Y. Ameen, Asmaa Y. Hamo:
Survey of Server Virtualization. - V. Vasanthi, M. Hemalatha:
Simulation of Obstruction Avoidance Generously Mobility (OAGM) Model using Graph-theory Technique. - Abdul-Aziz Rashid Al-Azmi:
Data, text and web mining for business intelligence: a survey. - Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie:
Formal Verification of a C Value Analysis Based on Abstract Interpretation. - Christopher R. S. Banerji, Toufik Mansour, Simone Severini:
A notion of graph likelihood and an infinite monkey theorem. - Sunita Jahirabadkar, Parag Kulkarni:
SCAF An effective approach to Classify Subspace Clustering algorithms. - Piotr Indyk, Ilya P. Razenshteyn:
On Model-Based RIP-1 Matrices. - Hardik M. Parekh, Vipul K. Dabhi:
Modified Soft Brood Crossover in Genetic Programming. - V. Ravibabu:
A Novel Metaheuristics To Solve Mixed Shop Scheduling Problems. - S. Hemalatha, U. Dinesh Acharya, Renuka A., Priya R. Kamath:
A Secure And High Capacity Image Steganography Technique. - Jiangbin Lyu, Yong Huat Chew, Wai-Choong Wong:
Aloha Games with Spatial Reuse. - Iyad A. Kanj, Guohui Lin, Tian Liu, Weitian Tong, Ge Xia, Jinhui Xu, Boting Yang, Fenghui Zhang, Peng Zhang, Binhai Zhu:
Algorithms for Cut Problems on Trees. - David Sutter, Joseph M. Renes, Renato Renner:
Efficient One-Way Secret-Key Agreement and Private Channel Coding via Polarization. - John-Olof Nilsson, Dave Zachariah, Isaac Skog, Peter Händel:
Cooperative localization by dual foot-mounted inertial sensors and inter-agent ranging. - Shuo Tan, Jeffrey O. Shallit:
Sets Represented as the Length-n Factors of a Word. - Natan Rubin:
On topological changes in the Delaunay triangulation of moving points. - Ian P. Gent:
The Recomputation Manifesto. - Dominique Attali, André Lieutier:
Geometry driven collapses for converting a Cech complex into a triangulation of a nicely triangulable shape. - Fosca Giannotti, Dino Pedreschi, Alex Pentland, Paul Lukowicz, Donald Kossmann, James L. Crowley, Dirk Helbing:
A planetary nervous system for social mining and collective awareness. - Yevgeny Seldin, Peter L. Bartlett, Koby Crammer:
Advice-Efficient Prediction with Expert Advice. - Bruno Blaskovic, Mirko Randic:
From Declarative Model to Solution: Scheduling Scenario Synthesis. - Robert West, Ryen W. White, Eric Horvitz:
From Cookies to Cooks: Insights on Dietary Patterns via Analysis of Web Usage Logs. - Khadoudja Ghanem:
Towards more accurate clustering method by using dynamic time warping. - Todd J. Bodnar, Marcel Salathé:
The Social Maintenance of Cooperation through Hypocrisy. - Karthekeyan Chandrasekaran, Justin Thaler, Jonathan R. Ullman, Andrew Wan:
Faster Private Release of Marginals on Small Databases. - Gaurav Pande:
Metrics for Video Quality Assessment in Mobile Scenarios. - Mark Burgin, Eugene Eberbach:
Evolutionary Turing in the Context of Evolutionary Machines. - Md. Rakib Hassan, Md. Kamrul Hasan, M. M. A. Hashem:
An Improved ACS Algorithm for the Solutions of Larger TSP Problems. - Hemant G. Rotithor:
A Taxonomy of Performance Assurance Methodologies and its Application in High Performance Computer Architectures. - Ardalan Amiri Sani, Sreekumar Nair, Lin Zhong, Quinn Jacobson:
Making I/O Virtualization Easy with Device Files. - Jimmy S. J. Ren, Wei Wang, Stephen Shaoyi Liao:
Optimal Control Theory in Intelligent Transportation Systems Research - A Review. - Tejashvi R. Naik, Vipul K. Dabhi:
Improving Generalization Ability of Genetic Programming: Comparative Study. - A. R. M. Jalal Uddin Jamali, M. M. A. Hashem, Md. Bazlar Rahman:
Solving Linear Equations Using a Jacobi Based Time-Variant Adaptive Hybrid Evolutionary Algorithm.