default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, 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. - Dyonisius Dony Ariananda, Madan Kumar Lakshmanan, Homayoun Nikookar:
An Investigation of Wavelet Packet Transform for Spectrum Estimation. - Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta:
Multithreaded Input-Sensitive Profiling. - Justin Thaler:
Time-Optimal Interactive Proofs for Circuit Evaluation. - Amit Chakrabarti, Graham Cormode, Navin Goyal, Justin Thaler:
Annotations for Sparse Data Streams. - Qiang Cao, Xiaowei Yang:
SybilFence: Improving Social-Graph-Based Sybil Defenses with User Negative Feedback. - Seok-Hwan Park, Osvaldo Simeone, Onur Sahin, Shlomo Shamai:
Multi-Layer Transmission and Hybrid Relaying for Relay Channels with Multiple Out-of-Band Relays. - Badreddine Meftahi, Ourida Ben Boubaker Saidi:
A New Homogeneity Inter-Clusters Measure in SemiSupervised Clustering. - Ramon Ferrer-i-Cancho, Haitao Liu:
The risks of mixing dependency lengths from sequences of different length. - Craig Boutilier, Moisés Goldszmidt:
Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence (2000). - Kathryn B. Laskey, Henri Prade:
Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (1999). - Gregory F. Cooper, Serafín Moral:
Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence (1998). - Djallel Bouneffouf:
The Impact of Situation Clustering in Contextual-Bandit Algorithm for Context-Aware Recommender Systems. - Dan Geiger, Prakash P. Shenoy:
Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (1997). - Eric Horvitz, Finn Verner Jensen:
Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (1996). - Philippe Besnard, Steve Hanks:
Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995). - Ramón López de Mántaras, David Poole:
Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (1994). - Hongbo Si, Onur Ozan Koyluoglu, Sriram Vishwanath:
Polar Coding for Fading Channels. - David Heckerman, E. H. Mamdani:
Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (1993). - Bruce D'Ambrosio, Didier Dubois, Philippe Smets, Michael P. Wellman:
Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (1992). - Piero P. Bonissone, Bruce D'Ambrosio, Philippe Smets:
Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (1991). - Piero P. Bonissone, Max Henrion, Laveen N. Kanal, John F. Lemmer:
Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (1990). - Max Henrion, Laveen N. Kanal, John F. Lemmer, Ross D. Shachter:
Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (1989). - Laveen N. Kanal, John F. Lemmer, Tod S. Levitt, Ross D. Shachter:
Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (1988). - Laveen N. Kanal, John F. Lemmer, Tod S. Levitt:
Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (1987). - Laveen N. Kanal, John F. Lemmer:
Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (1986). - Ioan Alfred Letia, Adrian Groza:
Justificatory and Explanatory Argumentation for Committing Agents. - Ehsan Nekouei, Hazer Inaltekin, Subhrakanti Dey:
Distributed Cognitive Multiple Access Networks: Power Control, Scheduling and Multiuser Diversity. - Siddharth Barman, Shuchi Chawla, Seeun Umboh:
A 2-Approximation for Redundancy Aware Network Design with Laminar Demands. - Samuel Epstein:
All Sampling Methods Produce Outliers. - Zhaocheng Yang, Rodrigo C. de Lamare:
Sparsity-Aware STAP Algorithms Using L1-norm Regularization For Radar Systems. - Seung Min Yu, Seong-Lyun Kim:
Game-theoretic Understanding of Price Dynamics in Mobile Communication Services. - Shenggen Zheng, Jozef Gruska, Daowen Qiu:
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata. - Lipeng Ning, Tryphon T. Georgiou, Allen R. Tannenbaum, Stephen P. Boyd:
Linear models based on noisy data and the Frisch scheme. - Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Emmanuel Nauer:
Automatic case acquisition from texts for process-oriented case-based reasoning. - Alexander Jung, Sebastian Schmutzhard, Franz Hlawatsch, Zvika Ben-Haim, Yonina C. Eldar:
Minimum Variance Estimation of a Sparse Vector within the Linear Gaussian Model: An RKHS Approach. - Muhammad Omer Bin Saeed, Muhammad S. Sohail, Syed Zeeshan Rizvi, Mobien Shoaib, Asrar U. H. Sheikh:
An accelerated CLPSO algorithm. - Wanqiu Guan, Haoyu Gao, Mingmin Yang, Yuan Li, Haixin Ma, Weining Qian, Zhigang Cao, Xiaoguang Yang:
Hot Social Events on SinaWeibo. - Sarra Mamechaoui, Fedoua Didi, Guy Pujolle:
A survey on energy efficiency for wireless mesh network. - Guan Gui, Abolfazl Mehbodniya, Fumiyuki Adachi:
Least Mean Square/Fourth Algorithm with Application to Sparse Channel Estimation. - Mahendra Reddy Bhumula:
Comparative Study and Analysis of Variability Tools. - Tal Hassner, Ronen Basri:
Single View Depth Estimation from Examples. - Jose A. García, Rosa Rodríguez-Sánchez, Joaquín Fernández-Valdivia, Nicolás Robinson-García, Daniel Torres-Salinas:
Best-in-class and Strategic Benchmarking of Scientific Subject Categories of Web of Science in 2010. - Lipeng Ning, Tryphon T. Georgiou, Allen R. Tannenbaum:
Matrix-valued Monge-Kantorovich Optimal Mass Transport. - David J. Rosenbaum:
Bidirectional Collision Detection and Faster Deterministic Isomorphism Testing. - Antonio Lieto, Fabiana Vernero:
Unveiling the link between logical fallacies and web persuasion. - Anita Sobe, Wilfried Elmenreich:
Smart Microgrids: Overview and Outlook. - Julius Pfrommer, Joseph Warrington, Georg Schildbach, Manfred Morari:
Dynamic vehicle redistribution and online price incentives in shared mobility systems. - Yannis Pantazis, Markos A. Katsoulakis, Dionisios G. Vlachos:
Parametric Sensitivity Analysis for Biochemical Reaction Networks based on Pathwise Information Theory. - (Withdrawn) Millimeter Wave Picocellular System Evaluation for Urban Deployments.
- Long Cheng, Zeng-Guang Hou, Min Tan:
Reaching a Consensus in Networks of High-Order Integral Agents under Switching Directed Topology. - Changkyu Kim, Russell Ford, Yanjia Qi, Sundeep Rangan:
Joint Interference and User Association Optimization in Cellular Wireless Networks. - Manan D. Shah, Harshad B. Prajapati:
Reallocation and Allocation of Virtual Machines in Cloud Computing. - Deepak C. Vegda, Harshad B. Prajapati:
Scheduling of Dependent Tasks Application using Random Search Technique. - K. Phani Tejaswi, D. Shanmukha Rao, Thara Nair, A. V. V. Prasad:
GPU Acclerated Automated Feature Extraction from Satellite Images. - Sang Yeob Jung, Hyun-Kwan Lee, Seong-Lyun Kim:
Worst-case User Analysis in Poisson Voronoi Cells. - Scott Backhaus, Russell Bent, James W. Bono, Ritchie Lee, Brendan D. Tracey, David H. Wolpert, Dongping Xie, Yildiray Yildiz:
Cyber-Physical Security: A Game Theory Model of Humans Interacting over Control Systems. - Muhammad Fainan Hanif, Le-Nam Tran, Antti Tölli, Markku J. Juntti:
Computationally Efficient Robust Beamforming for SINR Balancing in Multicell Downlink. - Matthieu Geist, Bruno Scherrer:
Off-policy Learning with Eligibility Traces: A Survey. - Harsh N. Thakker, Mayank Saha, Manik Lal Das:
Reputation Algebra for Cloud-based Anonymous Data Storage Systems. - Seyed Javad Heydari, Mahmoud Ferdosizade Naeiny, Farokh Marvasti:
Iterative Detection with Soft Decision in Spectrally Efficient FDM Systems. - Kawser Wazed Nafi, Tonny Shekha Kar, Md. Amjad Hossain, M. M. A. Hashem:
A Fuzzy Logic Based Certain Trust Model for E-Commerce. - Humayun Irshad, Alexandre Gouaillard, Ludovic Roux, Daniel Racoceanu:
Multispectral Spatial Characterization: Application to Mitosis Detection in Breast Cancer Histopathology. - Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Model for an Intelligent and Adaptive Tutor based on Web by Jackson's Learning Styles Profiler and Expert Systems. - Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Paradigm for the Application of Cloud Computing in Mobile Intelligent Tutoring Systems. - Mehmet Emin Aydin:
Coordinating metaheuristic agents with swarm intelligence. - (Withdrawn) Multiobjective optimization in Gene Expression Programming for Dew Point.
- Conrad Lee, Bobo Nick, Ulrik Brandes, Pádraig Cunningham:
Link Prediction with Social Vector Clocks. - Weizhi Lu, Weiyu Li, Kidiyo Kpalma, Joseph Ronsin:
Near-optimal Binary Compressed Sensing Matrix. - Long Wan:
Simultaneous approximation for scheduling problems. - Ramon Ferrer-i-Cancho:
Hubiness, length, crossings and their relationships in dependency trees. - Giovanni Birolo:
Interactive Realizability, Monads and Witness Extraction. - Piotr Hofman, Richard Mayr, Patrick Totzke:
Decidability of Weak Simulation on One-counter Nets. - Austin Abrams, Christopher Hawley, Kylia Miskell, Adina Stoica, Nathan Jacobs, Robert Pless:
Shadow Estimation Method for "The Episolar Constraint: Monocular Shape from Shadow Correspondence". - Wilko van Hoek, Philipp Mayr:
Assessing Visualization Techniques for the Search Process in Digital Libraries. - Carsten Schneider:
Simplifying Multiple Sums in Difference Fields. - Piotr Bródka, Stanislaw Saganowski, Przemyslaw Kazienko:
Group Evolution Discovery in Social Networks. - Pablo Barceló, Diego Figueira, Leonid Libkin:
Graph Logics with Rational Relations. - Suzhi Bi, Ying Jun Zhang:
Graphical Methods for Defense Against False-data Injection Attacks on Power System State Estimation. - Olle Fredriksson, Dan R. Ghica:
Abstract machines for game semantics, revisited. - (Withdrawn) Compressed Sensing Matrices: Binary vs. Ternary.
- Eva C. Song, Emina Soljanin, Paul Cuff, H. Vincent Poor:
Rate-Distortion-Based Physical Layer Secrecy in Multimode Fiber. - Laveen N. Kanal, John F. Lemmer:
Proceedings of the First Conference on Uncertainty in Artificial Intelligence (1985). - K. C. Srikantaiah, N. Krishna Kumar, K. R. Venugopal, Lalit M. Patnaik:
Bidirectional Growth based Mining and Cyclic Behaviour Analysis of Web Sequential Patterns. - Serge Abiteboul, Émilien Antoine, Julia Stoyanovich:
The Webdamlog System Managing Distributed Knowledge on the Web. - Maël Le Treust, Samson Lasaulce, Yezekael Hayel, Gaoning He:
Green Power Control in Cognitive Wireless Networks. - Marek Cygan, Dániel Marx, Marcin Pilipczuk, Michal Pilipczuk:
The planar directed k-Vertex-Disjoint Paths problem is fixed-parameter tractable. - Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Web-based Adaptive and Intelligent Tutor by Expert Systems. - Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Web-based Multilingual Intelligent Tutor System based on Jackson's Learning Styles Profiler and Expert Systems. - Amirali Abdullah, Samira Daruki, Jeff M. Phillips:
Range Counting Coresets for Uncertain Data. - Pietro Galliani, Lauri Hella:
Inclusion Logic and Fixed Point Logic. - Gunjan Talati, Subhash C. Kak:
The Quartic Public Key Transformation. - (Withdrawn) Navigability on Networks: A Graph Theoretic Perspective.
- Seung Min Yu, Seong-Lyun Kim:
Cost-Effective Broadcast in Cellular Networks. - Stefan S. Dantchev, Barnaby Martin:
Relativisation makes contradictions harder for Resolution. - Bradley R. Lowery:
Relative error due to a single bit-flip in floating-point arithmetic. - Azza Abouzied, Dana Angluin, Christos H. Papadimitriou, Joseph M. Hellerstein, Avi Silberschatz:
Learning and Verifying Quantified Boolean Queries by Example. - Arijit Bishnu, Subir Kumar Ghosh, Partha P. Goswami, Sudebkumar Prasant Pal, Swami Sarvattomananda:
An Algorithm for Computing Constrained Reflection Paths in Simple Polygon. - Venkatesan Guruswami, Patrick Xia:
Polar Codes: Speed of polarization and polynomial gap to capacity. - Peng Bao, Huawei Shen, Junming Huang, Xueqi Cheng:
Popularity Prediction in Microblogging Network: A Case Study on Sina Weibo. - Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal:
Distributed Abstraction Algorithm for Online Predicate Detection. - Ryan R. Curtin, William B. March, Parikshit Ram, David V. Anderson, Alexander G. Gray, Charles Lee Isbell Jr.:
Tree-Independent Dual-Tree Algorithms. - Rajesh Pasupuleti, Gugulothu Narsimha:
Privacy Preserving Data Mining by Using Implicit Function Theorem. - Mehrtash Tafazzoli Harandi, Conrad Sanderson, Richard I. Hartley, Brian C. Lovell:
Sparse Coding and Dictionary Learning for Symmetric Positive Definite Matrices: A Kernel Approach. - Alice Castellano, Francesca Cuomo:
Analysis of urban traffic data sets for VANETs simulations. - B. S. Kochkarev:
Typical property of one class of combinatory objects and estimation from above corresponding combinatory numbers. - Joel Lang, James Henderson:
Efficient Computation of Mean Truncated Hitting Times on Very Large Graphs. - Jan Noessner, Mathias Niepert, Heiner Stuckenschmidt:
RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models. - Alireza Karbalayghareh, Mohsen Hejazi, Masoumeh Nasiri-Kenari:
Convolutional Network-Coded Cooperation Scheme. - Mohamed-Jalal Fadili, Gabriel Peyré, Samuel Vaiter, Charles-Alban Deledalle, Joseph Salmon:
Stable Recovery with Analysis Decomposable Priors. - Saïd Jabbour, Lakhdar Sais, Yakoub Salhi:
Mining to Compact CNF Propositional Formulae. - Mohsen Hejazi, Masoumeh Nasiri-Kenari:
Simplified Compute-and-Forward and Its Performance Analysis. - Christian Staudt, Henning Meyerhenke:
Engineering High-Performance Community Detection Heuristics for Massive Graphs. - Ahmed A. Zewail, Mohammed Nafie, Yahya Mohasseb, Hesham El Gamal:
The Deterministic Multicast Capacity of 4-Node Relay Networks. - Yongjie Yang, Jiong Guo:
Complexity of Sincere-Strategy Preference-Based Approval Control in k-Peaked Elections. - Lamia Romdhani, Amr Mohamed:
An analytic study of a distributed EDCA-based QoS mapping for layered video delivery in WLAN. - Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs. - David Doty, Monir Hajiaghayi:
Leaderless deterministic chemical reaction networks. - Subhabrata Mukherjee, Pushpak Bhattacharyya:
Sentiment Analysis : A Literature Survey. - Gautam D. Bhanage, Sanjit Kaul:
Investigating Randomly Generated Adjacency Matrices For Their Use In Modeling Wireless Topologies. - Núbia Rosa da Silva, Odemir Martinez Bruno:
Heterogeneous patterns enhancing static and dynamic texture classification. - Ganesh J. Pai:
A Survey of Software Reliability Models. - Hala ElAarag, David Bauschlicher, Steven Bauschlicher:
System Architecture of HatterHealthConnect: An Integration of Body Sensor Networks and Social Networks to Improve Health Awareness. - Keren Censor-Hillel, Mohsen Ghaffari, Fabian Kuhn:
A New Perspective on Vertex Connectivity. - Lionel Rieg:
Extracting Herbrand trees from Coq. - Mahdi Zamanighomi, Zhengdao Wang:
Multiple-Antenna Interference Network with Receive Antenna Joint Processing and Real Interference Alignment. - Dragan Vidakovic, Olivera Nikolic, Dusko Parezanovic, Jelena Kaljevic:
Joint operation in public key cryptography. - Marco Rossi, Alexander M. Haimovich, Yonina C. Eldar:
Spatial Compressive Sensing for MIMO Radar. - Lars Backstrom, Jon M. Kleinberg, Lillian Lee, Cristian Danescu-Niculescu-Mizil:
Characterizing and curating conversation threads: Expansion, focus, volume, re-entry. - Yuxin Chen, Yuejie Chi:
Spectral Compressed Sensing via Structured Matrix Completion. - Bing-Rong Lin, Ye Wang, Shantanu Rane:
On the Benefits of Sampling in Privacy Preserving Statistical Analysis on Distributed Databases. - Junghwan Shin, Sanjiv Kapoor:
Auction Algorithm for Production Models. - Hossein Movafegh Ghadirli, Maryam Rastgarpour:
An Adaptive and Intelligent Tutor by Expert Systems for Mobile Devices. - Saeed Kaviani, Witold A. Krzymien:
Optimal Multiuser Zero-Forcing with Per-Antenna Power Constraints for Network MIMO Coordination. - Saeed Kaviani, Witold A. Krzymien:
Robust Joint Precoder and Equalizer Design in MIMO Communication Systems. - Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh:
Efficient Computation of Representative Sets with Applications in Parameterized and Exact Algorithms. - S. Ali A. Fakoorian, A. Lee Swindlehurst:
On the Optimality of Linear Precoding for Secrecy in the MIMO Broadcast Channel. - Brendan Juba:
PAC Quasi-automatizability of Resolution over Restricted Distributions. - Leonardo Torres, Sidnei J. S. Sant'Anna, Corina da Costa Freitas, Alejandro César Frery:
Speckle Reduction in Polarimetric SAR Imagery with Stochastic Distances and Nonlocal Means. - David P. Woodruff, Qin Zhang:
When Distributed Computation does not Help. - Guanghui Zhang, Bocong Chen:
Construction of Self-dual Codes over $F_p+vF_p$. - Gunjan Talati, Subhash C. Kak:
Generalized Public Key Transformations with Side Information. - Ankit Chaudhary, Jagdish Lal Raheja:
A Health Monitoring System for Elder and Sick Persons. - Danai Koutra, Joshua T. Vogelstein, Christos Faloutsos:
DELTACON: A Principled Massive-Graph Similarity Function. - Peter Lofgren, Ashish Goel:
Personalized PageRank to a Target Node. - Takuya Akiba, Yoichi Iwata, Yuichi Yoshida:
Fast Exact Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling. - Jagdish Lal Raheja, Ankit Chaudhary, Kunal Singal:
Tracking of Fingertips and Centres of Palm using KINECT. - Ankit Chaudhary, Basant K. Verma, Jagdish Lal Raheja:
Product line Development Architectural Model. - Rodrigo C. de Lamare, Didier Le Ruyet:
Multi-Branch MMSE Decision Feedback Detection Algorithms with Error Propagation Mitigation for Multi-Antenna Systems. - Rudrusamy U. Gobithaasan, O. Norziah, Jamaludin Md. Ali:
Developing a General algorithm for Ball Curve with GC2. - Huiyi Hu, Thomas Laurent, Mason A. Porter, Andrea L. Bertozzi:
A Method Based on Total Variation for Network Modularity Optimization using the MBO Scheme. - Rong Jin, Tianbao Yang, Shenghuo Zhu:
A New Analysis of Compressive Sensing by Stochastic Proximal Gradient Descent. - Yuan Li, Haoyu Gao, Mingmin Yang, Wanqiu Guan, Haixin Ma, Weining Qian, Zhigang Cao, Xiaoguang Yang:
What are Chinese Talking about in Hot Weibos. - Tanya Khovanova, Ziv Scully:
Efficient Calculation of Determinants of Symbolic Matrices with Many Variables. - Song-Nam Hong, Giuseppe Caire:
Structured Lattice Codes for Some Two-User Gaussian Networks with Cognition, Coordination and Two Hops. - Ankit Chaudhary, Ankur Gupta:
Automated Switching System for Skin Pixel Segmentation in Varied Lighting. - Javier Martín Hernández, Huijuan Wang, Piet Van Mieghem, Gregorio D'Agostino:
On Synchronization of Interdependent Networks. - Jaroslav Horácek, Milan Hladík:
Computing Enclosures of Overdetermined Interval Linear Systems. - David Coudert, Luc Hogie, Aurélien Lancin, Dimitri Papadimitriou, Stéphane Pérennes, Issam Tahiri:
Feasibility study on distributed simulations of BGP. - Jan A. Bergstra, Karl de Leeuw:
Bitcoin and Beyond: Exclusively Informational Monies. - Soumaya Hichri, Faouzi Benzarti, Hamid Amiri:
Robust Noise Filtering in Image Sequences. - Seyed Hamed Hassani, Kasra Alishahi, Rüdiger L. Urbanke:
Finite-Length Scaling of Polar Codes. - Shixi Chen, Shuigeng Zhou:
Recursive Mechanism: Towards Node Differential Privacy and Unrestricted Joins [Full Version, Draft 0.1]. - Daniil Ryabko:
Unsupervised model-free representation learning. - Yongjune Kim, Kyoung Lae Cho, Hongrak Son, Jaehong Kim, Jun Jin Kong, Jaejin Lee, B. V. K. Vijaya Kumar:
Modulation Coding for Flash Memories. - Yongjune Kim, B. V. K. Vijaya Kumar:
Coding for Memory with Stuck-at Defects. - Amit Sharma, Mevlana Gemici, Dan Cosley:
Friends, Strangers, and the Value of Ego Networks for Recommendation. - Raúl Machado:
On the Generalized Hermite-Based Lattice Boltzmann Construction, Lattice Sets, Weights, Moments, Distribution Functions and High-Order Models. - Nick Cheney, Jeff Clune, Jason Yosinski, Hod Lipson:
Hands-free Evolution of 3D-printable Objects via Eye Tracking. - Matin Jafarian, Claudio De Persis:
Formation control with binary information. - Aditya Mahajan, M. S. Dahiya, Hitesh P. Sanghvi:
Forensic Analysis of Instant Messenger Applications on Android Devices. - Manfred Eppe, Mehul Bhatt, Frank Dylla:
h-approximation: History-Based Approximation of Possible World Semantics as ASP. - Yun Fan, Hongwei Liu:
Homogeneous Weights and Möbius Functions on Finite Rings. - Nikhil R. Devanur, Shaddin Dughmi, Roy Schwartz, Ankit Sharma, Mohit Singh:
On the Approximation of Submodular Functions. - Mark Sh. Levin:
Improvement/Extension of Modular Systems as Combinatorial Reengineering (Survey). - Jan L. Cieslinski, Leonid V. Moroz:
Fast exact digital differential analyzer for circle generation. - Edgar Chávez, Ana C. Chávez-Cáliz, Jorge L. López-López:
Polygon Matching and Indexing Under Affine Transformations. - Sixia Chen, Cristopher Moore, Alexander Russell:
Small-Bias Sets for Nonabelian Groups: Derandomizing the Alon-Roichman Theorem. - Ramya Mohan:
Network Analysis and Application Control Software based on Client-Server Architecture. - Shalvi Dave, Bhushan Trivedi, Jimit Mahadevia:
Efficacy of Attack detection capability of IDPS based on it's deployment in wired and wireless environment. - Bartlomiej Blaszczyszyn, Miodrag Jovanovic, Mohamed Kadhem Karray:
Quality of Real-Time Streaming in Wireless Cellular Networks - Stochastic Modeling and Analysis. - Hui Zhang, Ming Yan, Wotao Yin:
One condition for all: solution uniqueness and robustness of ℓ1-synthesis and ℓ1-analysis minimizations. - Chii Chang, Sea Ling:
Towards an Infrastructure-less SOA for Mobile Web Service Composition. - Shubhadip Mitra, Partha Dutta, Arnab Bhattacharya:
Constraint Satisfaction over Generalized Staircase Constraints. - Hichem Bannour, Céline Hudelot:
Combinaison d'information visuelle, conceptuelle, et contextuelle pour la construction automatique de hierarchies semantiques adaptees a l'annotation d'images. - Tuan Tran Thai, Jérôme Lacan, Emmanuel Lochin:
Joint On-the-Fly Network Coding/Video Quality Adaptation for Real-Time Delivery. - Stephan Rafler:
The Tap code - a code similar to Morse code for communication by tapping. - Vidyadhar Upadhya, Devendra Jalihal:
Blind Non-parametric Statistics for Multichannel Detection Based on Statistical Covariances. - Bernhard C. Geiger, Gernot Kubin:
On the Rate of Information Loss in Memoryless Systems. - Stefan Wallentowitz, Philipp Wagner, Michael Tempelmeier, Thomas Wild, Andreas Herkersdorf:
Open Tiled Manycore System-on-Chip. - Marcus Baum, Uwe D. Hanebeck:
Extended Object Tracking with Random Hypersurface Models. - Meng Zheng, Przemyslaw Pawelczak, Slawomir Stanczak, Haibin Yu:
Planning of Cellular Networks Enhanced by Energy Harvesting. - Vivian Medeiros, Antônio Tadeu A. Gomes:
Expressando Atributos Não-Funcionais em Workflows Científicos. - Víctor López Millán, Vicent Cholvi, Luis López, Antonio Fernández Anta:
Improving Resource Location with Locally Precomputed Partial Random Walks. - Pablo Dorta-González, María-Isabel Dorta-González:
Impact maturity times and citation time windows: The 2-year maximum journal impact factor. - Pablo Dorta-González, María-Isabel Dorta-González:
Comparing journals from different fields of Science and Social Science through a JCR Subject Categories Normalized Impact Factor. - Kévin Perrot, Eric Rémila:
Kadanoff Sand Pile Model. Avalanche Structure and Wave Shape. - Pablo Dorta-González, María-Isabel Dorta-González:
Central indexes to the citation distribution: A complement to the h-index. - Chuang Wang, Haijun Zhou:
Simplifying Generalized Belief Propagation on Redundant Region Graphs. - Irena Rusu:
MinMax-Profiles: A Unifying View of Common Intervals, Nested Common Intervals and Conserved Intervals of K Permutations. - Elliot Anshelevich, John Postl, Tom Wexler:
Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness. - Wei Liu, Seyed Hamed Hassani, Rüdiger L. Urbanke:
The Least Degraded and the Least Upgraded Channel with respect to a Channel Family. - Antoine Girard:
A composition theorem for bisimulation functions. - Trong Nghia Hoang, Kian Hsiang Low:
Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents. - Jialu Liu:
Image Retrieval based on Bag-of-Words model. - Vaishali D. Khairnar, S. N. Pradhan:
Comparative Study of Simulation for Vehicular Ad-hoc Network. - Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). - Vaishali D. Khairnar, S. N. Pradhan:
Mobility Models for Vehicular Ad-hoc Network Simulation. - Saurabh D. Patil, D. V. Thombare, Vaishali D. Khairnar:
DEMO: Simulation of Realistic Mobility Model and Implementation of 802.11p (DSRC) for Vehicular Networks (VANET). - Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi:
Ball-Larus Path Profiling Across Multiple Loop iterations. - Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont:
Some approximations in Model Checking and Testing. - Duc Phu Chau, François Brémond, Monique Thonnat:
Object Tracking in Videos: Approaches and Issues. - Hany SalahEldeen, Michael L. Nelson:
Carbon Dating The Web: Estimating the Age of Web Resources. - Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din:
Intrinsic complexity estimates in polynomial optimization. - Marco Mondelli, Seyed Hamed Hassani, Rüdiger L. Urbanke:
Scaling Exponent of List Decoders with Applications to Polar Codes. - Hervé Zwirn:
Computational Irreducibility and Computational Analogy. - Yousuf Ibrahim Khan:
Applications of Dynamical Systems in Engineering. - Michael E. Hansen, Robert L. Goldstone, Andrew Lumsdaine:
What Makes Code Hard to Understand? - Deeparnab Chakrabarty, C. Seshadhri:
An optimal lower bound for monotonicity testing over hypergrids. - Jan Kretínský, Salomon Sickert:
On Refinements of Boolean and Parametric Modal Transition Systems. - Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský:
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. - Muhammad Anshari, Mohammad Nabil Almunawar:
Shifting Role of Customer from Recipient To Partner of Care In Healthcare Organization. - Anoop Korattikara Balan, Yutian Chen, Max Welling:
Austerity in MCMC Land: Cutting the Metropolis-Hastings Budget. - Don J. Torrieri, Matthew C. Valenti:
Exclusion and Guard Zones in DC-CDMA Ad Hoc Networks. - Somesh Kumar Prajapati, Suvamoy Changder, Anirban Sarkar:
Trust Management Model for Cloud Computing Environment. - Joongheon Kim, Yafei Tian, Stefan Mangold, Andreas F. Molisch:
Quality-Aware Coding and Relaying for 60 GHz Real-Time Wireless Video Broadcasting. - Rohan R. Kachewar:
K model for designing Data Driven Test Automation Frameworks and its Design Architecture Snow Leopard. - Martin Kiechle, Simon Hawe, Martin Kleinsteuber:
A Joint Intensity and Depth Co-Sparse Analysis Model for Depth Map Super-Resolution. - Lizhao You, Zimu Yuan, Bin Tang, Guihai Chen:
Minimum Latency Broadcast Scheduling in Single-Radio Multi-Channel Wireless Ad-Hoc Networks. - (Withdrawn) Spectrum Allocation and Subsidization for User Welfare in Mobile Communication Services.
- Thomas P. Dover:
Legacy Forensics: An Emerging Challenge. - Luigi Briguglio, Frank Eichinger, Massimiliano Nigrelli, Javier Lucio Ruiz-Andino:
Marketplaces for Energy Demand-Side Management based on Future-Internet Technology. - Emile Contal, David Buffoni, Alexandre Robicquet, Nicolas Vayatis:
Parallel Gaussian Process Optimization with Upper Confidence Bound and Pure Exploration. - Toni Ernvall:
Exact-Regenerating Codes between MBR and MSR Points. - Philip Bille, Patrick Hagge Cording, Inge Li Gørtz:
Compact q-gram Profiling of Compressed Strings. - R. Ram Kumar, Kannan Balakrishnan, Prasanth G. Narasimha-Shenoi:
Fair Sets of Some Class of Graphs. - Nadia Creignou, Uwe Egly, Johannes Schmidt:
Complexity Classifications for logic-based Argumentation. - Aziza Sabri, Laila Kjiri:
Patterns to analyze requirements of a Decisional Information System. - Carsten Gottschlich, Stephan Huckemann:
Separating the Real From the Synthetic: Extended Minutiae Histograms as Fingerprints of Fingerprints. - Nandana Rajatheva:
The Worst Case ISI channels and the Uniqueness of the Corresponding Minimum Eigenvalue. - Kousha Etessami, Alistair Stewart, Mihalis Yannakakis:
A note on the complexity of comparing succinctly represented integers, with an application to maximum probability parsing. - Thomas Brihaye, Quentin Menet:
Fairly Correct Systems: Beyond omega-regularity. 21-34 - Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary:
Solving WCSP by Extraction of Minimal Unsatisfiable Cores. - Joonseok Lee, Kisung Lee, Jennifer G. Kim:
Personalized Academic Research Paper Recommendation System. - Moritz Schubotz:
Making Math Searchable in Wikipedia. - Ronald de Haan, Iyad A. Kanj, Stefan Szeider:
Local Backbones. - Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
An Introduction to Quantum Programming in Quipper. - Marijn Heule, Stefan Szeider:
A SAT Approach to Clique-Width. - Tianbao Yang, Lijun Zhang:
Efficient Stochastic Gradient Descent for Strongly Convex Optimization. - Vasileios Lampos, Thomas Lansdall-Welfare, Ricardo Araya, Nello Cristianini:
Analysing Mood Patterns in the United Kingdom through Twitter Content. - Mariam Akbar, Nadeem Javaid, A. A. Khan, Zahoor Ali Khan, U. Qasim:
On Modeling Geometric Joint Sink Mobility with Delay-Tolerant Cluster-less Wireless Sensor Networks. - Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider:
Upper and Lower Bounds for Weak Backdoor Set Detection. - Edwin M. Westbrook, Swarat Chaudhuri:
A Semantics for Approximate Program Transformations. - Adrian Groza:
Designing Electronic Markets for Defeasible-based Contractual Agents. - Andreas Klöckner, Timothy Warburton, Jan S. Hesthaven:
Solving Wave Equations on Unstructured Geometries. - Adrian Groza, Gabriel Barbur, Bogdan Blaga:
OntoRich - A Support Tool for Semi-Automatic Ontology Enrichment and Evaluation. - Andreas Klöckner, Nicolas Pinto, Bryan Catanzaro, Yunsup Lee, Paul Ivanov, Ahmed Fasih:
GPU Scripting and Code Generation with PyCUDA. - Adrian Groza, Sergiu Indrie:
Enacting Social Argumentative Machines in Semantic Wikipedia. - Ferdinando Cicalese, Travis Gagie, Emanuele Giaquinta, Eduardo Sany Laber, Zsuzsanna Lipták, Romeo Rizzi, Alexandru I. Tomescu:
Indexes for Jumbled Pattern Matching in Strings, Trees and Graphs. - Michael E. Cotterell, Terrance Medina:
A Markov Model for Ontology Alignment. - Andrew Fuller, Vedran Budimcic:
DORI: Distributed Outdoor Robotic Instruments. - Liangbin Li, Hamid Jafarkhani:
Maximum-rate Transmission with Improved Diversity Gain for Interference Networks. - Qichao Que, Mikhail Belkin:
Inverse Density as an Inverse Problem: The Fredholm Equation Approach. - Ameet Talwalkar, Lester W. Mackey, Yadong Mu, Shih-Fu Chang, Michael I. Jordan:
Divide-and-Conquer Subspace Segmentation. - V. B. Surya Prasath, Juan Carlos Moreno, Kannappan Palaniappan:
Color image denoising by chromatic edges based vector valued diffusion. - Tsung-Hui Chang, Angelia Nedic, Anna Scaglione:
Distributed Constrained Optimization by Consensus-Based Primal-Dual Perturbation Method. - Michael J. Bannister, Sergio Cabello, David Eppstein:
Parameterized Complexity of 1-Planarity. - Siddharth Shroff, Vipul K. Dabhi:
Dew Point modelling using GEP based multi objective optimization. - Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics. - Marc Bui, Michel Lamure, Ivan Lavallée:
La machine α: modèle générique pour les algorithmes naturels. - Nabarun Mondal, Partha P. Ghosh:
Another Asymptotic Notation : "Almost". - Michael J. Gagen:
Isomorphic Strategy Spaces in Game Theory. - Susanne Albers, Matthias Hellwig:
Online Makespan Minimization with Parallel Schedules. - Doron Goldfarb, Max Arends, Josef Froschauer, Dieter Merkl:
Art History on Wikipedia, a Macroscopic Observation. - V. H. Hovnanyan, H. E. Nahapetyan, Suren S. Poghosyan, V. S. Poghosyan:
Tighter Upper Bounds for the Minimum Number of Calls and Rigorous Minimal Time in Fault-Tolerant Gossip Schemes. - Chang Xu, Dacheng Tao, Chao Xu:
A Survey on Multi-view Learning. - Makoto Naruse, Masashi Aono, Song-Ju Kim:
Nanoscale photonic network for solution searching and decision making problems. - Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter:
On Integrating Deductive Synthesis and Verification Systems. - Platonov Anatolij:
Particularities of Analog FCS Optimization. - Mahmudur Rahman, Bogdan Carbunar, Madhusudan Banik:
Fit and Vulnerable: Attacks and Defenses for a Health Monitoring Device. - Vladimir Fux, Patrick Maillé, Jean-Marie Bonnin, Nassim Kaci:
Efficiency or fairness: managing applications with different delay sensitivities in heterogeneous wireless networks. - Carly Stambaugh, Hui Yang, Felix Breuer:
Analytic Feature Selection for Support Vector Machines. - Joao Ricardo Nickenig Vissoci, Clarissa Rodrigues Garcia, Luciano de Andrade, Jose Eduardo Santana, Amrapali Zaveri, Ricardo Pietrobon:
A Framework for Reproducible, Interactive Research: Application to health and social sciences. - Ye Tian, Aylin Yener:
Guiding Blind Transmitters: Degrees of Freedom Optimal Interference Alignment Using Relays. - Philip Bille, Inge Li Gørtz, Gad M. Landau, Oren Weimann:
Tree Compression with Top Trees. - Rajendra K. Bera:
A novice looks at emotional cognition. - I. B. Bakholdin:
Calculation and analysis of solitary waves and kinks in elastic tubes. - Szabolcs Iván, Judit Nagy-György:
On the structure and syntactic complexity of generalized definite languages. - Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela:
Synchronous Counting and Computational Algorithm Design. - Péter E. Frenkel, Mihály Weiner:
Classical information storage in an $n$-level quantum system. - Muhammad Tahir, Nadeem Javaid, Adeel Iqbal, Zahoor Ali Khan, Nabil Ali Alrajeh:
On Adaptive Energy Efficient Transmission in WSNs. - Christophe Guéret, Tamy Chambers, Linda Reijnhoudt, Frank van der Most, Andrea Scharnhorst:
Genericity versus expressivity - an exercise in semantic interoperable research information systems for Web Science. - John Tadrous, Atilla Eryilmaz, Hesham El Gamal:
Proactive Data Download and User Demand Shaping for Data Networks. - Fedor V. Fomin, Petr A. Golovach:
Long Circuits and Large Euler Subgraphs. - Almila Akdag Salah, Sally Wyatt, Samir Passi, Andrea Scharnhorst:
Mapping EINS -- An exercise in mapping the Network of Excellence in Internet Science. - (Withdrawn) Policy Aware Geospatial Data.
- Mikhail V. Berlinkov:
On the probability to be synchronizable. - Sébastien Tavenas:
Improved bounds for reduction to depth 4 and depth 3. - Martina Cardone, Daniela Tuninetti, Raymond Knopp, Umer Salim:
Gaussian Half-Duplex Relay Networks: improved constant gap and connections with the assignment problem. - Hemant Tyagi, Bernd Gärtner:
Continuum armed bandit problem of few variables in high dimensions. - Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan:
Request Complexity of VNet Topology Extraction: Dictionary-Based Attacks. - Henrik Ohlsson, Allen Y. Yang, Roy Dong, S. Shankar Sastry:
Nonlinear Basis Pursuit. - Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata. - Shenwei Huang:
Improved Complexity Results on $k$-Coloring $P_t$-Free Graphs. - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. - Sheng Li, Rodrigo C. de Lamare, Martin Haardt:
Frequency-Domain Group-based Shrinkage Estimators for UWB Systems. - Rodrigo C. de Lamare, Are Hjørungnes, Raimundo Sampaio Neto:
A Unified Approach to Joint and Iterative Adaptive Interference Cancellation and Parameter Estimation for CDMA Systems in Multipath Channels. - Arpita Ghosh, Satyen Kale, Kevin J. Lang, Benjamin Moseley:
Bargaining for Revenue Shares on Tree Trading Networks. - Yi Liu, Shengli Xie, Rong Yu, Yan Zhang, Chau Yuen:
An Efficient MAC Protocol with Selective Grouping and Cooperative Sensing in Cognitive Radio Networks. - Jaroslaw Blasiok, Marcin Kaminski:
Chain minors are FPT. - Giovanni Geraci, Romain Couillet, Jinhong Yuan, Mérouane Debbah, Iain B. Collings:
Large System Analysis of Linear Precoding in MISO Broadcast Channels with Confidential Messages. - Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Fundamental Limits of Distributed Caching in D2D Wireless Networks. - Forrest Briggs, Xiaoli Z. Fern, Jed Irvine:
Multi-Label Classifier Chains for Bird Sound. - Dimitrios I. Diochnos:
Commonsense Reasoning and Large Network Analysis: A Computational Study of ConceptNet 4. - Renny, Reza Chandra, Syamsi Ruhama, Mochammad Wisuda Sarjono:
Exploring Tracer Study Service in Career Center Web Site of Indonesia Higher Education. - Rajesh Hemant Chitnis, Fedor V. Fomin, Petr A. Golovach:
Parameterized Complexity of the Anchored k-Core Problem for Directed Graphs. - Moni Naor, Eylon Yogev:
Sliding Bloom Filters. - Yang Wang, Jin-Kao Hao, Fred W. Glover, Zhipeng Lü:
Solving the minimum sum coloring problem via binary quadratic programming. - Markus Bader, Johann Prankl, Markus Vincze:
Visual Room-Awareness for Humanoid Robot Self-Localization. - Mohammed-Amine Abchir, Isis Truck, Anna Pappa:
Dealing with natural language interfaces in a geolocation context. - Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. - Sabah Al-Fedaghi:
Conceptual Understanding of Computer Program Execution: Application to C++. - Bruno Cornelis, Yun Yang, Joshua T. Vogelstein, Ann Dooms, Ingrid Daubechies, David B. Dunson:
Bayesian crack detection in ultra high resolution multimodal images of paintings. - Mohammed-Amine Abchir, Isis Truck:
Towards an Extension of the 2-tuple Linguistic Model to Deal With Unbalanced Linguistic Term sets. - Hervé Fournier, Sylvain Perifel, Rémi de Joannis de Verclos:
On fixed-polynomial size circuit lower bounds for uniform polynomials in the sense of Valiant. - Petr N. Vabishchevich, V. I. Vasil'ev:
Numerical solving the identification problem for the lower coefficient of parabolic equation. - Bugra Çaskurlu, K. Subramani:
On Partial Vertex Cover on Bipartite Graphs and Trees. - Fábio José Muneratti Ortega, Wilson Vicente Ruggiero:
Security Policies for WFMS with Rich Business Logic - A Model Suitable for Analysis. - Nafiseh Shariati, Emil Björnson, Mats Bengtsson, Mérouane Debbah:
Low-Complexity Channel Estimation in Large-Scale MIMO using Polynomial Expansion. - Andreas Pfandler, Stefan Rümmele, Stefan Szeider:
Backdoors to Abduction. - Matija Korpar, Mile Sikic:
SW# - GPU enabled exact alignments on genome scale. - Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh:
Three Generalizations of the FOCUS Constraint. - Sándor P. Fekete, Nils Schweer, Jan-Marc Reinhardt:
A Competitive Strategy for Distance-Aware Online Shape Allocation. - Andrew V. Goldberg, Ilya P. Razenshteyn, Ruslan Savchenko:
Separating Hierarchical and General Hub Labelings. - Kevin S. Xu, Alfred O. Hero III:
Dynamic stochastic blockmodels: Statistical models for time-evolving networks. - Shalabh Vidyarthi, Kaushal K. Shukla:
Approximation Algorithms for Vehicle Routing Problems with Stochastic Demands on Trees. - Jin Tan, Dror Baron, Liyi Dai:
Mixture Gaussian Signal Estimation with L_infty Error Metric. - Enoch Peserico:
Paging with dynamic memory capacity. - Gonzalo Navarro:
Spaces, Trees and Colors: The Algorithmic Landscape of Document Retrieval on Sequences. - Rafah El-Khatib, Nicolas Macris, Rüdiger L. Urbanke:
Displacement Convexity, A Useful Framework for the Study of Spatially Coupled Codes. - Chun Lam Chan, Sheng Cai, Mayank Bakshi, Sidharth Jaggi, Venkatesh Saligrama:
Near-Optimal Stochastic Threshold Group Testing. - Samuel Vaiter, Gabriel Peyré, Jalal Fadili:
Robust Polyhedral Regularization. - Thomas Braibant, Jacques-Henri Jourdan, David Monniaux:
Implementing hash-consed structures in Coq. - Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault:
Polynomial Systems Solving by Fast Linear Algebra. - Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands:
Monte Carlo *-Minimax Search. - Jürgen Teich, Wolfgang Schröder-Preikschat, Andreas Herkersdorf:
Invasive Computing - Common Terms and Granularity of Invasion. - Ioan Alfred Letia, Adrian Groza:
Automating the Dispute Resolution in Task Dependency Network. - Anna Kucerová, Matej Leps:
Soft computing-based calibration of microplane M4 model parameters: Methodology and validation. - Nicolas Charon, Alain Trouvé:
The varifold representation of non-oriented shapes for diffeomorphic registration. - Sergiu Hart, Noam Nisan:
The Menu-Size Complexity of Auctions. - Song-Nam Hong, Giuseppe Caire:
Two-Unicast Two-Hop Interference Network: Finite-Field Model. - Serhat Nazim Avci, Ender Ayanoglu:
Network Coding-Based Link Failure Recovery over Large Arbitrary Networks. - Venkat Anantharam, Amin Aminzadeh Gohari, Sudeep Kamath, Chandra Nair:
On Maximal Correlation, Hypercontractivity, and the Data Processing Inequality studied by Erkip and Cover. - Advait Jain, Marc D. Killpack, Aaron Edsinger, Charles C. Kemp:
Manipulation in Clutter with Whole-Arm Tactile Sensing. - Jingjing Liu, Peng Li, Rodrigo C. de Lamare:
Iterative Detection and Decoding for MIMO Systems with Knowledge-Aided Message Passing Algorithms. - Peng Li, Jingjing Liu, Rodrigo C. de Lamare:
Adaptive Iterative Decision Feedback Detection Algorithms for Multi-User MIMO Systems. - Giovanni Geraci, Azzam Y. Al-nahari, Jinhong Yuan, Iain B. Collings:
Linear Precoding for Broadcast Channels with Confidential Messages under Transmit-Side Channel Correlation. - Giovanni Geraci, Romain Couillet, Jinhong Yuan, Mérouane Debbah, Iain B. Collings:
Secrecy Sum-Rates with Regularized Channel Inversion Precoding under Imperfect CSI at the Transmitter. - (Withdrawn) Separation Properties and Related Bounds of Collusion-secure Fingerprinting Codes.
- Jing Guo, Salman Durrani, Xiangyun Zhou:
Outage Probability in Arbitrarily-Shaped Finite Wireless Networks. - Nicholas Mattei, Nina Narodytska, Toby Walsh:
How hard is it to control an election by breaking ties? - Yang Zhang, Dusit Niyato, Ping Wang:
An Auction Mechanism for Resource Allocation in Mobile Cloud Computing Systems. - Guanggang Geng, Xiao-Bo Jin, Xinchang Zhang, Dexian Zhang:
Evaluating Web Content Quality via Multi-scale Features. - Christoph Dürr, Óscar C. Vásquez:
Order constraints for single machine scheduling with non-linear cost. - Fedor V. Fomin, Petr A. Golovach, Janne H. Korhonen:
On the parameterized complexity of cutting a few vertices from a graph. - Hafeez Anwar, Sebastian Zambanini, Martin Kampel:
A Bag of Visual Words Approach for Symbols-Based Coarse-Grained Ancient Coin Classification. - Roland Perko, Thomas Schnabel, Gerald Fritz, Alexander Almer, Lucas Paletta:
Counting people from above: Airborne video based crowd analysis. - Anna C. Gilbert, Hung Q. Ngo, Ely Porat, Atri Rudra, Martin J. Strauss:
L2/L2-foreach sparse recovery with low risk. - Chol-Un Kim, Dok-Jun An, Su-Nam Han:
An Identification Protocol based the secure USB. - Chia-Lung Wu, Po-Ning Chen, Mikael Skoglund, Ming Xiao, Shin-Lin Shieh:
A Two-Phase Maximum-Likelihood Sequence Estimation for Receivers with Partial CSI. - Andreas Brandstädt, Martin Milanic, Ragnar Nevries:
New Polynomial Cases of the Weighted Efficient Domination Problem. - Rohan Padhye, Uday P. Khedker:
Interprocedural Data Flow Analysis in Soot using Value Contexts. - Mohammad Ardeshir, Rasoul Ramezanian:
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models. - Mahfuza Farooque, Stéphane Graham-Lengrand:
Sequent Calculi with procedure calls. - Florence Levé, Gwénaël Richomme:
On Quasiperiodic Morphisms. - Thakshila Wimalajeewa, Yonina C. Eldar, Pramod K. Varshney:
Subspace Detection from Structured Union of Subspaces via Linear Sampling. - Clemens Grabmayer, Jan Rochel:
Expressibility in the Lambda Calculus with mu. - Fang Wang, Yi Li:
Learning Visual Symbols for Parsing Human Poses in Images. - Arie Bos:
Hilbert curves in 2 dimensions generated by L-systems. - Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch:
Guarded Variable Automata over Infinite Alphabets. - Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
On the Complexity of Verifying Regular Properties on Flat Counter Systems. - Maurice Margenstern:
About Strongly Universal Cellular Automata. 93-125 - Hans L. Bodlaender, Pål Grønås Drange, Markus S. Dregi, Fedor V. Fomin, Daniel Lokshtanov, Michal Pilipczuk:
A O(c^k n) 5-Approximation Algorithm for Treewidth. - Joshua A. Grochow:
Unifying and generalizing known lower bounds via geometric complexity theory. - Amotz Bar-Noy, Dror Rawitz, Peter Terlecky:
Maximizing Barrier Coverage Lifetime with Mobile Sensors. - Sebastian Senge:
Assessment of Path Reservation in Distributed Real-Time Vehicle Guidance. - Firas A. Jassim:
Semi-Optimal Edge Detector based on Simple Standard Deviation with Adjusted Thresholding. - Constantinos Panagiotakopoulos, Petroula Tsampouka:
The Stochastic Gradient Descent for the Primal L1-SVM Optimization Revisited. - Zoltán Ésik, Szabolcs Iván:
Operational characterization of scattered MCFLs -- Technical Report. - Mostafa Haghir Chehreghani:
Efficient Algorithms for Approximate Triangle Counting. - Rajesh Hemant Chitnis, Fedor V. Fomin, Petr A. Golovach:
Preventing Unraveling in Social Networks Gets Harder. - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version). - Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang:
On independence domination. - Cheng Wang, Xiang-Yang Li, Changjun Jiang:
Modelling Capacity Scaling of Wireless Social Networks by A Population-Based Social Formation Model. - Vincent Larivière, George A. Lozano, Yves Gingras:
Are elite journals declining? - Keke Zu, Rodrigo C. de Lamare:
Adaptive Switched Lattice Reduction-Aided Linear Detection Techniques for MIMO Systems. - Keke Zu, Rodrigo C. de Lamare, Martin Haardt:
Low-Complexity Lattice Reduction-Aided Channel Inversion Methods for Large-Dimensional Multi-User MIMO Systems. - Vít Novácek, Aisha Naseer:
Technical report: Linking the scientific and clinical data with KI2NA-LHC. - Haim Avron, Alex Druinsky, Anshul Gupta:
A Randomized Asynchronous Linear Solver with Provable Convergence Rate. - Noah M. Daniels:
Remote Homology Detection in Proteins Using Graphical Models. - Miguel Á. Carreira-Perpiñán, Weiran Wang:
The K-modes algorithm for clustering. - Yining Wang, Liwei Wang, Yuanzhi Li, Di He, Tie-Yan Liu, Wei Chen:
A Theoretical Analysis of NDCG Type Ranking Measures. - Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse:
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction. - Biao He, Xiangyun Zhou:
Secure On-Off Transmission Design with Channel Estimation Errors. - Ashutosh Lanjewar, Neelesh Gupta:
Optimizing Cost, Delay, Packet Loss and Network Load in AODV Routing Protocol. - Liangli Zhen, Zhang Yi, Xi Peng, Dezhong Peng:
Locally linear representation for subspace learning and clustering. - François Baccelli, Fabien Mathieu, Ilkka Norros, Rémi Varloot:
Can P2P Networks be Super-Scalable? - Hongxing Li, Chuan Wu, Zongpeng Li, Francis C. M. Lau:
Virtual Machine Trading in a Federation of Clouds: Individual Profit and Social Welfare Maximization. - Benjamin Weiß, Federico Centarti, Felix Schmitt, Stephen Straub:
Route-Based Detection of Conflicting ATC Clearances on Airports. - Wing Shing Wong:
Transmission Sequence Design and Allocation for Wide Area Ad Hoc Networks. - Huixing Fang, Huibiao Zhu, Jianqi Shi:
Apricot - An Object-Oriented Modeling Language for Hybrid Systems. - Frank Nielsen:
Logging safely in public spaces using color PINs. - Evmorfia N. Argyriou, Aikaterini A. Sotiraki, Antonios Symvonis:
Occupational Fraud Detection Through Visualization. - Felix Schmitt, Ralf Heidger, Stephen Straub, Benjamin Weiß:
Software Design Principles of a DFS Tower A-CWP Prototype. - Oualid El Halimi, Peyman Derafshkavian, Abdulrhman Albeladi, Faisal Alrashdi:
Toward Recovering Complete SRS for Softbody Simulation System and a Sample Application - a Team 4 SOEN6481-W13 Project Report. - Christos K. Kourtellaris, Charalambos D. Charalambous, Photios A. Stavrou:
Nonanticipative Rate Distortion Function for General Source-Channel Matching. - (Withdrawn) Decision-Theoretic Troubleshooting: Hardness of Approximation.
- Bowen Yan, Steve Gregory:
Identifying Communities and Key Vertices by Reconstructing Networks from Samples. - Maggie E. Habeeb, Delaram Kahrobaei, Charalambos Koupparis, Vladimir Shpilrain:
Public key exchange using semidirect product of (semi)groups. - David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández:
Unifying the Linear Time-Branching Time Spectrum of Process Semantics. - B. Hanmanthu, B. Raghu Ram, P. Niranjan:
Third Party Privacy Preserving Protocol for Perturbation Based Classification of Vertically Fragmented Data Bases. - Claude Castelluccia, Chaabane Abdelberi, Markus Dürmuth, Daniele Perito:
When Privacy meets Security: Leveraging personal information for password cracking. - Claire Mathieu, Hang Zhou:
Graph Reconstruction via Distance Oracles. - Heide Gluesing-Luerssen:
Partitions of Frobenius Rings Induced by the Homogeneous Weight. - Masahiro Yukawa, Shun-ichi Amari:
Lp-Regularized Least Squares (0<p<1) and Critical Path. - Dániel Marx, László A. Végh:
Fixed-parameter algorithms for minimum cost edge-connectivity augmentation. - Jean Barbier, Florent Krzakala, Lenka Zdeborová, Pan Zhang:
Robust error correction for real-valued signals via message-passing decoding and spatial coupling. - Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl:
Optimal Kullback-Leibler Aggregation via Information Bottleneck. - Yi Fang, Kai-Kit Wong, Lin Wang, Kin-Fai Tong:
Performance Analysis of Protograph LDPC Codes for Nakagami-$m$ Fading Relay Channels. - Saeed Abdallah, Ioannis N. Psaromiligkos:
EM-based Semi-blind Channel Estimation in AF Two-Way Relay Networks. - Makarius Wenzel:
PIDE as front-end technology for Coq. - Sohail Bahmani, Petros T. Boufounos, Bhiksha Raj:
Robust 1-bit Compressive Sensing via Gradient Support Pursuit. - Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. - Charilaos Efthymiou:
MCMC sampling colourings and independent sets of G(n,d/n) near the uniqueness threshold. - Harshali D. Zodpe, Prakash W. Wani, Rakesh R. Mehta:
Hardware Implementation of Algorithm for Cryptanalysis. - Joshua Brody:
A Tight Lower Bound for Monotonicity Testing over Large Ranges. - Erik G. Larsson, Fredrik Tufvesson, Ove Edfors, Thomas L. Marzetta:
Massive MIMO for Next Generation Wireless Systems. - Pak Hou Che, Mayank Bakshi, Sidharth Jaggi:
Reliable Deniable Communication: Hiding Messages in Noise. - Anna Mavroudi, Thanasis Hadzilacos:
Technical report- Evaluation methodology in the REVIT project. - Matús Mihalák, Rastislav Srámek:
Counting approximately-shortest paths in directed acyclic graphs. - Robert Sanderson, Paolo Ciccarese, Herbert Van de Sompel:
Designing the W3C Open Annotation Data Model. - Thomas Place, Lorijn van Rooijen, Marc Zeitoun:
Separating regular languages by piecewise testable and unambiguous languages. - Harold N. Gabow, Piotr Sankowski:
Algebraic Algorithms for b-Matching, Shortest Undirected Paths, and f-Factors. - Mahnoosh Alizadeh, George Kesidis, Anna Scaglione:
Clustering Consumption in Queues: A Scalable Model for Electric Vehicle Scheduling. - Firas A. Jassim:
k-Modulus Method for Image Transformation. - Mahantesh Halappanavar, Sutanay Choudhury, Emilie Hogan, Peter Hui, John R. Johnson, Indrajit Ray, Lawrence B. Holder:
Towards a Networks-of-Networks Framework for Cyber Security. - Daniel de Carvalho, Lorenzo Tortora de Falco:
A semantic account of strong normalization in Linear Logic. - Joakim Andén, Stéphane Mallat:
Deep Scattering Spectrum. - Tauhid Zaman, Emily B. Fox, Eric T. Bradlow:
A Bayesian Approach for Predicting the Popularity of Tweets. - Sou-Cheng T. Choi:
Minimal Residual Methods for Complex Symmetric, Skew Symmetric, and Skew Hermitian Systems. - Elisabeth M. Werner, Deping Ye:
On the mixed $f$-divergence for multiple pairs of measures. - Marek Karpinski, Richard Schmied:
Approximation Hardness of Graphic TSP on Cubic Graphs. - Moshe Babaioff, Brendan Lucier, Noam Nisan:
Bertrand Networks. - Kawser Wazed Nafi, Tonny Shekha Kar, Md. Amjad Hossain, M. M. A. Hashem:
A New Trusted and E-Commerce Architecture for Cloud Computing. - Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Sht. Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt:
Inference and learning in probabilistic logic programs using weighted Boolean formulas. - Jean-Daniel Boissonnat, Tamal K. Dey, Clément Maria:
The Compressed Annotation Matrix: an Efficient Data Structure for Computing Persistent Cohomology. - Yue Ling Che, Rui Zhang, Yi Gong:
On Design of Opportunistic Spectrum Access in the Presence of Reactive Primary Users. - Kohtaro Tadaki:
Phase Transition and Strong Predictability. - Matthew Anderson, Anuj Dawar, Bjarki Holm:
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. - Rupa Patel, Urmila Shrawankar:
Security Issues In Speech Watermarking for Information Transmission. - Maria Francis, Ambedkar Dukkipati:
On Reduced Gröbner Basis and Macaulay-Buchberger Basis Theorem over Noetherian Rings. - Prosenjit Bose, Karim Douïeb, John Iacono, Stefan Langerman:
The Power and Limitations of Static Binary Search Trees with Lazy Finger. - Clemens Wiltsche:
Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications. - Balázs Szalkai:
An implementation of the relational k-means algorithm. - Christian Konrad, Adi Rosén:
Approximating Semi-Matchings in Streaming and in Two-Party Communication. - João Barros, Zeno Toffano, Youssef Meguebli, Bich-Liên Doan:
Contextual Query Using Bell Tests. - Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell:
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees. - Manuel Keglevic, Robert Sablatnig:
Digit Recognition in Handwritten Weather Records. - Mark Levene, Trevor I. Fenner, Judit Bar-Ilan:
A bibliometric index based on the complete list of cited publications. - Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
A Deterministic Annealing Approach to Optimization of Zero-delay Source-Channel Codes. - Steffen Lewitzka:
A denotational semantics for a Lewis-style modal system close to S1. - Tanja Schilling, Tomás Pajdla:
Euclidean Upgrade from a Minimal Number of Segments. - Swan Dubois, Rachid Guerraoui:
Spéculation et auto-stabilisation. - Deepika Bhatia, Urmila Shrawankar:
Network Control Systems RTAI framework A Review. - Gayatri Ramesh, Elie Atallah, Qiyu Sun:
Recovery of bilevel causal signals with finite rate of innovation using positive sampling kernels. - Rajeev Alur, Mukund Raghothaman:
Decision Problems for Additive Regular Functions. - Andrew Winslow:
Staged Self-Assembly and Polyomino Context-Free Grammars. - Roi Livni, Shai Shalev-Shwartz, Ohad Shamir:
A Provably Efficient Algorithm for Training Deep Networks. - Shahar Dobzinski, Renato Paes Leme:
Efficiency Guarantees in Auctions with Budgets. - Chetan Jhurani, Paul Mullowney:
A GEMM interface and implementation on NVIDIA GPUs for multiple small matrices. - Chetan Jhurani:
Batched Kronecker product for 2-D matrices and 3-D arrays on NVIDIA GPUs. - Zhihan Gao:
An LP-based 3/2-approximation algorithm for the graphic s-t path TSP. - Tomohiro I, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda:
Efficient Lyndon factorization of grammar compressed text. - Tomohiro I, Wataru Matsubara, Kouji Shimohira, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, Kazuyuki Narisawa, Ayumi Shinohara:
Detecting regularities on grammar-compressed strings. - Priyanka Negi, Anupama Mishra, Brij B. Gupta:
Enhanced CBF Packet Filtering Method to Detect DDoS Attack in Cloud Computing Environment. - Michael Brand:
Lower bounds on the Münchhausen problem. - Jun Ziang Pinn, A. Fr. Zung:
A new Watermarking Technique for Secure Database. - Shuiyin Liu, Cong Ling, Xiaofu Wu:
Proximity Factors of Lattice Reduction-Aided Precoding for Multiantenna Broadcast. - Rajesh Kumar Tiwari:
A Novel approach for Hybrid Database. - Jonathan Tapson, Gregory Cohen, Saeed Afshar, Klaus M. Stiefel, Y. Buskila, Runchun Wang, Tara Julia Hamilton, André van Schaik:
Synthesis of neural networks for spatio-temporal spike pattern recognition and processing. - Jordi Arjona Aroca, Antonio Fernández Anta, Miguel A. Mosteiro, Christopher Thraves:
Power-efficient Assignment of Virtual Machines to Physical Machines. - Ruben Gamboa, Jared Davis:
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. EPTCS 114, 2013 [contents] - Arshiya Begum, Mohammed Tanveer Ali:
Security threats in Prepaid Mobile. - Gernot Riegler, Thomas Pock, Werner Pötzi, Astrid Veronig:
Filament and Flare Detection in Hα image sequences. - M. Helmberger, Martin Urschler, Michael Pienn, Zoltán Bálint, Andrea Olschewski, Horst Bischof:
Pulmonary Vascular Tree Segmentation from Contrast-Enhanced CT Images. - Phillip Lord, Lindsay F. Marshall:
Twenty-Five Shades of Greycite: Semantics for referencing and preservation. - Peter Innerhofer, Thomas Pock:
A Convex Approach for Image Hallucination. - Leon Derczynski, Richard Shaw, Ben Solway, Jun Wang:
Question Answering Against Very-Large Text Collections. - Antoine Bordes, Nicolas Usunier, Alberto García-Durán, Jason Weston, Oksana Yakhnenko:
Irreflexive and Hierarchical Relations as Translations. - Martino Borello:
The automorphism group of a self-dual [72,36,16] code is not an elementary abelian group of order 8. - Emad Saad:
Non Deterministic Logic Programs. - Albert Kavelar, Sebastian Zambanini, Martin Kampel:
Reading Ancient Coin Legends: Object Recognition vs. OCR. - Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier:
Stochastic Cellular Automata: Correlations, Decidability and Simulations. - Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki:
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees. - Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
Bounded Model Checking of an MITL Fragment for Timed Automata. - Martin Welk, Martin Erler:
Algorithmic Optimisations for Iterative Deconvolution Methods. - Oleg Kupervasser, Alexander Rubinstein:
Correction of inertial navigation system's errors by the help of video-based navigator based on Digital Terrarium Map. - Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. - Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. - Paolo Ciccarese, Stian Soiland-Reyes, Khalid Belhajjame, Alasdair J. G. Gray, Carole A. Goble, Tim Clark:
PAV ontology: Provenance, Authoring and Versioning. - F. Gubarev, V. Kunin, A. Pospelov:
Lay-up Optimization of Laminated Composites: Mixed Approach with Exact Feasibility Bounds on Lamination Parameters. - Tobias Brunsch, Heiko Röglin:
Finding Short Paths on Polytopes by the Shadow Vertex Algorithm. - Alessandro Perina, Nebojsa Jojic:
In the sight of my wearable camera: Classifying my visual experience. - Arindam Chaudhuri, Kajal De, Dipak Chatterjee:
Solution of the Decision Making Problems using Fuzzy Soft Relations. - Arindam Chaudhuri, Kajal De, Dipak Chatterjee:
Solution of System of Linear Equations - A Neuro-Fuzzy Approach. - Rudolf Berghammer, Henning Schnoor:
Relation-algebraic and Tool-supported Control of Condorcet Voting. - Shaunak D. Bopardikar, Brendan J. Englot, Alberto Speranzon:
Robust Belief Roadmap: Planning Under Intermittent Sensing. - Travis E. Gibson, Anuradha M. Annaswamy, Eugene Lavretsky:
On Adaptive Control with Closed-loop Reference Models: Transients, Oscillations, and Peaking. - Priti Saktel, Urmila Shrawankar:
An Improved Approach for Word Ambiguity Removal. - Shandian Zhe, Zenglin Xu, Yuan Qi, Peng Yu:
Supervised Heterogeneous Multiview Learning for Joint Association Study and Disease Diagnosis. - Minyar Sassi Hidri, Soukaina Ben Bdira:
Traitement approximatif des requêtes flexibles avec groupement d'attributs et jointure. - Leon Derczynski, Hector Llorens, Naushad UzZaman:
TimeML-strict: clarifying temporal annotation. - Rushikesh B. Shreshtha, Rajeswari Goudar:
Self Configurable Re-link Establishment using Continuous Neighbor Discovery in Asynchronous Sensor Networks. - Stefanie Haustein, Isabella Peters, Judit Bar-Ilan, Jason Priem, Hadas Shema, Jens Terliesner:
Coverage and adoption of altmetrics sources in the bibliometric community. - Ritesh Kolte, Ayfer Özgür:
Improved Capacity Approximations for Gaussian Relay Networks. - Alina Ene, Sariel Har-Peled, Benjamin Raichel:
Fast Clustering with Lower Bounds: No Customer too Far, No Shop too Small. - David E. Robillard:
Adaptive Software Radio Steganography. - Bobbie Chern, Ayfer Özgür:
On information flow and feedback in relay networks. - Imran Sarwar Bajwa:
SOA Embedded in BPM: A High Level View of Object Oriented Paradigm. - Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee:
SBVR vs OCL: A Comparative Analysis of Standards. - Filip Proborszcz:
Web graph compression with fast access. - Gunjan Kumar, Saswata Shannigrahi:
NP-Hardness of Speed Scaling with a Sleep State. - Jeong Ho Yeo, Joon Ho Cho:
Asymptotic FRESH Properizer for Block Processing of Improper-Complex Second-Order Cyclostationary Random Processes. - Markus Rosenkranz, Nalina Phisanbut:
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. - Benjamin Tams:
Attacks and Countermeasures in Fingerprint Based Biometric Cryptosystems. - Jie Zhang, En-Hui Yang, John C. Kieffer:
A Universal Grammar-Based Code For Lossless Compression of Binary Trees. - Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell:
A Static Analysis Framework for Livelock Freedom in CSP. - Fenix W. D. Huang, Markus E. Nebel, Christian M. Reidys:
Uniform generation of RNA pseudoknot structures with genus filtration. - Jared Glover, Sanja Popovic:
Bingham Procrustean Alignment for Object Detection in Clutter. - Weituo Zhang, Chjan C. Lim, Boleslaw K. Szymanski:
Analytic Treatment of Tipping Points for Social Consensus in Large Random Networks. - Jun Zhang, Fang-Wei Fu, Daqing Wan:
Stopping Sets of Algebraic Geometry Codes. - Benjamin Doerr:
Improved Approximation Algorithms for the Min-Max Selecting Items Problem. - Nafisa Afrin Chowdhury, Murshida Khatun, M. M. A. Hashem:
On Integrating Fuzzy Knowledge Using a Novel Evolutionary Algorithm. - Negin Golrezaei, Parisa Mansourifard, Andreas F. Molisch, Alexandros G. Dimakis:
Base-Station Assisted Device-to-Device Communications for High-Throughput Wireless Video Networks. - Wei Chen, Yajun Wang, Dongxiao Yu, Li Zhang:
Sybil-proof Mechanisms in Query Incentive Networks. - Renu Jose, Sooraj K. Ambat, K. V. S. Hari:
Low Complexity Joint Estimation of Synchronization Impairments in Sparse Channel for MIMO-OFDM System. - José F. Paris:
Statistical characterization of kappa-μ shadowed fading. - Bhavani Anantapur Bache:
Cross-site Scripting Attacks on Android WebView. - He Sun:
Counting Hypergraphs in Data Streams. - Mohammed F. A. Ahmed, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
On the Effect of Correlated Measurements on the Performance of Distributed Estimation. - M. Emre Celebi, Hassan A. Kingravi:
Deterministic Initialization of the K-Means Algorithm Using Hierarchical Clustering. - David Kempe, Jon M. Kleinberg, Sigal Oren, Aleksandrs Slivkins:
Selection and Influence in Cultural Dynamics. - Dor-Joseph Kampeas, Asaf Cohen, Omer Gurewitz:
MAC Capacity Under Distributed Scheduling of Multiple Users and Linear Decorrelation. - Alex Bazarsky, Noam Presman, Simon Litsyn:
Design of Non-Binary Quasi-Cyclic LDPC Codes by ACE Optimization. - M. S. Ramanujan, Saket Saurabh:
Linear Time Parameterized Algorithms via Skew-Symmetric Multicuts. - Eugene Yuta Bann, Joanna J. Bryson:
Measuring Cultural Relativity of Emotional Valence and Arousal using Semantic Clustering and Twitter. - Yuhan Zhou, Wei Yu, Dimitris Toumpakaris:
Uplink Multi-Cell Processing: Approximate Sum Capacity under a Sum Backhaul Constraint. - Anastasios Sidiropoulos:
Non-positive curvature, and the planar embedding conjecture. - Mehdi Saeedi, Igor L. Markov:
Quantum Circuits for GCD Computation with $O(n \log n)$ Depth and O(n) Ancillae. - Don J. Torrieri, Matthew C. Valenti, Salvatore Talarico:
A New Analysis of the DS-CDMA Cellular Uplink Under Spatial Constraints. - Toke Jansen Hansen, Michael W. Mahoney:
Semi-supervised Eigenvectors for Large-scale Locally-biased Learning. - MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Vahid Liaghat:
Improved Approximation Algorithms for (Budgeted) Node-weighted Steiner Problems. - Dinesh Ramasamy, Sriram Venkateswaran, Upamanyu Madhow:
Compressive parameter estimation in AWGN. - Jimmy Lin:
Monoidify! Monoids as a Design Principle for Efficient MapReduce Algorithms. - Ritu Khare, Esha Sahai, Ira Pramanick:
Remote Mentoring Young Females in STEM through MAGIC. - Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Reduced-Rank RLS Algorithms based on Joint Iterative Optimization of Filters for Space-Time Interference Suppression. - Rodrigo C. de Lamare, Are Hjørungnes, Raimundo Sampaio Neto:
Adaptive Decision Feedback Reduced-Rank Equalization Based on Joint Iterative Optimization of Adaptive Estimation Algorithms for Multi-Antenna Systems. - Amir Abboud, Kevin Lewi:
Exact Weight Subgraphs and the k-Sum Conjecture. - Nachshon Cohen, Zeev Nutov:
Approximating {0,1,2}-Survivable Networks with Minimum Number of Steiner Points. - Rina Panigrahy, Preyas Popat:
Fractal structures in Adversarial Prediction. - Rina Panigrahy, Preyas Popat:
Optimal amortized regret in every interval. - Fatima Amir Hamza, Lamia Romdhani, Amr Mohamed:
Novel Network Coding-based Techniques for Multi-layer Video Delivery over Multi-hop Wireless testbed. - Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theory II : Realisability. - Piotr Beling:
C++11 - okreslanie typów. - Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Cylindrical Algebraic Decompositions for Boolean Combinations. - Erik D. Demaine, John Iacono, Stefan Langerman, Özgür Özkan:
Combining Binary Search Trees. - Latanya Sweeney, Akua Abu, Julia Winn:
Identifying Participants in the Personal Genome Project by Name (A Re-identification Experiment). - Guoxin Su, David S. Rosenblum:
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. - Adrian Jackson, Pär Strand:
MDMP: Managed Data Message Passing. - Barbara Geissmann, Rastislav Srámek:
Counting small cuts in a graph. - Mônica G. Campiteli, Adriano J. Holanda, Leonardo D. H. Soares, Paulo R. C. Soles, Osame Kinouchi:
Lobby-Hirsch index as a network centrality measure. - Ben Roberts, Dinan Gunawardena, Ian A. Kash, Peter B. Key:
Ranking and Tradeoffs in Sponsored Search Auctions. - Xianwen Wang, Wenli Mao, Shenmeng Xu, Chunbo Zhang:
Attention History Over Time of Scientific Literature: Metrics of Nature Publications. - Adrian Jackson, M. Sergio Campobasso:
Optimised hybrid parallelisation of a CFD code on Many Core architectures. - Markus Wittmann, Georg Hager, Thomas Zeiser, Gerhard Wellein:
An analysis of energy-optimized lattice-Boltzmann CFD simulations from the chip to the highly parallel level. - Guy Even, Moti Medina:
A Nonmonotone Analysis with the Primal-Dual Approach: online routing of virtual circuits with unknown durations. - Jurek Czyzowicz, Leszek Gasieniec, Konstantinos Georgiou, Evangelos Kranakis, Fraser MacQuarrie:
The Beachcombers' Problem: Walking and Searching with Mobile Robots. - Jirí Matousek:
Computing higher homotopy groups is W[1]-hard. - Yun Wei, Chuanyi Ji, Floyd Galvan, Stephen Couvillon, George Orellana, James Momoh:
Learning Geo-Temporal Non-Stationary Failure and Recovery of Power Distribution. - Ana Georgina Flesia, Javier Gimenez, Elena Rufeil Fiori:
Markovian models for one dimensional structure estimation on heavily noisy imagery. - Darrell Hoy, Kamal Jain, Christopher A. Wilkens:
A Dynamic Axiomatic Approach to First-Price Auctions. - Sugata Sanyal, Rajdeep Borgohain:
Machine Translation Systems in India. - Sundar R. Krishnamurthy, Syed Ali Jafar:
On the Capacity of the Finite Field Counterparts of Wireless Interference Networks. - Xin-Rong Dai, Qiyu Sun:
The $abc$-problem for Gabor systems. - Yuxin Chen, Andrea Goldsmith, Yonina C. Eldar:
Minimax Capacity Loss under Sub-Nyquist Universal Sampling. - Esha Sahai, Ken Watts, Rick Adrion:
Extending Record and Playback Technologies to Support Cooperative Learning. - Guillaume Aupy, Manu Shantharam, Anne Benoit, Yves Robert, Padma Raghavan:
Co-Scheduling Algorithms for High-Throughput Workload Execution. - Medha Atre:
OptBitMat: For SPARQL OPTIONAL (left-outer-join) queries. - David Doty:
Producibility in hierarchical self-assembly. - Michael 'Adrir' Scott:
Vocalnayno: Designing a Game-Based Intervention to Support Reading Development in Primary Schools. - Jianguo Ding, Pascal Bouvry:
Challenges on Probabilistic Modeling for Evolving Networks. - Bang-Sin Dai, Mong-Jen Kao, D. T. Lee:
Optimal Time-Convex Hull under the Lp Metrics. - Rudrusamy U. Gobithaasan, J. M. Ali, Kenjiro T. Miura:
The Logarithmic Curvature Graphs of Generalised Cornu Spirals. - Azruddin Ahmad, Gobithasan Rudrusamy, Rahmat Budiarto, Azman Samsudin, Sureswaran Ramadass:
A Hybrid Rule Based Fuzzy-Neural Expert System For Passive Network Monitoring. - Azhar Ahmad, Rudrusamy U. Gobithaasan, Jamaludin Md. Ali:
G2 Transition curve using Quartic Bezier Curve. - Azhar Ahmad, Rudrusamy U. Gobithaasan, Jamaludin Md. Ali:
Characterization of Planar Cubic Alternative curve. - Rami Abousleiman, Guangzhi Qu, Osamah A. Rawashdeh:
North Atlantic Right Whale Contact Call Detection. - Kenjiro T. Miura, R. Shirahata, S. Agari, Shin Usuki, Rudrusamy U. Gobithaasan:
Variational Formulation of the Log-Aesthetic Surface and Development of Discrete Surface Filters. - Leopoldo E. Bertossi, Jaffer Gardezi:
On the Complexity of Query Answering under Matching Dependencies for Entity Resolution. - Matt Kaufmann, J Strother Moore:
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1. 5-12 - Caleb Eggensperger:
Proof Pad: A New Development Environment for ACL2. 13-28 - David A. Greve, Konrad Slind:
A Step-Indexing Approach to Partial Functions. 42-53 - Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann:
Abstract Stobjs and Their Application to ISA Modeling. 54-69 - Freek Verbeek, Julien Schmaltz:
Verification of Building Blocks for Asynchronous Circuits. 70-84 - Lucas Helms, Ruben Gamboa:
An Interpreter for Quantum Circuits. 85-94 - Jared Davis, Sol Swords:
Verified AIG Algorithms in ACL2. 95-110 - Bernard van Gastel, Julien Schmaltz:
A formalisation of XMAS. 111-126 - David S. Hardin, Samuel S. Hardin:
ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2. 127-142 - Gobithasan Rudrusamy, Azrudin Ahmad, Rahmat Budiarto, Azman Samsudin, Sureswaran Ramadass:
Fuzzy Based Diagnostics System for Identifying Network Traffic Flow Anomalies. - Rozaimi Zakaria, Abd. Fatah Wahab, Rudrusamy U. Gobithaasan:
Normal type-2 Fuzzy Rational B-Spline Curve. - Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz:
A Macro for Reusing Abstract Functions and Theorems. 29-41 - Rudrusamy U. Gobithaasan:
Various Types of Aesthetic Curves. - Rudrusamy U. Gobithaasan, Jamaludin Md. Ali, Kenjiro T. Miura:
An Improvised Algorithm to Identify The Beauty of A Planar Curve. - Hyungsik Ju, Rui Zhang:
Throughput Maximization for Wireless Powered Communication Networks. - Deepali Kayande, Urmila Shrawankar:
Priority Based Pre-emptive Task Scheduling for Android Operating System. - Paul Meissner, Erik Leitinger, Markus Fröhle, Klaus Witrisal:
Accurate and Robust Indoor Localization Systems using Ultra-wideband Signals. - Michele Filannino, Gavin Brown, Goran Nenadic:
ManTIME: Temporal expression identification and normalization in the TempEval-3 challenge. - Christian Osendorfer, Justin Bayer, Patrick van der Smagt:
Convolutional Neural Networks learn compact local image descriptors. - Gerth Stølting Brodal, Kasper Green Larsen:
Optimal Planar Orthogonal Skyline Counting Queries. - Yi Fang, Lin Wang, Guanrong Chen:
Performance of a Multiple-Access DCSK-CC System over Nakagami-$m$ Fading Channels. - Vahid Jamali, Nikola Zlatanov, Aïssa Ikhlef, Robert Schober:
Adaptive Mode Selection and Power Allocation in Bidirectional Buffer-aided Relay Networks. - Fabian Hadiji, Kristian Kersting, Christian Bauckhage, Babak Ahmadi:
GeoDBLP: Geo-Tagging DBLP for Mining the Sociology of Computer Science. - Romain Absil, Hadrien Mélot:
Digenes: genetic algorithms to discover conjectures about directed and undirected graphs. - S. Thirumurugan, E. George Dharma Prakash Raj:
A Novel Cluster Validation Approach on Pso-Pac Mechanism in Ad Hoc Network. - Sheraz Anjum, Ehsan Ullah Munir, Waqas Anwar, Nadeem Javaid:
Object Oriented Model for Evaluation of On-Chip Networks. - Kamlesh Sharma, T. Suryakanthi, T. V. Prasad:
Exploration of Speech enabled System for English. - Lukas Barth, Stephen G. Kobourov, Sergey Pupyrev, Torsten Ueckerdt:
On Semantic Word Cloud Representation. - Gerhard Kurz, Igor Gilitschenski, Simon Julier, Uwe D. Hanebeck:
Recursive Estimation of Orientation Based on the Bingham Distribution. - Daniele Calandriello, Gang Niu, Masashi Sugiyama:
Semi-Supervised Information-Maximization Clustering. - Rafik Zitouni, Stefan Ataman, Marie Mathian, Laurent George:
IEEE 802.15.4 transceiver for the 868/915 MHz band using Software Defined Radio. - Bernhard Etzlinger, Henk Wymeersch, Andreas Springer:
Cooperative Synchronization in Wireless Networks. - Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. - Luis Filipe Coelho Antunes, Bruno Bauwens, Andre Souto, Andreia Teixeira:
Sophistication vs Logical Depth. - Binjie Qin, ZhiJun Gu, Xianjun Sun, Yisong Lv:
Registration of Images with Outliers Using Joint Saliency Map. - Alexander Kobel, Michael Sagraloff:
Fast Approximate Polynomial Multipoint Evaluation and Applications. - Rupa Patel, Urmila Shrawankar, Vilas M. Thakare:
Secure Transmission of Password Using Speech Watermarking. - Dilip Bethanabhotla, Giuseppe Caire, Michael J. Neely:
Joint Transmission Scheduling and Congestion Control for Adaptive Video Streaming in Small-Cell Networks. - Aditya Bhaskara, Moses Charikar, Aravindan Vijayaraghavan:
Uniqueness of Tensor Decompositions with Applications to Polynomial Identifiability. - P. Shanmugavadivu, V. Sivakumar:
Fractal-Based Detection of Microcalcification Clusters in Digital Mammograms. - Sergey Loyka, Victoria Kostina, François Gagnon:
On Convexity of Error Rates in Digital Communications. - Mohit Singh, Nisheeth K. Vishnoi:
Entropy, Optimization and Counting. - Ronald Petrlic, Stephan Sekula:
Unlinkable content playbacks in a multiparty DRM system. - Flavio Chierichetti, Jon M. Kleinberg, Sigal Oren:
On Discrete Preferences and Coordination. - Yuxin Chen, Yuejie Chi:
Robust Spectral Compressed Sensing via Structured Matrix Completion. - Brett Hemenway, Rafail Ostrovsky, Mary Wootters:
Local Correctability of Expander Codes. - Zeyuan Allen Zhu, Silvio Lattanzi, Vahab S. Mirrokni:
A Local Algorithm for Finding Well-Connected Clusters. - Shay Solomon:
From Hierarchical Partitions to Hierarchical Covers: Optimal Fault-Tolerant Spanners for Doubling Metrics. - Mark Sh. Levin:
Note on Combinatorial Engineering Frameworks for Hierarchical Modular Systems. - David Reeb, Michael M. Wolf:
Tight bound on relative entropy by entropy difference. - Ali Khanafer, Behrouz Touri, Tamer Basar:
Robust Distributed Averaging on Networks with Adversarial Intervention. - Vincenzo De Leo, Giovanni Santoboni, Federica Cerina, Mario Mureddu, Luca Secchi, Alessandro Chessa:
Community core detection in transportation networks. - Marc Aßmann, Manfred Bayer:
Compressive adaptive computational ghost imaging. - Pedro Francisco Valencia Vizcaíno:
Relations between ex falso, tertium non datur, and double negation elimination. - Tao Wang:
On the diameter for various types of domination vertex critical graphs. - Tao Wang:
Strong chromatic index of $k$-degenerate graphs. - Galen Sher, Pedro Vitoria:
An Information-Theoretic Test for Dependence with an Application to the Temporal Structure of Stock Returns. - Marzieh Parandehgheibi, Eytan H. Modiano:
Robustness of Interdependent Networks: The case of communication networks and the power grid. - Mehdi Saeedi, Alireza Shafaei, Massoud Pedram:
Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures. - Marco Ajmone Marsan, David K. Arrowsmith, Wolfgang Breymann, Oliver Fritz, Marcelo Masera, Anna Mengolini, Anna Carbone:
The Emerging Energy Web. - Yuichiro Fujiwara, Vladimir D. Tonchev, Tony W. H. Wong:
Algebraic techniques in designing quantum synchronizable codes. - Pascal Maillard, Ofer Zeitouni:
Performance of the Metropolis algorithm on a disordered tree: the Einstein relation. - Rui-Rui Zhou, Li Yang:
Distributed quantum election scheme. - Tyler J. VanderWeele, Ilya Shpitser:
On the definition of a confounder. - Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. - Orion Penner, Raj Kumar Pan, Alexander M. Petersen, Santo Fortunato:
The case for caution in predicting scientists' future impact. - Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine:
Homotopy limits in Coq. - Héctor Martínez, Joaquín Tárraga, Ignacio Medina, Sergio Barrachina, Maribel Castillo, Joaquín Dopazo, Enrique S. Quintana-Ortí:
Concurrent and Accurate RNA Sequencing on Multicore Platforms. - Zdenek Dvorák, Tereza Klimosová:
Strong immersions and maximum degree. - Faisal Shah Khan, Simon J. D. Phoenix:
Mini-maximizing two qubit quantum computations. - Sameet Sreenivasan:
Quantitative analysis of the evolution of novelty in cinema through crowdsourced keywords. - Dirk Helbing:
Introduction: The FuturICT Knowledge Accelerator Towards a More Resilient and Sustainable Future. - Quentin Berthet, Philippe Rigollet:
Computational Lower Bounds for Sparse PCA. - Robert Spalek:
Adversary Lower Bound for the Orthogonal Array Problem. - Sears A. Merritt, Aaron Clauset:
Environmental structure and competitive scoring advantages in team competitions. - Johan Bollen, David J. Crandall, Damion Junk, Ying Ding, Katy Börner:
Collective allocation of science funding: from funding agencies to scientific agency. - Santo Fortunato, Michael W. Macy, Sidney Redner:
Editorial: Statistical Mechanics and Social Sciences. - David A. van Leeuwen, Niko Brümmer:
The distribution of calibrated likelihood-ratios in speaker recognition. - Eliseu Fritscher, Carlos Hoppen, Vilmar Trevisan:
Unicyclic Graphs with equal Laplacian Energy. - Ivan Nourdin, Giovanni Peccati, Yvik Swan:
Entropy and the fourth moment phenomenon. - Arnold Wiliem, Yongkang Wong, Conrad Sanderson, Peter Hobson, Shaokang Chen, Brian C. Lovell:
Classification of Human Epithelial Type 2 Cell Indirect Immunofluoresence Images via Codebook Based Descriptors. - Filippo Radicchi, Claudio Castellano:
Analysis of bibliometric indicators for individual scholars in a large data set. - Barbara Di Fabio, Patrizio Frosini:
Filtrations induced by continuous functions. - Morgan R. Frank, Lewis Mitchell, Peter Sheridan Dodds, Christopher M. Danforth:
Happiness and the Patterns of Life: A Study of Geolocated Tweets. - Orestis Georgiou, Carl P. Dettmann, Justin P. Coon:
k-connectivity for confined random networks. - Ming Yan:
Restoration of Images Corrupted by Impulse Noise and Mixed Gaussian Impulse Noise using Blind Inpainting. - Mario Mulansky:
Simulating DNLS models. - Melek Tendurus, Atilim Günes Baydin, Marieke A. Eleveld, Alison J. Gilbert:
City versus wetland: Predicting urban growth in the Vecht area with a cellular automaton model. - Ligia Chira Cremene, D. Dumitrescu:
Beyond Nash Equilibrium in Open Spectrum Sharing: Lorenz Equilibrium in Discrete Games. - Michele Coscia:
Competition and Success in the Meme Pool: a Case Study on Quickmeme.com. - Soomin Lee, Angelia Nedic:
Asynchronous Gossip-Based Random Projection Algorithms Over Networks. - Simon W. Funke, Patrick E. Farrell, M. D. Piggott:
Tidal turbine array optimisation using the adjoint approach. - David Gamarnik, Madhu Sudan:
Limits of local algorithms over sparse random graphs. - Radu Balan:
Reconstruction of Signals from Magnitudes of Redundant Representations: The Complex Case. - Nelson Fernández, Carlos Maldonado, Carlos Gershenson:
Information Measures of Complexity, Emergence, Self-organization, Homeostasis, and Autopoiesis. - Alois Ferscha, Katayoun Farrahi, Jeroen van den Hoven, David Hales, Andrzej Nowak, Paul Lukowicz, Dirk Helbing:
Socio-inspired ICT - Towards a socially grounded society-ICT symbiosis. - Mario Paolucci, Donald Kossmann, Rosaria Conte, Paul Lukowicz, Panos Argyrakis, Ann Blandford, Giulia Bonelli, Stuart Anderson, Sara de Freitas, Bruce Edmonds, Nigel Gilbert, Markus H. Gross, Jörn Kohlhammer, Petros Koumoutsakos, Andreas Krause, Björn-Ola Linnér, Philipp Slusallek, Olga Sorkine, Robert W. Sumner, Dirk Helbing:
Towards a living earth simulator. - L. D. Angulo, Jesus Alvarez, Fernando L. Teixeira, Amelia Rubio Bretones, Salvador G. Garcia:
Causal--Path Local Time--Stepping in the Discontinuous Galerkin Method for Maxwell's equations. - Samuel J. Lomonaco:
Symbolic Arithmetic and Integer Factorization. - Roberto Capuzzo-Dolcetta, Mario Spera:
A Performance Comparison of Different Graphics Processing Units Running Direct N-Body Simulations. - Giovanna Miritello, Rubén Lara, Manuel Cebrián, Esteban Moro Egido:
Limited communication capacity unveils strategies for human interaction. - Corentin Briat:
Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints. - Chol-Hui Yun, W. Metzler, M. Barski:
Image Compression predicated on Recurrent Iterated Function Systems. - Mircea Andrecut:
Stochastic Recovery Of Sparse Signals From Random Measurements. - Norihito Toyota:
Braess like Paradox in a Small World Network. - Jan Foniok, Claude Tardif:
Digraph functors which admit both left and right adjoints. - Mrigank Sharad, Kaushik Roy:
Spintronic Switches for Ultra Low Energy On-Chip and Inter-Chip Current-Mode Interconnects. - Jan Foniok, Claude Tardif:
Adjoint functors in graph theory. - Mark Stephen Rowan, Samuel A. Neymotin:
Synaptic Scaling Balances Learning in a Spiking Model of Neocortex. - Mrigank Sharad, Deliang Fan, Kaushik Roy:
Ultra Low Power Associative Computing with Spin Neurons and Resistive Crossbar Memory. - Dan Lovell, Jonathan Malmaud, Ryan P. Adams, Vikash K. Mansinghka:
ClusterCluster: Parallel Markov Chain Monte Carlo for Dirichlet Process Mixtures. - Niko Brummer, Johan A. du Preez:
The PAV algorithm optimizes binary proper scoring rules. - Nilanjana Datta, Joseph M. Renes, Renato Renner, Mark M. Wilde:
One-shot lossy quantum data compression. - Seyyed Mehdi Hosseini Jenab, Ammar Nejati:
Relative Positions of Countries in the World of Science. - Pablo Fleurquin, José J. Ramasco, Víctor M. Eguíluz:
Characterization of delay propagation in the airport network. - Maximilien Gadouleau:
Lexicographic identifying codes. - Qiyu Sun:
Localized nonlinear functional equations and two sampling problems in signal processing. - Jan L. Cieslinski:
Locally exact modifications of numerical schemes. - Ammar Nejati, Seyyed Mehdi Hosseini Jenab:
A Two-Dimensional Approach to Evaluate the Scientific Production of Countries (Case Study: The Basic Sciences). - Hector Zenil, Elena Villarreal Zapata:
Asymptotic Behaviour and Ratios of Complexity in Cellular Automata. - Haiping Huang, K. Y. Michael Wong, Yoshiyuki Kabashima:
Entropy landscape of solutions in the binary perceptron problem. - Adeline Pierrot, Dominique Rossin:
2-Stack Sorting is polynomial. - Niko Brümmer, Edward de Villiers:
The BOSARIS Toolkit: Theory, Algorithms and Code for Surviving the New DCF. - Flavia Maria Darcie Marquitti, Paulo Roberto Guimaraes Jr., Mathias Mistretta Pires, Luiz Fernando Bittencourt:
MODULAR: Software for the Autonomous Computation of Modularity in Large Network Sets. - Marco Winkler, Joerg Reichardt:
Motifs in Triadic Random Graphs based on Steiner Triple Systems. - Marianne Marcoux, David Lusseau:
The influence of repressive legislation on the structure of a social media network. - Takashi Tanaka, Farhad Farokhi, Cédric Langbort:
A Faithful Distributed Implementation of Dual Decomposition and Average Consensus Algorithms. - Alex Olshevsky:
The Minimal Controllability Problem. - Serkan Akkoyun, Tuncay Bayram, S. Okan Kara:
Improvement studies on neutron-gamma separation in HPGe detectors by using neural networks. - Wenxiong Zhou, Yanyu Wang, Gangyang Nan, Jianchuan Zhang:
The design of high-speed data transmission method for a small nuclear physics DAQ system. - Dirk Helbing:
Google as God? Opportunities and Risks of the Information Age. - Colorado Reed, Zoubin Ghahramani:
Scaling the Indian Buffet Process via Submodular Maximization. - David Elkouss, Jesús Martínez-Mateo, Vicente Martín:
Analysis of a rate-adaptive reconciliation protocol and the effect of the leakage on the secret key rate. - Boris Rudolf, Mária Markosová, Martin Cajági, Peter Tiño:
Degree distribution and scaling in the Connecting Nearest Neighbors model. - Mohamed-Ali Belabbas:
Sparse Stable Matrices. - Alfredo Costa, Benjamin Steinberg:
A categorical invariant of flow equivalence of shifts. - André C. R. Martins:
Trust in the CODA model: Opinion Dynamics and the reliability of other agents. - Alexander Bucksch, Greg Turk, Joshua S. Weitz:
The Fiber Walk: A Model of Tip-Driven Growth with Lateral Expansion. - Pierre Chainais, Cédric Richard:
Distributed dictionary learning over a sensor network. - Simon Beckouche, Jean-Luc Starck, Jalal Fadili:
Astronomical Image Denoising Using Dictionary Learning. - Jean-François Mercure:
An age structured demographic model of technology. - Mario Vincenzo Tomasello, Mauro Napoletano, Antonios Garas, Frank Schweitzer:
The Rise and Fall of R&D Networks. - Orestis Georgiou, Carl P. Dettmann, Justin P. Coon:
Network connectivity through small openings. - Diederik Aerts, Sandro Sozzo:
General Quantum Hilbert Space Modeling Scheme for Entanglement. - Sheila Gaynor, Eric Bair:
Identification of biologically relevant subtypes via preweighted sparse clustering. - Max A. Alekseyev, Toby Berger:
Solving the Tower of Hanoi with Random Moves. - Gabor I. Simko, Peter Csermely:
Nodes having a major influence to break cooperation define a novel centrality measure: game centrality. - Sara C. Billey, Bridget Eileen Tenner:
Fingerprint databases for theorems. - Tarek M. A. El-Mistikawy:
Modular Analysis of Almost Block Diagonal Systems of Equations. - Shyam S. Chandramouli, Jay Sethuraman:
Strategyproof and Consistent Rules for Bipartite Flow Problems. - Shuang Cong, Fangfang Meng:
A Survey of Quantum Lyapunov Control Methods. - David Elkouss, Jesús Martínez-Mateo, Alex Ciurana, Vicente Martín:
Secure Optical Networks Based on Quantum Key Distribution and Weakly Trusted Repeaters. - Reshu Agarwal, Pritam Ranjan:
A New Tree-based Classifier for Satellite Images. - Fabrizio de Vico Fallani, Vincenzo Nicosia, Vito Latora, Mario Chavez:
Non-parametric resampling of random walks for spectral network clustering. - Alexander Petukhov, Inna Kozlov:
Greedy Approach for Low-Rank Matrix Recovery. - Miika Hannula:
Axiomatizing first-order consequences in independence logic. - Alexander Petukhov, Inna Kozlov:
Correcting Errors in Linear Measurements and Compressed Sensing of Multiple Sources. - Martin Storath, Andreas Weinmann, Laurent Demaret:
Jump-sparse and sparse recovery using Potts functionals. - Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. - Andrew J. Christlieb, David Lawlor, Yang Wang:
A Multiscale Sub-linear Time Fourier Algorithm for Noisy Data. - Lev Muchnik, Sen Pei, Lucas C. Parra, Saulo D. S. Reis, José S. Andrade Jr., Shlomo Havlin, Hernán A. Makse:
Origins of power-law degree distribution in the heterogeneity of human activity in social networks. - Brian Swenson, Soummya Kar, João Manuel Freitas Xavier:
Empirical Centroid Fictitious Play: An Approach For Distributed Learning In Multi-Agent Games. - Andrew M. Childs, Robin Kothari, Maris Ozols, Martin Roetteler:
Easy and hard functions for the Boolean hidden shift problem. - Jean M. Carlson, David L. Alderson, Sean P. Stromberg, Danielle S. Bassett, Emily M. Craparo, Francisco Gutierrez-Villarreal, Thomas Otani:
Measuring and Modeling Behavioral Decision Dynamics in Collective Evacuation. - Zeev Dvir, Guangda Hu:
Matching-Vector Families and LDCs Over Large Modulo. - Divyanshu Vats, Robert D. Nowak:
A Junction Tree Framework for Undirected Graphical Model Selection. - Pooya Hatami, Sushant Sachdeva, Madhur Tulsiani:
An Arithmetic Analogue of Fox's Triangle Removal Argument. - Luo-Luo Jiang, Matjaz Perc, Attila Szolnoki:
If cooperation is likely punish mildly: Insights from economic experiments based on the snowdrift game. - Tuomo Hartonen, Mikko Alava:
How important tasks are performed: peer review. - Samantha Hansen, Todd D. Plantenga, Tamara G. Kolda:
Newton-Based Optimization for Nonnegative Tensor Factorizations. - Bala Krishnamoorthy, Gavin W. Smith:
Non Total-Unimodularity Neutralized Simplicial Complexes. - Marcel Jackson, Tomasz Kowalski, Todd Niven:
Digraph related constructions and the complexity of digraph homomorphism problems. - Yi-Kai Liu:
Building one-time memories from isolated qubits. - Alex Rutherford, Manuel Cebrián, Iyad Rahwan, Sohan Dsouza, James McInerney, Victor Naroditskiy, Matteo Venanzi, Nicholas R. Jennings, J. R. deLara, Eero Wahlstedt, Steven U. Miller:
Targeted Social Mobilisation in a Global Manhunt. - Alessandro Cosentino, Robin Kothari, Adam Paetznick:
Dequantizing read-once quantum formulas. - Anca Radulescu:
Neural network function, density or geometry? - Andrei R. Akhmetzhanov, Lee Worden, Jonathan Dushoff:
Effects of mixing in threshold models of social behavior. - Satoshi Eguchi:
"Superluminal" FITS File Processing on Multiprocessors: Zero Time Endian Conversion Technique. - Ian R. Petersen:
Quantum Popov robust stability analysis of an optical cavity containing a saturated Kerr medium. - S. Barry Cooper:
The Mathematician's Bias - and the Return to Embodied Computation. - Trivik Verma, Wendy Ellens, Robert E. Kooij:
Context-Independent Centrality Measures Underestimate the Vulnerability of Power Grids. - Corentin Briat, Ankit Gupta, Mustafa Khammash:
A scalable computational framework for establishing long-term behavior of stochastic reaction networks. - Alexis Ballier:
Universality in symbolic dynamics constrained by Medvedev degrees. - Jeongmi Park, Yoshio Sano:
The niche graphs of interval orders. - Rachael Tappenden, Peter Richtárik, Jacek Gondzio:
Inexact Coordinate Descent: Complexity and Preconditioning. - Qixin Wang, Menghui Li, Hualong Zu, Mingyi Gao, Chenghua Cao, Li Charlie Xia:
A quantitative evaluation of health care system in US, China, and Sweden. - Sriganesh Srihari, Mark A. Ragan:
Computing Pathways to Systems Biology: Key Contributions of Computational Methods in Pathway Identification. - Boris Lesner, Bruno Scherrer:
Tight Performance Bounds for Approximate Modified Policy Iteration with Non-Stationary Policies. - Yannai A. Gonczarowski:
Satisfiability and Canonisation of Timely Constraints. - Laszlo Gyongyosi:
The Structure and Quantum Capacity of a Partially Degradable Quantum Channel. - Sébastien Bubeck, Che-Yu Liu:
A note on the Bayesian regret of Thompson Sampling with an arbitrary prior. - Frank Gaitan, Lane H. Clark:
Graph isomorphism and adiabatic quantum computing. - Alicia Dickenstein, Ioannis Z. Emiris, Anna Karasoulou:
Plane mixed discriminants and toric jacobians. - Edward Grefenstette:
Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors. - Stéphane Molla, Bruno Torrésani:
A hybrid scheme for encoding audio signal using hidden Markov models of waveforms. - Eranda Çela, Rostislav Stanek:
Heuristics for the data arrangement problem on regular trees. - Siddharth Gaba, Patrick Sheridan, Jiantao Zhou, Shinhyun Choi, Wei D. Lu:
Stochastic Memristive Devices for Computing and Neuromorphic Applications. - Dave Zachariah, Alessio De Angelis, Satyam Dwivedi, Peter Händel:
Self-Localization of Asynchronous Wireless Nodes With Parameter Uncertainties. - Catherine A. Bliss, Morgan R. Frank, Christopher M. Danforth, Peter Sheridan Dodds:
An Evolutionary Algorithm Approach to Link Prediction in Dynamic Social Networks. - Xin Zhang, Jianfeng Hou, Guizhen Liu:
On total colorings of 1-planar graphs. - Xin Zhang:
List total coloring of pseudo-outerplanar graphs. - S. Barry Cooper:
Incomputability after Alan Turing. - Tomoaki Okayama:
Theoretical analysis of Sinc-collocation methods and Sinc-Nyström methods for initial value problems. - Jan L. Cieslinski:
Locally exact modifications of discrete gradient schemes. - Young-Ho Eom, Klaus M. Frahm, András A. Benczúr, Dima Shepelyansky:
Time evolution of Wikipedia network ranking. - Thomas W. Kelsey, Sarah K. Dodwell, A. Graham Wilkinson, Tine Greve, Claus Y. Andersen, Richard A. Anderson, W. Hamish B. Wallace:
Ovarian volume throughout life: a validated normative model. - Bamdev Mishra, Gilles Meyer, Rodolphe Sepulchre:
Low-rank optimization for distance matrix completion. - Andrea Baronchelli, Ramon Ferrer-i-Cancho, Romualdo Pastor-Satorras, Nick Chater, Morten H. Christiansen:
Networks in Cognitive Science. - Diego Chavarro, Puay Tang, Ismael Ràfols:
Interdisciplinary research and the production of local knowledge: evidence from a developing country. - German Luna, Samuel Reid, Bianca De Sanctis, Vlad Gheorghiu:
A Combinatorial Approach to Quantum Error Correcting Codes. - Lior Shamir, John F. Wallin, Alice Allen, G. Bruce Berriman, Peter J. Teuben, Robert J. Nemiroff, Jessica Mink, Robert J. Hanisch, Kimberly DuPrie:
Practices in source code sharing in astrophysics. - Son Hoang Dau, Yeow Meng Chee:
Polynomial Time Algorithm for Min-Ranks of Graphs with Simple Tree Structures. - Tao Wang:
Some new light subgraphs in the 1-planar graphs. - Konstantin Usevich, Ivan Markovsky:
Variable projection methods for approximate (greatest) common divisor computations. - Olivier Allix, Pierre Gosselet, Pierre Kerfriden, Karin Saavedra:
Virtual Delamination Testing through Non-Linear Multi-Scale Computational Methods: Some Recent Progress. - Jasper J. Kreeft, Marc I. Gerritsma:
Higher-order compatible discretization on hexahedrals. - Pramesh Singh, Sameet Sreenivasan, Boleslaw K. Szymanski, György Korniss:
Threshold-limited spreading in social networks with multiple initiators. - Yash Deshpande, Andrea Montanari:
Finding Hidden Cliques of Size \sqrt{N/e} in Nearly Linear Time. - Chetan Jhurani:
Subspace-preserving sparsification of matrices with minimal perturbation to the near null-space. Part I: Basics. - Chetan Jhurani:
Subspace-preserving sparsification of matrices with minimal perturbation to the near null-space. Part II: Approximation and Implementation. - Jakob Ablinger, Johannes Blümlein:
Harmonic Sums, Polylogarithms, Special Numbers, and their Generalizations. - Chang Jin Wan, Li Qiang Zhu, Yi Shi, Qing Wan:
Learning and Spatiotemporally Correlated Functions Mimicked in Oxide-Based Artificial Synaptic Transistors. - David C. Kessler, Jack A. Taylor, David B. Dunson:
Learning Densities Conditional on Many Interacting Features. - Ramon Ferrer-i-Cancho, Lukasz Debowski, Fermín Moscoso del Prado Martín:
Constant conditional entropy and related hypotheses. - Sinan Aksoy, Alexander Adam Azzam, Chaya Coppersmith, Julie Glass, Gizem Karaali, Xueying Zhao, Xinjing Zhu:
School Choice as a One-Sided Matching Problem: Cardinal Utilities and Optimization. - Nikolai Krivulin:
A maximization problem in tropical mathematics: a complete solution and application examples. - Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson:
Augmenting the Immersed Boundary Method with Radial Basis Functions (RBFs) for the Modeling of Platelets in Hemodynamic Flows. - Xiaolin Tang, Chunhua Yang, Xiaojun Zhou, Weihua Gui:
A Discrete State Transition Algorithm for Generalized Traveling Salesman Problem. - Xiaojun Zhou:
Optimal Design of Water Distribution Networks by Discrete State Transition Algorithm. - Markos A. Katsoulakis, Petr Plechác:
Information-theoretic tools for parametrized coarse-graining of non-equilibrium extended systems. - Michael J. Neely:
Distributed stochastic optimization via correlated scheduling. - Vanessa Robins:
Algebraic Topology. - Joris M. Mooij, Dominik Janzing, Bernhard Schölkopf:
From Ordinary Differential Equations to Structural Causal Models: the deterministic case. - Nikos Vlassis, Maria Pires Pacheco, Thomas Sauter:
Fast Reconstruction of Compact Context-Specific Metabolic Network Models. - Marzieh Parandehgheibi, Hyang-Won Lee, Eytan H. Modiano:
Survivable Paths in Multilayer Networks. - Nadia El Mrabet, Laurent Poinsot:
Pairings from a tensor product point of view. - Ben D. Fulcher, Max A. Little, Nick S. Jones:
Highly comparative time-series analysis: The empirical structure of time series and their methods. - Andrew R. Booker, Ghaith A. Hiary, Jon P. Keating:
Detecting squarefree numbers. - Zbigniew Puchala, Lukasz Rudnicki, Karol Zyczkowski:
Majorization entropic uncertainty relations. - Andrey Kupavskii, Liudmila Ostroumova, Dmitry A. Shabanov, Prasad Tetali:
The distribution of second degrees in the Buckley-Osthus random graph model.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-17 00:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
