default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, July 2012
- Ruchen Duan, Yingbin Liang:
Bounds and Capacity Theorems for Cognitive Interference Channels with State. - Derek Greene, Derek O'Callaghan, Pádraig Cunningham:
Identifying Topical Twitter Communities via User List Aggregation. - Robinson Ebi Elias J, Rajesh R:
Quasi-Orthogonal Space-Time-Frequency Trellis Codes for MIMO-OFDM Systems. - Anders Hansson, Zhang Liu, Lieven Vandenberghe:
Subspace System Identification via Weighted Nuclear Norm Optimization. - Swarnendu Kar, Pramod K. Varshney:
Linear Coherent Estimation with Spatial Collaboration. - Dashiell E. A. Fryer:
The Uniform Distribution in Incentive Dynamics. - Bundit Laekhanukit, Adrian Vetta, Gordon T. Wilfong:
Routing Regardless of Network Stability. - Rasoul Ramezanian:
Computation Environments (2) Persistently Evolutionary Semantics. - Jacob Andreas:
The Complexity of Learning Principles and Parameters Grammars. - Yoshua Bengio, Guillaume Alain, Salah Rifai:
Implicit Density Estimation by Local Moment Matching to Sample from Auto-Encoders. - Eyal Ackerman, Rom Pinchasi:
A note on coloring line arrangements. - Ge Guo, Wing Shing Wong, Zhongchang Liu:
Cooperative Target Realization in Multi-Agent Systems Allowing Choice-Based Actions. - Masashi Sugiyama, Takafumi Kanamori, Taiji Suzuki, Marthinus Christoffel du Plessis, Song Liu, Ichiro Takeuchi:
Density-Difference Estimation. - Rajdeep Borgohain, Sugata Sanyal:
Rule Based Expert System for Cerebral Palsy Diagnosis. - Nihar B. Shah, K. V. Rashmi, Kannan Ramchandran:
Secret Share Dissemination across a Network. - Manoj Rameshchandra Thakur:
A Distributed and Cooperative Approach to Botnet Detection Using Gossip Protocol. - Rakesh Pimplikar, Sunita Sarawagi:
Answering Table Queries on the Web using Column Keywords. - Sven Leyffer, Ilya Safro:
Fast Response to Infection Spread and Cyber Attacks on Large-Scale Networks. - Lukas Blunschi, Claudio Jossen, Donald Kossmann, Magdalini Mori, Kurt Stockinger:
SODA: Generating SQL for Business Users. - Manolis Terrovitis, John Liagouris, Nikos Mamoulis, Spiros Skiadopoulos:
Privacy Preservation by Disassociation. - Bhargav Kanagal, Amr Ahmed, Sandeep Pandey, Vanja Josifovski, Jeffrey Yuan, Lluis Garcia Pueyo:
Supercharging Recommender Systems using Taxonomies for Learning User Purchase Behavior. - Yanif Ahmad, Oliver Kennedy, Christoph Koch, Milos Nikolic:
DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views. - Manoj K. Agarwal, Krithi Ramamritham, Manish Bhide:
Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments. - Odysseas Papapetrou, Minos N. Garofalakis, Antonios Deligiannakis:
Sketch-based Querying of Distributed Sliding-Window Data Streams. - Hoang Tam Vo, Sheng Wang, Divyakant Agrawal, Gang Chen, Beng Chin Ooi:
LogBase: A Scalable Log-structured Database System in the Cloud. - Wei Lu, Yanyan Shen, Su Chen, Beng Chin Ooi:
Efficient Processing of k Nearest Neighbor Joins using MapReduce. - Nikolay Laptev, Kai Zeng, Carlo Zaniolo:
Early Accurate Results for Advanced Analytics on MapReduce. - Xuan Liu, Meiyu Lu, Beng Chin Ooi, Yanyan Shen, Sai Wu, Meihui Zhang:
CDAS: A Crowdsourcing Data Analytics System. - Mayank Sachan, Arnab Bhattacharya:
Mining Statistically Significant Substrings using the Chi-Square Statistic. - Martina-Cezara Albutiu, Alfons Kemper, Thomas Neumann
:
Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems. - Tian Luo, Rubao Lee, Michael P. Mesnier, Feng Chen, Xiaodong Zhang:
hStorage-DB: Heterogeneity-aware Data Management to Exploit the Full Capability of Hybrid Storage Systems. - Matthew D. Zeiler, Rob Fergus:
Differentiable Pooling for Hierarchical Feature Learning. - George Athanasiou:
Green Traffic Engineering for Future Core Networks. - Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi:
On the Complexity of Equivalence of Specifications of Infinite Objects. - George Athanasiou:
Energy-efficient traffic engineering for future core networks. - George Athanasiou, Leandros Tassiulas:
Design and Implementation of Distributed Resource Management Mechanisms for Wireless Mesh Networks. - Marios Logothetis, George Athanasiou, Kostas Tsagkaris, Panagiotis Demestichas:
Green Footprint by Cognitive Management of Opportunistic Networks. - George Athanasiou:
Resource Allocation in ClubADSL. - Claudio Gentile, Francesco Orabona:
On Multilabel Classification and Ranking with Partial Feedback. - (Withdrawn) Generation of Efficient Key Bit-Streams.
- Jayavardhana Gubbi, Rajkumar Buyya, Slaven Marusic, Marimuthu Palaniswami:
Internet of Things (IoT): A Vision, Architectural Elements, and Future Directions. - Ilya Loshchilov, Marc Schoenauer, Michèle Sebag:
Alternative Restart Strategies for CMA-ES. - Dominique Barth, Boubkeur Boudaoud, Thierry Mautor:
La théorie des jeux pour l'établissement des contrats dans les réseaux interdomaines. - Zohir Bouzid, Shantanu Das, Sébastien Tixeuil:
Wait-Free Gathering of Mobile Robots. - Leszek Szczecinski, Ciro Correa, Luciano Ahumada:
Variable-rate Retransmissions for Incremental Redundancy Hybrid ARQ. - Robert Georges, Frank Hoffmann, Klaus Kriegel:
Online Exploration of Polygons with Holes. - Noah A. Smith:
Adversarial Evaluation for Models of Natural Language. - Emilio Ferrara, Pasquale De Meo, Giacomo Fiumara, Robert Baumgartner:
Web Data Extraction, Applications and Techniques: A Survey. - Pierre Fraigniaud, Amos Korman, Merav Parter, David Peleg:
Randomized Distributed Decision. - Pavel Klavík, Jan Kratochvíl, Yota Otachi, Toshiki Saitoh:
Extending Partial Representations of Subclasses of Chordal Graphs. - Yutaka Hori, Shinji Hara:
Biochemical Oscillations in Delayed Negative Cyclic Feedback: Harmonic Balance Analysis with Applications. - Shiping Wang, Qingxin Zhu, William Zhu, Fan Min:
Boolean matrix decomposition through covering-based rough sets. - Shivani Agarwal:
Surrogate Regret Bounds for Bipartite Ranking via Strongly Proper Losses. - (Withdrawn) Breaking the Estream Finalists and AES Modes of Operation Faster than Exhaustive Search.
- (Withdrawn) Approximating Soft-Capacitated Facility Location Problem With Uncertainty.
- Haichuan Ding, Shaodan Ma, Chengwen Xing, Zesong Fei, Jingming Kuang:
Performance Analysis for Heterogeneous Cellular Systems with Range Expansion. - Laurent Tapie, Kwamiwi Mawussi, Alain Bernard:
Topological model for machining of parts with complex shapes. - S. M. Sadegh Tabatabaei Yazdi, Lara Dolecek:
Synchronization from Deletions Through Interactive Communication. - Eado Meron, Meir Feder, Mark Shtaif:
On the Achievable Communication Rates of Generalized Soliton Transmission Systems. - Yuriy Ostapov:
Intellectual Management of Enterprise. - Huyen Chi Bui, Jérôme Lacan, Marie-Laure Boucheret:
Multi-slot Coded ALOHA with Irregular Degree Distribution. - Angsheng Li, Peng Zhang:
Algorithmic Aspects of Homophyly of Networks. - Marius Buliga:
Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale. - Anas Chaaban, Aydin Sezgin:
Signal Space Alignment for the Gaussian Y-Channel. - Anas Chaaban, Aydin Sezgin:
Lattice Coding and the Generalized Degrees of Freedom of the Interference Channel with Relay. - Anas Chaaban, Aydin Sezgin:
The DoF of the K-user Interference Channel with a Cognitive Relay. - (Withdrawn) Dynamic Power Distribution and Energy Management in a Reconfigurable Multi-Robotic Organism.
- Sourav Dutta, Arnab Bhattacharya:
INSTRUCT: Space-Efficient Structure for Indexing and Complete Query Management of String Databases. - Nuno K. Pratas, Henning Thomsen, Cedomir Stefanovic, Petar Popovski:
Code-Expanded Random Access for Machine-Type Communications. - Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Frank Neumann, Madeleine Theile:
More Effective Crossover Operators for the All-Pairs Shortest Path Problem. - Abderrahmane Euldji, Abderrahim Tienti, Amine Boudghene Stambouli:
A new path algorithm for the weighted multi-graphs WMGPA: application to the Direct Topological Method. - Jan Krajícek:
Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator. - Peratham Wiriyathammabhum, Boonserm Kijsirikul, Hiroya Takamura, Manabu Okumura:
Applying Deep Belief Networks to Word Sense Disambiguation. - Peratham Wiriyathammabhum, Boonserm Kijsirikul:
Robust Principal Component Analysis Using Statistical Estimators. - Eugen Staab, Guillaume Muller:
MITRA: A Meta-Model for Information Flow in Trust and Reputation Architectures. - John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon:
An Analysis of the CAVES Attestation Protocol using CPSA. - Ayush Choure, Sundar Vishwanathan:
On graph parameters guaranteeing fast Sandpile diffusion. - Angela Amphawan, Mohd Amirol Md Khair, Hassanuddin Hasan:
Multimedia Traffic Routing in Multilayer WDM Networks. - Igal Sason:
On the Entropy of Sums of Bernoulli Random Variables via the Chen-Stein Method. - Richard C. S. Kinne:
An Overview of the AAVSO's Information Technology Infrastructure From 1967 to 1997. - Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
Left Recursion in Parsing Expression Grammars. - Zakaria Elberrichi, Amel Belaggoun, Malika Taibi:
Medical Documents Classification Based on the Domain Ontology MeSH. - Sabit Ekin, Mohamed M. Abdallah, Khalid A. Qaraqe, Erchin Serpedin:
Random Subcarrier Allocation in OFDM-Based Cognitive Radio Networks. - Janusz A. Brzozowski, David Liu:
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal. - Omar Fawzi, Ivan Savov:
Rate-splitting in the presence of multiple receivers. - Kamran Karimi:
Challenges of Upgrading a Virtual Appliance. - George B. Mertzios, Shmuel Zaks:
On the Intersection of Tolerance and Cocomparability Graphs. - Doron A. Peled, Sven Schewe:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents] - C. Yang, C. Jiang, M. Wang:
Distributed Dynamic Inter-Cell Interference Management for Femtocell Networks Using Over-the-Air Single-Tone Signaling. - Herbert Wiklicky, Mieke Massink:
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. EPTCS 85, 2012 [contents] - Rishabh K. Iyer, Jeff A. Bilmes:
Algorithms for Approximate Minimization of the Difference Between Submodular Functions, with Applications. - Naoki Masuda, Issei Kurahashi, Hiroko Onari:
Suicide ideation of individuals in online social networks. - Sina Y. Caliskan, Paulo Tabuada:
Kron Reduction of Generalized Electrical Networks. - Andrew M. Sutton, Frank Neumann:
A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem. - Geoffrey E. Hinton, Nitish Srivastava, Alex Krizhevsky, Ilya Sutskever, Ruslan Salakhutdinov:
Improving neural networks by preventing co-adaptation of feature detectors. - U. S. Poornima, V. Suma:
Significance of Quality Metrics in Software Development Process. - Tomasz Jurdzinski, Dariusz R. Kowalski:
Distributed backbone structure for deterministic algorithms in the SINR model of wireless networks. - Garimella Rama Murthy:
Optimization of Quadratic Forms: NP Hard Problems : Neural Networks. - Yonathan Murin, Ron Dabora, Deniz Gündüz:
Joint Source-Channel Coding for the Multiple-Access Relay Channel. - Kévin Perrot, Thi Ha Duong Phan, Van Trung Pham:
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model. - Krasimir Yordzhev, Ivelina Peneva:
Computer Administering of the Psychological Investigations: Set-relational Representation. - Nathanaël Fijalkow, Martin Zimmermann:
Parity and Streett Games with Costs. - M. D. Sirajul Huque, C. Surekha, Sana Pavan Kumar Reddy, Vidhisha Yadav:
The Differentiation Between MIMO With Other Antennas. - Romain Giot, Christophe Charrier, Maxime Descoteaux:
Local Water Diffusion Phenomenon Clustering From High Angular Resolution Diffusion Imaging (HARDI). - Liang Feng, Yew-Soon Ong, Ah-Hwee Tan, Ivor Wai-Hung Tsang:
Meme as Building Block for Evolutionary Optimization of Problem Instances. - Leonardo Torres, Tamer Cavalcante, Alejandro César Frery:
Speckle Reduction using Stochastic Distances. - Marc Dymetman, Guillaume Bouchard, Simon Carter:
The OS* Algorithm: a Joint Approach to Exact Optimization and Sampling. - Lemonia Dritsoula, Patrick Loiseau, John Musacchio:
A Game-Theoretical Approach for Finding Optimal Strategies in an Intruder Classification Game. - Jiaqi Liu, Zhong Ren, Deng Li:
MPO: An Efficient and Low-cost Peer-to-Peer Overlay for Autonomic Communications. - Eliana S. de Almeida, Antonio Carlos de Medeiros, Osvaldo Anibal Rosso, Alejandro César Frery:
Generalized Statistical Complexity of SAR Imagery. - Nitish Balachandran:
Surveying Solutions to Securing On-Demand Routing Protocols in MANETs. - Leonardo Torres, Antonio C. Medeiros, Alejandro César Frery:
Polarimetric SAR Image Smoothing with Stochastic Distances. - Benjamin Doerr, Reto Spöhel, Henning Thomas, Carola Winzen:
Playing Mastermind with Many Colors. - B. Thirumala Rao, L. S. S. Reddy:
Survey on Improved Scheduling in Hadoop MapReduce in Cloud Environments. - David Burshtein, Alona Strugatski:
Polar write once memory codes. - Romain Giot, Christophe Rosenberger, Bernadette Dorizzi:
Hybrid Template Update System for Unimodal Biometric Systems. - Romain Giot, Mohamad El-Abed, Christophe Rosenberger:
Web-Based Benchmark for Keystroke Dynamics Biometric Systems: A Statistical Analysis. - Lorenzo Fagiano, Andrew R. Teel:
On generalized terminal state constraints for model predictive control. - H. M. N. Dilum Bandara, Anura P. Jayasumana:
Collaborative Applications over Peer-to-Peer Systems - Challenges and Solutions. - (Withdrawn) Anatomical Structure Segmentation in Liver MRI Images.
- (Withdrawn) Generation of Efficient Key Bit-Streams Using Sparse Matrix-Vector Multiplication.
- Frédéric Blanchard, Michel Herbin:
Relational Data Mining Through Extraction of Representative Exemplars. - Eun Jung Kim, Alexander Langer, Christophe Paul, Felix Reidl, Peter Rossmanith, Ignasi Sau, Somnath Sikdar:
Linear kernels and single-exponential algorithms via protrusion decompositions. - Heidi Gebauer, Frank Mousset:
On Rainbow Cycles and Paths. - A. T. Bahgat, Khaled Nabil Salama:
Memristor-based mono-stable oscillator. - Ritchie Lee, David H. Wolpert, James W. Bono, Scott Backhaus, Russell Bent, Brendan D. Tracey:
Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate The Future. - Steve Jiekak, Nicolas Le Scouarnec:
CROSS-MBCR: Exact Minimum Bandwith Coordinated Regenerating Codes. - Adrian Kuhn, Gail C. Murphy, C. Albert Thompson:
An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development. - Rüdiger Ehlers, Daniela Moldovan:
Sparse Positional Strategies for Safety Games. 1-16 - Roopsha Samanta:
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs. 17-32 - Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Theory and Techniques for Synthesizing a Family of Graph Algorithms. 33-46 - Elise Cormie-Bowins, Franck van Breugel:
Measuring Progress of Probabilistic LTL Model Checking. 33-47 - Hirotoshi Yasuoka, Tachio Terauchi:
Quantitative Information Flow as Safety and Liveness Hyperproperties. 77-91 - Catuscia Palamidessi, Marco Stronati:
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems. 92-105 - Luca Bortolussi, Vashti Galpin, Jane Hillston:
Hybrid performance modelling of opportunistic networks. 106-121 - Marco Bernardo:
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. 122-136 - Xiumin Wang, Wentu Song, Chau Yuen, Jing Li:
Exchanging Third-Party Information with Minimum Transmission Cost. - Anyu Wang, Zhifang Zhang:
Exact Cooperative Regenerating Codes with Minimum-Repair-Bandwidth for Distributed Storage. - T.-H. Hubert Chan, Mingfei Li, Li Ning:
Incubators vs Zombies: Fault-Tolerant, Short, Thin and Lanky Spanners for Doubling Metrics. - B. Thirumala Rao, N. V. Sridevi, Vuyyuru Krishna Reddy, L. S. S. Reddy:
Performance Issues of Heterogeneous Hadoop Clusters in Cloud Computing. - Valentina Colla, Nicola Matarese, Gianluca Nastasi:
Prediction of under pickling defects on steel strip surface. - Rong-Hua Li, Jeffrey Xu Yu, Zechao Shang:
Estimating Node Influenceability in Social Networks. - Józef Lubacz, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Principles and Overview of Network Steganography. - Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. - (Withdrawn) Folding graphs.
- Marek Karpinski, Andrzej Lingas, Dzmitry Sledneu:
Optimal Cuts and Bisections on the Real Line in Polynomial Time. - Dimitris Fotakis, Christos Tzamos:
On the Power of Deterministic Mechanisms for Facility Location Games. - Ang Yang, Zesong Fei, Nan (Jonas) Yang, Chengwen Xing, Jingming Kuang:
Symbol Error Rate of Space-Time Network Coding in Nakagami-m Fading. - Andreas Brandstädt, Arne Leitert, Dieter Rautenbach:
Efficient Dominating and Edge Dominating Sets for Graphs and Hypergraphs. - Ghassan Samara:
A New Security Mechanism for Vehicular Communication Networks. - Friedrich Eisenbrand, Nicolai Hähnle:
Minimizing the number of lattice points in a translated polygon. - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version). - Marek Kurdej, Julien Moras, Véronique Cherfaoui, Philippe Bonnifait:
Map-aided Fusion Using Evidential Grids for Mobile Perception in Urban Environment. - Jaume Barceló, Boris Bellalta, Roger Baig, Ramon Roca, Albert Domingo, Luis Sanabria-Russo, Cristina Cano, Miquel Oliver:
Bottom-up Broadband Initiatives in the Commons for Europe Project. - Gordana Dodig-Crnkovic:
Info-Computationalism and Philosophical Aspects of Research in Information Sciences. - Gordana Dodig-Crnkovic:
Alan Turing's Legacy: Info-Computational Philosophy of Nature. - Gordana Dodig-Crnkovic, Mark Burgin:
Axiomatic Tools versus Constructive approach to Unconventional Algorithms. - Youssef Bassil:
TCP Congestion Control Scheme for Wireless Networks based on TCP Reserved Field and SNR Ratio. - Yao Lu, Kaizhu Huang, Cheng-Lin Liu:
A Fast Projected Fixed-Point Algorithm for Large Graph Matching. - Philip Bille, Inge Li Gørtz, Tsvi Kopelowitz, Benjamin Sach, Hjalte Wedel Vildhøj:
Sparse Suffix Tree Construction with Small Space. - Andrea Edelstein, Michael G. Rabbat:
Background Subtraction for Online Calibration of Baseline RSS in RF Sensing Networks. - Mahdi Cheraghchi, Venkatesan Guruswami, Ameya Velingker:
Restricted Isometry of Fourier Matrices and List Decodability of Random Linear Codes. - (Withdrawn) The Longest Queue Drop Policy for Shared-Memory Switches is 1.5-competitive.
- Muhammad Rezal Kamel Ariffin, M. A. Asbullah, Nor Azman Abu:
A New Efficient Asymmetric Cryptosystem Based on the Square Root Problem. - Abhishek Chhajer, Manish K. Gupta, Sandeep Vasani, Jaley Dholakiya:
Modular Arithmetic Expressions and Primality Testing via DNA Self-Assembly. - Guoqiang Mao:
On the Fundamental Relationship Determining the Capacity of Static and Mobile Wireless Networks. - Shanmugasundaram G., V. Prasanna Venkatesan, C. Punitha Devi:
A Comprehensive Model to achieve Service Reusability for Multi level stakeholders using Non-Functional attributes of Service Oriented Architecture. - Hardik Shah, Andreas Raabe, Alois C. Knoll:
Dynamic Priority Queue: An SDRAM Arbiter With Bounded Access Latencies for Tight WCET Calculation. - Meixia Qu, Junfeng Luan, Daming Zhu:
On the toggling-branching recurrence of Computability Logic. - Qibin Zhao, Cesar F. Caiafa, Danilo P. Mandic, Zenas C. Chao, Yasuo Nagasaka, Naotaka Fujii, Liqing Zhang, Andrzej Cichocki:
Higher-Order Partial Least Squares (HOPLS): A Generalized Multi-Linear Regression Method. - Mladen Kovacevic, Ivan Stanojevic, Vojin Senk:
On the Hardness of Entropy Minimization and Related Problems. - François Bavaud, Guillaume Guex:
Interpolating between Random Walks and Shortest Paths: a Path Functional Approach. - Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Adjunctions for exceptions. - Anton Belov, João Marques-Silva:
Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality. - Sergio Giro:
Efficient computation of exact solutions for quantitative model checking. 17-32 - Martin Hoefer, Lisa Wagner:
Locally Stable Matching with General Preferences. - Gabriel Nivasch, János Pach, Rom Pinchasi, Shira Zerbib:
The number of distinct distances from a vertex of a convex polygon. - Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer:
Synthesizing Robust Systems with RATSY. 47-53 - Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio:
Automated Verification of Quantum Protocols using MCMAS. 48-62 - Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang:
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. 1-16 - Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). - Ofer Neiman, Shay Solomon:
Deterministic Algorithms for Fully Dynamic Maximal Matching. - Igor Cizelj, Calin Belta:
Probabilistically Safe Control of Noisy Dubins Vehicles. - Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos:
Identifying all abelian periods of a string in quadratic time and relevant problems. - Juan Julián Merelo Guervós, Antonio Miguel Mora, Carlos Cotta, Thomas Philip Runarsson:
An experimental study of exhaustive solutions for the Mastermind puzzle. - Patrick Jaillet, José A. Soto, Rico Zenklusen:
Advances on Matroid Secretary Problems: Free Order Model and Laminar Case. - Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit:
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems. - Eli Haim, Yuval Kochman, Uri Erez:
Distributed Structure: Joint Expurgation for the Multiple-Access Channel. - Daniel Bryce, Subbarao Kambhampati:
Cost Sensitive Reachability Heuristics for Handling State Uncertainty. - Peter R. de Waal, Linda C. van der Gaag:
Stable Independence in Perfect Maps. - Eric Horvitz, Johnson Apacible, Raman Sarin, Lin Liao:
Prediction, Expectation, and Surprise: Methods, Designs, and Study of a Deployed Traffic Forecasting Service. - Kristian Kersting, Tapani Raiko:
'Say EM' for Selecting Probabilistic Models for Logical Sequences. - Kathryn Blackmond Laskey, Paulo Cesar G. da Costa:
Of Starships and Klingons: Bayesian Logic for the 23rd Century. - Anders L. Madsen:
A Differential Semantics of Lazy AR Propagation. - Yun Peng, Zhongli Ding:
Modifying Bayesian Networks by Probability Constraints. - Silja Renooij, Linda C. van der Gaag:
Exploiting Evidence-dependent Sensitivity Bounds. - Susan M. Shortreed, Marina Meila:
Unsupervised spectral learning. - Daniel Szer, François Charpillet, Shlomo Zilberstein:
MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs. - Jonathan Bredin, David C. Parkes:
Models for Truthful Online Double Auctions. - Darius Braziunas, Craig Boutilier:
Local Utility Elicitation in GAI Models. - Itai Ashlagi, Dov Monderer, Moshe Tennenholtz:
On the Value of Correlation. - Leila Amgoud:
A unified setting for inference and decision: An argumentation-based approach. - Eric Altendorf, Angelo C. Restificar, Thomas G. Dietterich:
Learning from Sparse Data by Exploiting Monotonicity Constraints. - Pieter Abbeel, Daphne Koller, Andrew Y. Ng:
Learning Factor Graphs in Polynomial Time & Sample Complexity. - Cassio Polpo de Campos, Fábio Gagliardi Cozman:
Belief Updating and Learning in Semi-Qualitative Probabilistic Networks. - Vincent Conitzer, Tuomas Sandholm:
Common Voting Rules as Maximum Likelihood Estimators. - Barry R. Cobb, Prakash P. Shenoy:
Hybrid Bayesian Networks with Linear Deterministic Variables. - Arthur Choi, Hei Chan, Adnan Darwiche:
On Bayesian Network Approximation by Edge Deletion. - Shuchi Chawla, Cynthia Dwork, Frank McSherry, Kunal Talwar:
On Privacy-Preserving Histograms. - Mark Chavira, David Allen, Adnan Darwiche:
Exploiting Evidence in Probabilistic Inference. - Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. - Jennifer Carlson, Robin R. Murphy:
Use of Dempster-Shafer Conflict Metric to Detect Interpretation Inconsistency. - Peter Carbonetto, Jacek Kisynski, Nando de Freitas, David Poole:
Nonparametric Bayesian Logic. - Zhihong Cai, Manabu Kuroki:
Counterfactual Reasoning in Linear Structural Equation Models. - Jakub Brzostowski, Ryszard Kowalczyk:
Efficient algorithm for estimation of qualitative expected utility in possibilistic case-based reasoning. - Changsung Kang, Jin Tian:
Local Markov Property for Models Satisfying Composition Axiom. - Shen-Shyang Ho, Harry Wechsler:
On the Detection of Concept Changes in Time-Varying Data Stream by Testing Exchangeability. - Markus Harva, Tapani Raiko, Antti Honkela, Harri Valpola, Juha Karhunen:
Bayes Blocks: An Implementation of the Variational Bayesian Building Blocks Framework. - Rafay Hammid, Siddhartha Maddi, Amos Y. Johnson, Aaron F. Bobick, Irfan A. Essa, Charles Lee Isbell Jr.:
Unsupervised Activity Discovery and Characterization From Event-Streams. - Yuhong Guo, Dana F. Wilkinson, Dale Schuurmans:
Maximum Margin Bayesian Networks. - Gianluigi Greco, Francesco Scarcello:
Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. - Vibhav Gogate, Rina Dechter, Bozhena Bidyuk, Craig Rindt, James Marca:
Modeling Transportation Routines using Hybrid Dynamic Mixed Networks. - Vibhav Gogate, Rina Dechter:
Approximate Inference Algorithms for Hybrid Bayesian Networks with Discrete Constraints. - Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. - Ad Feelders, Linda C. van der Gaag:
Learning Bayesian Network Parameters with Prior Knowledge about Context-Specific Qualitative Influences. - Eyal Even-Dar, Sham M. Kakade, Yishay Mansour:
Planning in POMDPs Using Multiplicity Automata. - Frederick Eberhardt, Clark Glymour, Richard Scheines:
On the Number of Experiments Sufficient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables. - Carmel Domshlak, Thorsten Joachims:
Unstructuring User Preferences: Efficient Non-Parametric Utility Revelation. - Yaxin Liu, Sven Koenig:
Existence and Finiteness Conditions for Risk-Sensitive Planning: Results and Conjectures. - Hendrik Kück, Nando de Freitas:
Learning about individuals from group statistics. - Andreas Krause, Carlos Guestrin:
Near-optimal Nonmyopic Value of Information in Graphical Models. - Vladimir Kolmogorov, Martin J. Wainwright:
On the optimality of tree-reweighted max-product message-passing. - Guilin Qi, Weiru Liu, David A. Bell:
A Revision-Based Approach to Resolving Conflicting Information. - Avi Pfeffer, Terry Tai:
Asynchronous Dynamic Bayesian Networks. - Mark Paskin, Sebastian Thrun:
Robotic Mapping with Polygonal Random Fields. - Anna Osepayshvili, Michael P. Wellman, Daniel M. Reeves, Jeffrey K. MacKie-Mason:
Self-Confirming Price Prediction for Bidding in Simultaneous Ascending Auctions. - Uri Nodelman, Daphne Koller, Christian R. Shelton:
Expectation Propagation for Continuous Time Bayesian Networks. - Uri Nodelman, Christian R. Shelton, Daphne Koller:
Expectation Maximization and Complex Duration Distributions for Continuous Time Bayesian Networks. - Alexandru Niculescu-Mizil, Rich Caruana:
Obtaining Calibrated Probabilities from Boosting. - Mukund Narasimhan, Jeff A. Bilmes:
A submodular-supermodular procedure with applications to discriminative structure learning. - Joris M. Mooij, Hilbert J. Kappen:
Sufficient conditions for convergence of Loopy Belief Propagation. - Andrew McCallum, Kedar Bellare, Fernando C. N. Pereira:
A Conditional Random Field for Discriminatively-trained Finite-state String Edit Distance. - Robert Mateescu, Rina Dechter:
The Relationship Between AND/OR Search and Variable Elimination. - Sridhar Mahadevan:
Representation Policy Iteration. - Charles Sutton, Andrew McCallum:
Piecewise Training for Undirected Models. - Umberto Straccia:
Description Logics with Fuzzy Concrete Domains. - Finnegan Southey, Michael Bowling, Bryce Larson, Carmelo Piccione, Neil Burch, Darse Billings, D. Chris Rayner:
Bayes' Bluff: Opponent Modelling in Poker. - Trey Smith, Reid G. Simmons:
Point-Based POMDP Algorithms: Improved Analysis and Implementation. - Shohei Shimizu, Aapo Hyvärinen, Yutaka Kano, Patrik O. Hoyer:
Discovery of non-gaussian linear causal models using ICA. - Eerika Savia, Kai Puolamäki, Janne Sinkkonen, Samuel Kaski:
Two-Way Latent Grouping Model for User Preference Prediction. - Scott Sanner, Craig Boutilier:
Approximate Linear Programming for First-order MDPs. - Matthew R. Rudary, Satinder Singh, David Wingate:
Predictive Linear-Gaussian Models of Stochastic Dynamical Systems. - Michal Rosen-Zvi, Michael I. Jordan, Alan L. Yuille:
The DLR Hierarchy of Approximate Inference. - Alice X. Zheng, Irina Rish, Alina Beygelzimer:
Efficient Test Selection in Active Diagnosis via Entropy Approximation. - Jiji Zhang, Peter Spirtes:
A Transformational Characterization of Markov Equivalence for Directed Acyclic Graphs with Latent Variables. - Luke S. Zettlemoyer, Michael Collins:
Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars. - Huizhen Yu:
A Function Approximation Approach to Estimation of Policy Gradient for POMDP with Structured Policies. - Changhe Yuan, Marek J. Druzdzel:
Importance Sampling in Bayesian Networks: An Influence-Based Approximation Strategy for Importance Functions. - Eric P. Xing, Rong Yan, Alexander G. Hauptmann:
Mining Associated Text and Images with Dual-Wing Harmoniums. - John R. Wicks, Amy Greenwald:
An Algorithm for Computing Stochastically Stable Distributions with Applications to Multiagent Learning in Repeated Games. - Paul Weng:
Qualitative Decision Making Under Possibilistic Uncertainty: Toward more discriminating criteria. - Max Welling, Thomas P. Minka, Yee Whye Teh:
Structured Region Graphs: Morphing EP into GBP. - Segev Wasserkrug, Avigdor Gal, Opher Etzion:
A Model for Reasoning with Uncertain Rules in Event Composition Systems. - Marc Teyssier, Daphne Koller:
Ordering-Based Search: A Simple and Effective Algorithm for Learning Bayesian Networks. - Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières:
Flexible Dynamic Information Flow Control in the Presence of Exceptions. - Jun Wang, Jianshu Chen, Danijela Cabric:
Cramer-Rao Bounds for Joint RSS/DoA-Based Primary-User Localization in Cognitive Radio Networks. - Ivan Ruchkin, Vladimir Prus:
Single-window Integrated Development Environment. - Gol Kim, Fei Ye:
Super-Mixed Multiple Attribute Group Decision Making Method Based on Hybrid Fuzzy Grey Relation Approach Degree. - Xiaoli Xu, Yong Zeng, Yong Liang Guan, Tracey Ho:
Detailed Steps of the Fourier-Motzkin Elimination. - Yoora Kim, Kyunghan Lee, Ness B. Shroff, Injong Rhee, Song Chong:
On the Generalized Delay-Capacity Tradeoff of Mobile Networks with Lévy Flight Mobility. - Tingting Liu, Chenyang Yang:
On the Feasibility of Interference Alignment for MIMO Interference Broadcast Channels. - Kamen Lozev:
Algorithms for High-Performance Networking in the Presence of Obstacles. - Jonathan Masci, Michael M. Bronstein, Alexander M. Bronstein, Jürgen Schmidhuber:
Multimodal similarity-preserving hashing. - Vasanthan Raghavan, Venugopal V. Veeravalli:
Ensemble Properties of RVQ-Based Limited-Feedback Beamforming Codebooks. - Gol Kim, Yunchol Jong, Sifeng Liu:
Generalized Hybrid Grey Relation Method for Multiple Attribute Mixed Type Decision Making. - Rudresh Shirwaikar, Nikhil Rajadhyax:
Data Mining on Educational Domain. - Neha Patwari, Parvati Bhurani:
Framework of SQL Injection Attack. - Gol Kim, Ri Suk Yun:
Hybrid Forecasting of Exchange Rate by Using Chaos Wavelet SVM-Markov Model and Grey Relation Degree. - Yuanxin Wu, Xianfei Pan:
Velocity/Position Integration Formula (I): Application to In-flight Coarse Alignment. - Shervan Fekri Ershad, Mohammad Saberi, Farshad Tajeripour:
An Innovative Skin Detection Approach Using Color Based Image Retrieval Technique. - Yuanxin Wu, Xianfei Pan:
Velocity/Position Integration Formula (II): Application to Inertial Navigation Computation. - Frederic Knabe, Omar Mohamed, Carolin Huppert:
Achievable Sum-Rates in Gaussian Multiple-Access Channels with MIMO-AF-Relay and Direct Links. - Tadeusz Tomczak, Katarzyna Zadarnowska, Zbigniew Koza, Maciej Matyka, Lukasz Miroslaw:
Complete PISO and SIMPLE solvers on Graphics Processing Units. - P. Radha Krishna Reddy, Ashim Roy, G. Sireesha, Ismatha Begum, S. Siva Ramaiah:
A Secure Dynamic Job Scheduling on Smart Grid using RSA Algorithm. - Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov:
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? - Núbia Rosa da Silva, Odemir Martinez Bruno:
Analysis of Multi-Scale Fractal Dimension to Classify Human Motion. - Michael Elkin, Shay Solomon:
Fast Constructions of Light-Weight Spanners for General Graphs. - Nungleppam Monoranjan Singh, Kanak Chandra Sarma, Nungleppam Gopil Singh:
Design and Development of Low Cost Multi-Channel USB Data. - Michael Marcondes de Freitas, Eduardo D. Sontag:
Remarks on random dynamical systems with inputs and outputs and a small-gain theorem for monotone RDS. - Zahoor Ali Khan, Nadeem Javaid, M. H. Arshad, Ayesha Bibi, B. Qasim:
Performance Evaluation of Widely used Portknoking Algorithms. - Preetida Vinayakray-Jani, Sugata Sanyal:
Security Architecture for Cluster based Ad Hoc Networks. - Obaid Ur Rehman, Nadeem Javaid, Ayesha Bibi, Zahoor Ali Khan:
Performance Study of Localization Techniques in Wireless Body Area Sensor Networks. - Mauro Bianco, Ugo Varetto:
A Generic Library for Stencil Computations. - Jin Tan, Danielle Carmon, Dror Baron:
Signal Estimation with Arbitrary Error Metrics in Compressed Sensing. - Jonathan Masci, Ueli Meier, Gabriel Fricout, Jürgen Schmidhuber:
Object Recognition with Multi-Scale Pyramidal Pooling Networks. - Subhash Sagar, Nadeem Javaid, Zahoor Ali Khan, J. Saqib, Ayesha Bibi, Safdar Hussain Bouk:
Analysis and Modeling Experiment Performance Parameters of Routing Protocols in MANETs and VANETs. - Raffaele Solcà, Thomas C. Schulthess, Azzam Haidar, Stanimire Tomov, Ichitaro Yamazaki, Jack J. Dongarra:
A hybrid Hermitian general eigenvalue solver. - Sanjay Kumar, Nadeem Javaid, Zahid Yousuf, Haresh Kumar, Zahoor Ali Khan, Ayesha Bibi:
DSDV, DYMO, OLSR: Link Duration and Path Stability. - Leah Epstein, Asaf Levin, Danny Segev, Oren Weimann:
Improved Bounds for Online Preemptive Matching. - Daniel Karapetyan:
Design, Evaluation and Analysis of Combinatorial Optimization Heuristic Algorithms. - Ferkan Yilmaz, Mohamed-Slim Alouini:
A Novel Ergodic Capacity Analysis. - George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. - Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn:
Introspective Pushdown Analysis of Higher-Order Programs. - Rúben Gouveia, Evangelos Niforatos, Evangelos Karapanos:
Footprint Tracker: reviewing lifelogs and reconstructing daily experiences. - José Rodrigues, Rúben Gouveia, Olga Lyra, Evangelos Karapanos:
Sense me: Supporting awareness in parent-child relationships through mobile sensing. - Evangelos Karapanos:
Beyond Experience Sampling: Evaluating Personal Informatics with Technology-Assisted Reconstruction. - Michael Elkin, Shay Solomon:
Optimal Euclidean spanners: really short, thin and lanky. - Abdallah Saffidine:
Minimal Proof Search for Modal Logic K Model Checking. - Magnús M. Halldórsson, Pradipta Mitra:
Towards Tight Bounds for Local Broadcasting. - César Andrés, Luis Llana:
Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. EPTCS 86, 2012 [contents] - Sung-Tai Choi, Seokbeom Hong, Jong-Seon No, Habong Chung:
Differential Spectrum of Some Power Functions With Low Differential Uniformity. - Ted Dunning:
Finding Structure in Text, Genome and Other Symbolic Sequences. - Christoph Lenzen:
Optimal Deterministic Routing and Sorting on the Congested Clique. - Jun Zhang, Yuanqing Li, Zhu Liang Yu, Zhenghui Gu:
Recoverability Analysis for Modified Compressive Sensing with Partially Known Support. - Siu-Wai Ho, Terence H. Chan, Alex J. Grant, Chinthani Uduwerelle:
Error Free Perfect Secrecy Systems. - Vladimir V. Bochkarev, Eduard Yu. Lerner:
Zipf and non-Zipf Laws for Homogeneous Markov Chain. - S. K. Gupta, Akash Khandelwal:
Reconstruction Conjecture for Graphs Isomorphic to Cube of a Tree. - Donggyu Yun, Jungseul Ok, Bongjhin Shin, Soobum Park, Yung Yi:
Embedding of Virtual Network Requests over Static Wireless Multihop Networks. - Raphaël Clifford, Markus Jalsenius, Benjamin Sach:
Tight Cell-Probe Bounds for Online Hamming Distance Computation. - John-John Cabibihan, Wing Chee So, Sujin Saj, Zhengchen Zhang:
Telerobotic Pointing Gestures Shape Human Spatial Cognition. - Eliana S. de Almeida, Antonio C. Medeiros, Alejandro César Frery:
How good are MatLab, Octave and Scilab for Computational Modelling? - Grenville J. Croll:
Spreadsheets and Long Term Corporate Survival. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zaky:
Spatial And Spectral Quality Evaluation Based On Edges Regions Of Satellite Image Fusion. - Gol Kim, Ri Suk Yun:
A Hybrid Forecast of Exchange Rate based on ARFIMA,Discrete Grey-Markov, and Fractal Kalman Model. - Jun Kurihara, Tomohiko Uyematsu, Ryutaroh Matsumoto:
New Parameters of Linear Codes Expressing Security Performance of Universal Secure Network Coding. - Janusz A. Brzozowski, David Liu:
Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star. - Xiaoli Xu, Yong Zeng, Yong Liang Guan, Tracey Ho:
On the Capacity Region of Two-User Linear Deterministic Interference Channel and Its Application to Multi-Session Network Coding. - Stefano Riverso, Giancarlo Ferrari-Trecate:
Hycon2 Benchmark: Power Network System. - Joachim Breitner:
dup -- Explicit un-sharing in Haskell. - Zohra Slimane, Mohammed Feham, Abdelhafid Abdelmalek:
Seamless Infrastructure independent Multi Homed NEMO Handoff Using Effective and Timely IEEE 802.21 MIH triggers. - Robert W. Heath Jr., Marios Kountouris:
Modeling Heterogeneous Network Interference with Using Poisson Point Processes. - N. Monoranjan Singh, K. C. Sarma:
Design of PIC12F675 Microcontroller Based Data Acquisition System for Slowly Varying Signals. - Jean Barbier, Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Compressed Sensing of Approximately-Sparse Signals: Phase Transitions and Optimal Reconstruction. - Malte Harder, Christoph Salge, Daniel Polani:
A Bivariate Measure of Redundant Information. - (Withdrawn) Equidistant Linear Network Codes with maximal Error-protection from Veronese Varieties.
- Lalitha Sankar, H. Vincent Poor:
Distributed Estimation in Multi-Agent Networks. - Mojtaba Vaezi:
The Capacity of More Capable Cognitive Interference Channels. - Xinping Yi, David Gesbert:
Precoding Methods for MISO Broadcast Channel with Delayed CSIT. - Rajdeep Borgohain, Sugata Sanyal:
Rule Based Expert System for Diagnosis of Neuromuscular Disorders. - Won-Yong Shin, Dohyung Park, Bang Chul Jung:
Can One Achieve Multiuser Diversity in Uplink Multi-Cell Networks? - Diego Fabregat-Traver, Yurii S. Aulchenko, Paolo Bientinesi:
High-throughput Genome-wide Association Analysis for Single and Multiple Phenotypes. - Satoshi Tazawa:
Integer factorization and Discrete Logarithm problem are neither in P nor NP-complete. - Daniel Lemire, Owen Kaser, Eduardo Gutarra:
Reordering Rows for Better Compression: Beyond the Lexicographic Order. - Namyoon Lee, Robert W. Heath Jr.:
Not Too Delayed CSIT Achieves the Optimal Degrees of Freedom. - Matthew C. Valenti, Xingyu Xiang:
Constellation Shaping for Bit-Interleaved LDPC Coded APSK. - Anindya De, Ilias Diakonikolas, Rocco A. Servedio:
A robust Khintchine inequality, and algorithms for computing optimal constants in Fourier analysis and high-dimensional geometry. - P. C. Sherimon, Reshmy Krishnan, P. V. Vinu:
Effective Enabling of Sharing and Reuse of Knowledge On Semantic Web by Ontology in Date Fruit Model. - Simona Nica, Franz Wotawa:
Using Constraints for Equivalent Mutant Detection. 1-8 - Debajyoti Mukhopadhyay, Sheetal Vij, Suyog Tasare:
NAAS: Negotiation Automation Architecture with Buyer's Behavior Pattern Prediction Component. - Maria Spichkova, Florian Hölzl, David Trachtenherz:
Verified System Development with the AutoFocus Tool Chain. 17-24 - Andreas Bollin, Abdollah Tabareh:
Predictive Software Measures based on Z Specifications - A Case Study. 33-40 - Naveed A. Khan, Nadeem Javaid, Zahoor Ali Khan, M. Jaffar, U. Rafiq, Ayesha Bibi:
Ubiquitous HealthCare in Wireless Body Area Networks. - Alexei Yu. Uteshev, Marina V. Yashina:
Metric Problems for Quadrics in Multidimensional Space. - Gol Kim, Ri Suk Yun:
A Hybrid Forecast of Exchange Rate based on Discrete Grey-Markov and Grey Neural Network Model. - Daoud Clarke:
Challenges for Distributional Compositional Semantics. - Imen Chaabouni, Wiem Fourati, Med Salim Bouhlel:
Improvement of ISOM by using filter. - Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin:
Understanding the Learners' Actions when using Mathematics Learning Tools. - Muhammad Taimoor Khan, Wolfgang Schreiner:
On Formal Specification of Maple Programs. - Muhammad Taimoor Khan, Wolfgang Schreiner:
Towards the Formal Specification and Verification of Maple Programs. - Sergio Cabello:
Stackelberg Shortest Path Tree Game, Revisited. - Pan Zhang, Florent Krzakala, Jörg Reichardt, Lenka Zdeborová:
Comparative Study for Inference of Hidden Classes in Stochastic Block Models. - Reginald D. Smith:
Distinct word length frequencies: distributions and symbol entropies. - Mayank Bakshi, Sidharth Jaggi, Sheng Cai, Minghua Chen:
SHO-FA: Robust compressive sensing with order-optimal complexity, measurements, and bits. - Jörg Endrullis, Dimitri Hendriks:
On Periodically Iterated Morphisms. - Aiyou Chen, Arash A. Amini, Peter J. Bickel, Elizaveta Levina:
Fitting community models to large sparse networks. - Casper Kejlberg-Rasmussen, Konstantinos Tsakalidis, Kostas Tsichlas:
I/O-Efficient Dynamic Planar Range Skyline Queries. - Armen Bagdasaryan:
Some Euler-type formulas for planar graphs. - Rocío González-Díaz, Javier Lamar, Ronald Umble:
On the Z/2-Cohomology of 3D Polyhedral Approximations. - Jin-Yi Cai, Pinyan Lu, Mingji Xia:
Dichotomy for Holant* Problems with a Function on Domain Size 3. - Mohamed Achraf Ben Mohamed, Dhaou El Ghoul, Mohamed Amine Nahdi, Mourad Mars, Mounir Zrigui:
Arabic CALL system based on pedagogically indexed text. - Greg Aloupis, Luis Barba, Stefan Langerman, Diane L. Souvaine:
Bichromatic compatible matchings. - Antony Joseph, Andrew R. Barron:
Fast Sparse Superposition Codes have Exponentially Small Error Probability for R < C. - Alphan Ulusoy, Stephen L. Smith, Calin Belta:
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization. - Issam Qaffou, Mohammed Sadgal, Aziz Elfazziki:
A Multi-Agents Architecture to Learn Vision Operators and their Parameters. - Fradj Ben Lamine, Karim Kalti, Mohamed Ali Mahjoub:
Etude de Modèles à base de réseaux Bayésiens pour l'aide au diagnostic de tumeurs cérébrales. - Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish:
Reasoning with Data-Centric Business Processes. - Jasen Markovski:
Scalable Minimization Algorithm for Partial Bisimulation. 9-16 - Petr Jancar:
Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof). - (Withdrawn) Kernelized Supervised Dictionary Learning.
- Byron Boots, Geoffrey J. Gordon:
A Spectral Learning Approach to Range-Only SLAM. - Ryo Nomura, Te Sun Han:
Second-Order Slepian-Wolf Source Coding for Mixed Sources. - Feodor F. Dragan, Muad Abu-Ata:
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences. - Pedro Quaresma:
An XML-Format for Conjectures in Geometry (Work-in-Progress). - Vinay Joseph, Gustavo de Veciana, Ari Arapostathis:
Resource Allocation: Realizing Mean-Variability-Fairness Tradeoffs. - Gugan Thoppe:
Generalized Network Tomography. - Ping Hou:
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. - Ping Hou, Johan Wittocx, Marc Denecker:
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions. - Sambhunath Biswas, Amrita Biswas:
Face Recognition Algorithms based on Transformed Shape Features. - (Withdrawn) A New Weighted Spearman's Footrule as A Measure of Distance between Rankings.
- Sandeep Bindal, Sorav Bansal, Akash Lal:
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs. - Tareq Y. Al-Naffouri, Ala A. Dahman, Muhammad S. Sohail, Weiyu Xu, Babak Hassibi:
Low Complexity Blind Equalization for OFDM Systems with General Constellations. - Mariusz Grech, Andrzej Kisielewicz:
The Cerny conjecture for automata respecting intervals of a directed graph. - Mohamed-Haykel Zayani, Vincent Gauthier, Djamal Zeghlache:
Quantifying Spatiotemporal Stability by means of Entropy: Approach and Motivations. - Sarim Hayat, Nadeem Javaid, Zahoor Ali Khan, Abida Shareef, Anzar Mahmood, Safdar Hussain Bouk:
Energy Efficient MAC Protocols. - Cunsheng Ding:
Cyclic Codes from Cyclotomic Sequences of Order Four. - Basit Manzoor, Nadeem Javaid, Ayesha Bibi, Zahoor Ali Khan, Muhammad Tahir:
Noise Filtering, Channel Modeling and Energy Utilization in Wireless Body Area Networks. - Niranjan Kumar Ray, Harsh Bardhan Sharma, Ashok Kumar Turuk:
Network Lifetime Analysis of AODV, DSR and ZRP at Different Network Parameters. - Gol Kim:
Novel Grey Interval Weight Determining and Hybrid Grey Interval Relation Method in Multiple Attribute Decision-Making. - Haruna Isah:
Full Data Controlled Web-Based Feed Aggregator. - Saket Warade, Jagannath Aghav, Claude Petitpierre, Sandeep Udayagiri:
Automated Training and Maintenance through Kinect. - Guy Even, Shakhar Smorodinsky:
Hitting Sets Online and Unique-Max Coloring. - Sokyna Qatawneh, Afaf Alneaimi, Thamer Rawashdeh, Mohammad Muhairat, Rami Qahwaji, Stanley S. Ipson:
Efficient Prediction of DNA-Binding Proteins Using Machine Learning. - (Withdrawn) A Novel Approach Coloured Object Tracker with Adaptive Model and Bandwidth using Mean Shift Algorithm.
- Yun Wang, Peizhong Shi, Kai Li, Jie Wu:
DQSB: A Reliable Broadcast Protocol Based on Distributed Quasi-Synchronized Mechanism for Low Duty-Cycled Wireless Sensor Networks. - Hasni Neji, Ridha Bouallegue:
Ontology for Mobile Phone Operating Systems. - Prasun Chowdhury, Anindita Kundu, Iti Saha Misra, Salil Kumar Sanyal:
Load Balancing with Reduced Unnecessary Handoff in Energy Efficient Macro/Femto-cell based BWA Networks. - Yaming Luo, Jun Zhang, Khaled Ben Letaief:
Training Optimization for Energy Harvesting Communication Systems. - Muhammad Aslam, Nadeem Javaid, Azizur Rahim, U. Nazir, Ayesha Bibi, Zahoor Ali Khan:
Survey of Extended LEACH-Based Clustering Routing Protocols for Wireless Sensor Networks. - Hannah Bast, Florian Bäurle, Björn Buchhold, Elmar Haussmann:
Broccoli: Semantic Full-Text Search at your Fingertips. - Nitish Balachandran, Sugata Sanyal:
A Review of Techniques to Mitigate Sybil Attacks. - Mutaz M. Al-Debei, Mohammad Mourhaf al Asswad, Sergio de Cesare, Mark Lycett:
Conceptual Modelling and The Quality of Ontologies: Endurantism Vs. Perdurantism. - Sujatha Srinivasan, Sivakumar Ramakrishnan:
Nugget Discovery with a Multi-objective Cultural Algorithm. - Rahul Shah, Cheng Sheng, Sharma V. Thankachan, Jeffrey Scott Vitter:
On Optimal Top-K String Retrieval. - Amol Bandal, Shankar Nawale:
RFID Security Using Lightweight Mutual Authentication And Ownership Transfer Protocol. - Teun Baar, Wiger van Houten, Zeno J. M. H. Geradts:
Camera identification by grouping images from database, based on shared noise patterns. - Tirtha Shankar Das, Ayan K. Sau, Vijay Harishchandra Mankar, Subir Kumar Sarkar:
Multimedia Steganographic Scheme using Multiresolution Analysis. - Kiryung Lee, Yoram Bresler, Marius Junge:
Oblique Pursuits for Compressed Sensing. - Amir Houmansadr, Thomas J. Riedl, Nikita Borisov, Andrew C. Singer:
IP over Voice-over-IP for censorship circumvention. - Tirtha Shankar Das, Vijay Harishchandra Mankar, Subir Kumar Sarkar:
Performance Evaluation of Spread Spectrum Watermarking using Error Control Coding. - Vijay Harishchandra Mankar, Tirtha Shankar Das, Subir Kumar Sarkar:
Discrete Chaotic Sequence based on Logistic Map in Digital Communications. - Brahim Lejdel, Okba Kazar:
Genetic agent approach for improving on-the-fly web map generalization. - Vijay Harishchandra Mankar, Tirtha Shankar Das, Subhojit Saha, Subir Kumar Sarkar:
Robust Image Watermarking Under Pixel Wise Masking Framework. - Tirtha Shankar Das, Vijay Harishchandra Mankar, Subir Kumar Sarkar:
Spread Spectrum based Robust Image Watermark Authentication. - Gaurav Raj, Ankit Nischal:
Efficient Resource Allocation in Resource provisioning policies over Resource Cloud Communication Paradigm. - Gaurav Raj, Kamaljit Kaur:
Secure Cloud Communication for Effective Cost Management System through MSBE. - Gaurav Raj, Sonika Setia:
Effective Cost Mechanism for Cloudlet Retransmission and Prioritized VM Scheduling Mechanism over Broker Virtual Machine Communication Framework. - Don J. Torrieri, Matthew C. Valenti:
The Outage Probability of a Finite Ad Hoc Network in Nakagami Fading. - Mohamed Achraf Ben Mohamed, Mounir Zrigui, Mohsen Maraoui:
Clustering based approach extracting collocations. - Roopa Singh, Imran Akhtar Khan:
An Approach For Integration Testing In Online Retail Applications. - Alexander Kurz, Jirí Rosický:
Strongly Complete Logics for Coalgebras. - Francisco Javier Lobillo, Gabriel Navarro, José Gómez-Torrecillas:
Information-bit error rate and false positives in an MDS code. - Raúl Pardo, Fernando L. Pelayo:
ROSA Analyser: An automatized approach to analyse processes of ROSA. 25-32 - Zbigniew Mrozek:
Quality assurance of e-learning processes. - N. Monoranjan Singh, K. C. Sarma:
Low Cost PC Based Real Time Data Logging System Using PCs Parallel Port For Slowly Varying Signals. - Shilpan Dineshkumar Vyas:
E-banking and E-commerce in India and USA. - Boutaina Chakir, Mounia Fredj, Mahmoud Nassar:
A model driven method for promoting reuse in SOA-solutions by managing variability. - Alcino Cunha:
Bounded Model Checking of Temporal Formulas with Alloy. - Manuel Mazzara:
On Methods for the Formal Specification of Fault Tolerant Systems. - Daiqin Yang, Fang Zhao, Kai Liu, Hock Beng Lim, Emilio Frazzoli, Daniela Rus:
A GPS Pseudorange Based Cooperative Vehicular Distance Measurement Technique. - Emil Björnson, Marios Kountouris, Mats Bengtsson, Björn E. Ottersten:
Receive Combining vs. Multi-Stream Multiplexing in Downlink Systems with Multi-Antenna Users. - Behzad Ahmadi, Chiranjib Choudhuri, Osvaldo Simeone, Urbashi Mitra:
Cascade Source Coding with a Side Information "Vending Machine". - Hadi Goudarzi, Mohammad Reza Pakravan:
Practical Power Allocation and Greedy Partner Selection for Cooperative Networks. - Antoine Amarilli, Marc Jeanmougin:
A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata. - Don J. Torrieri, Matthew C. Valenti:
Guard Zones and the Near-Far Problem in DS-CDMA Ad Hoc Networks. - Meng Wang, Weiyu Xu, Enrique Mallada, Ao Tang:
Sparse Recovery with Graph Constraints. - Abdurashid Mamadolimov:
Search Algorithms for Conceptual Graph Databases. - Rajkumar Sarma, Veerati Raju:
Design and Performance Analysis of hybrid adders for high speed arithmetic circuit. - Kai Liu, Hock Beng Lim:
Positioning Accuracy Improvement via Distributed Location Estimate in Cooperative Vehicular Networks. - Maria Chiara Angelini, Federico Ricci-Tersenghi, Yoshiyuki Kabashima:
Compressed sensing with sparse, structured matrices. - Shafqat Ali Shad, Enhong Chen, Faisal Malik Faisal Azeem:
Enterprise Resource Planning - Real blessing or a Blessing in Disguise : An Exploration of the Contextual Factors in Public Sector. - Adnan Alam Khan, Safeeullah Soomro, Irfan Hyder:
Fast Subsequent Color Iris Matching in large Database. - Shafqat Ali Shad, Enhong Chen, Faisal Malik Faisal Azeem:
Performance Enhancement Factors of ERP Projects in a Telecom Public Sector Organization of Pakistan : An Exploratory Study. - Pierre-Ugo Tournoux, Tuan Tran Thai, Emmanuel Lochin, Jérôme Lacan, Vincent Roca:
Erasure Coding and Congestion Control for Interactive Real-Time Communication. - Ajay Kumar, Seema Bawa:
Distributed and Big Data Storage Management in Grid Computing. - Mohsen Soryani, Morteza Analoui, Ghobad Zarrinchian:
A Novel Process Mapping Strategy in Clustered Environments. - Andrea Asperti, Wilmer Ricciotti:
A Web Interface for Matita. - P. Rajesh, G. Narasimha, N. Saisumanth:
Privacy Preserving MFI Based Similarity Measure For Hierarchical Document Clustering. - Mehdi Vasef:
Effective Capacity of a Rayleigh Fading Channel in the Presence of Interference. - Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Paolo Penna, Giuseppe Persiano:
Reversibility and Mixing Time for Logit Dynamics with Concurrent Updates. - Surbhi, Vishal Arora:
ROI Segmentation for Feature Extraction from Human Facial Images. - Isha Gupta:
BIGP- a new single protocol that can work as an igp (interior gateway protocol) as well as egp (exterior gateway protocol). - Aaditya Ramdas, Aarti Singh:
Optimal Stochastic Convex Optimization Through The Lens Of Active Learning. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part I: Basic Structures. - Fei Shen, Wenyuan Wu, Bican Xia:
Real Root Isolation of Polynomial Equations Based on Hybrid Computation. - José Bento, Stratis Ioannidis, S. Muthukrishnan, Jinyun Yan:
A Time and Space Efficient Algorithm for Contextual Linear Bandits. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part II: Information Flow in Degraded Networks. - Konstantinos I. Tsianos, Michael G. Rabbat:
Distributed Strongly Convex Optimization. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part III: Information Flow in Strong Interference Regime. - M. SureshKumar, P. Varalakshmi:
Dynamic Web Service Composition based on Network Modeling with Statistical Analysis and Backtracking. - Nandan Mirajkar, Mohan Barde, Harshal Kamble, Rahul Athale, Kumud Singh:
Implementation of Private Cloud using Eucalyptus and an open source Operating System. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part IV: Networks with a Sequence of Less-Noisy Receivers. - Reza Khosravi-Farsani, Farokh Marvasti:
The K-User Interference Channel: Strong Interference Regime. - Reza Khosravi-Farsani, Farokh Marvasti:
How Much Rate Splitting Is Required for a Random Coding Scheme? A new Achievable Rate Region for the Broadcast Channel with Cognitive Relays. - Kunal N. Chaudhury, Amit Singer:
Non-Local Euclidean Medians. - (Withdrawn) Supervised Texture Classification Using a Novel Compression-Based Similarity Measure.
- Bubacarr Bah, Jared Tanner:
Vanishingly Sparse Matrices and Expander Graphs, with application to compressed sensing. - Kishore Kothapalli, Sriram V. Pemmaraju:
Super-Fast 3-Ruling Sets. - Jeremy P. Vila, Philip Schniter:
Expectation-Maximization Gaussian-Mixture Approximate Message Passing. - Joohwan Kim, R. Srikant:
Real-Time Peer-to-Peer Streaming Over Multiple Random Hamiltonian Cycles. - Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, Min Jun Kim:
Tracking Tetrahymena Pyriformis Cells using Decision Trees. - Kenza Guenda, T. Aaron Gulliver:
On the Automorphism Groups and Equivalence of Cyclic Combinatorial Objects. - Kenza Guenda, T. Aaron Gulliver:
New Symmetric and Asymmetric Quantum Codes. - Ali Al-Matouq, Tyrone Vincent, Luis Tenorio:
Derivation of the Maximum a Posterori Estimate for Discrete Time Descriptor Systems. - Yashpal Singh, Kamal Deep, S. Niranjan:
Multiple Criteria Clustering of Mobile Agents in WSN. - (Withdrawn) Color Constancy based on Image Similarity via Bilayer Sparse Coding.
- Arun Padakandla, Sandeep S. Pradhan:
A new coding theorem for three user discrete memoryless broadcast channel. - Christina Büsing, Kai-Simon Goetzmann, Jannik Matuschke, Sebastian Stiller:
The Power of Compromise. - Michael Kerber:
Embedding the dual complex of hyper-rectangular partitions. - Brian Huffman:
Formal Verification of Monad Transformers. - Imran Akhtar Khan, Roopa Singh:
Quality Assurance And Integration Testing Aspects In Web Based Applications. - Pierre Clairambault:
Isomorphisms of types in the presence of higher-order references (extended version). - Günce Keziban Orman, Vincent Labatut, Hocine Cherifi:
An Empirical Study of the Relation Between Community Structure and Transitivity. - Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation. - Ge Xu, Biao Chen:
The Sufficiency Principle for Decentralized Data Reduction. - Siddhartha Banerjee, Nidhi Hegde, Laurent Massoulié:
The Price of Privacy in Untrusted Recommendation Engines. - Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros:
Probabilistic Event Calculus for Event Recognition. - Hajar Omrana, Safae Nassiri, Fatima-Zahra Belouadha, Ounsa Roudiès:
Design for Distributed Moroccan Hospital Pharmacy Information Environment with Service Oriented Architecture. - Sarvesh Nikumbh, Shameek Ghosh, Valadi K. Jayaraman:
Biogeography-Based Informative Gene Selection and Cancer Classification Using SVM and Random Forests. - Yu Zhao, Fangfang Zhu, Biao Chen:
The Han-Kobayashi Region for a Class of Gaussian Interference Channels with Mixed Interference. - Sunil Jadav, Vikrant, Munish Vashishath:
Design and Performance Analysis Of Ultra Low Power 6T SRAM Using Adiabatic Technique. - Jónathan Heras, María Poza, Julio Rubio:
Verifying an algorithm computing Discrete Vector Fields for digital imaging. - Mirsad Cirkic, Erik G. Larsson:
SUMIS: A Near-Optimal Soft-Ouput MIMO Detector at Low and Fixed Complexity. - Fangfang Zhu, Biao Chen:
On the Sum Capacity of the Discrete Memoryless Interference Channel with One-Sided Weak Interference and Mixed Interference. - Laurent George, Maud Marchal, Loeïz Glondu, Anatole Lécuyer:
Combining Brain-Computer Interfaces and Haptics: Detecting Mental Workload to Adapt Haptic Assistance. - Hasni Neji, Ridha Bouallegue:
Roadmap for Establishing Interoperability of Heterogeneous Cellular Network Technologies -1-. - Jonathan Tapson, André van Schaik:
Learning the Pseudoinverse Solution to Network Weights. - Talita Perciano, Matthew W. Urban, Nelson D. A. Mascarenhas, Mostafa Fatemi, Alejandro César Frery, Glauber T. Silva:
Deconvolution of vibroacoustic images using a simulation model based on a three dimensional point spread function. - Kenza Guenda, T. Aaron Gulliver:
MDS and Self-dual Codes over Rings. - Kenza Guenda, T. Aaron Gulliver:
Construction of Cyclic Codes over $\mathbb{F}_2+u\mathbb{F}_2$ for DNA Computing. - Kenza Guenda, T. Aaron Gulliver:
Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields. - Xi Li, Anthony R. Dick, Chunhua Shen, Anton van den Hengel, Hanzi Wang:
Incremental Learning of 3D-DCT Compact Representations for Robust Visual Tracking. - Ali Shadvar:
Dimension Reduction by Mutual Information Feature Extraction. - Klaus M. Frahm, D. L. Shepelyansky:
Google matrix of Twitter. - Jonathan P. Bowen, Robin J. Wilson:
Visualising Virtual Communities: From Erdős to the Arts. - Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia:
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. - Nungleppam Monoranjan Singh, Kanak Chandra Sarma:
Design and Development of Low Cost PC Based Real Time Temperature and Humidity Monitoring System. - Matteo Ceriotti, Massimiliano Vasile, Giovanni Giardini, Mauro Massari:
An Approach to Model Interest for Planetary Rover through Dezert-Smarandache Theory. - Massimiliano Vasile:
Robust Mission Design Through Evidence Theory and Multi-Agent Collaborative Search. - Makarius Wenzel:
Isabelle/jEdit --- a Prover IDE within the PIDE framework. - Massimiliano Vasile, Edmondo A. Minisci, Quirien Wijnands:
Approximated Computation of Belief Functions for Robust Design Optimization. - James D. Currie:
Infinite ternary square-free words concatenated from permutations of a single word. - Petr N. Vabishchevich:
Flux-splitting schemes for parabolic problems. - Salvatore Talarico, Matthew C. Valenti, Don J. Torrieri:
Analysis and Optimization of a Frequency-Hopping Ad Hoc Network in Rayleigh Fading. - Mario Lomelí-Haro:
Minimal Convex Decompositions. - Gol Kim, Ri Suk Yun:
Optimal Selection of Assets Investing Composition Plan based on Grey Multi Objective Programming method. - Sebastian S. Bauer, Jean-Baptiste Raclet:
Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. EPTCS 87, 2012 [contents] - Michael Galetzka, Patrick O. Glauner:
A correct even-odd algorithm for the point-in-polygon (PIP) problem for complex polygons. - Boris Bellalta, Azadeh Faridi, Jaume Barceló, Vanesa Daza, Miquel Oliver:
Queueing Analysis in Multiuser Multi-Packet Transmission Systems Using Spatial Multiplexing. - Boris Bellalta, Azadeh Faridi, Dirk Staehle, Jaume Barceló, Alexey V. Vinel, Miquel Oliver:
Modeling a CSMA/CA MAC Protocol with Multi-packet Transmission/Reception in Non-saturated Conditions. - Quan Wang:
HMRF-EM-image: Implementation of the Hidden Markov Random Field Model and its Expectation-Maximization Algorithm. - Amin Gohari, Mohammad Hossein Yassaee, Mohammad Reza Aref:
Secure Channel Simulation. - Fabian Pedregosa, Alexandre Gramfort, Gaël Varoquaux, Bertrand Thirion, Christophe Pallier, Elodie Cauvet:
Improved brain pattern recovery through ranking approaches. - Leah Epstein, Asaf Levin, Rob van Stee:
A unified approach to truthful scheduling on related machines. - Yang Li, Pegah Kamousi, Fangqiu Han, Shengqi Yang, Xifeng Yan, Subhash Suri:
Memory Efficient De Bruijn Graph Construction. - Quan Wang:
Kernel Principal Component Analysis and its Applications in Face Recognition and Active Shape Models. - Mohammadreza Keyvanpour, Fereshteh Azizani:
Classification of Approaches and Challenges of Frequent Subgraphs Mining in Biological Networks. - Akisato Kimura, Masashi Sugiyama, Hitoshi Sakano, Hirokazu Kameoka:
Designing various component analysis at will. - Chathuranga Widanapathirana, Y. Ahmet Sekercioglu, Paul G. Fitzpatrick, Milosh V. Ivanovich, Jonathan C. Li:
Diagnosing client faults using SVM-based intelligent inference from TCP packet traces. - Yitong Yin, Chihao Zhang:
Approximate Counting via Correlation Decay on Planar Graphs. - Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
On the Equal-Rate Capacity of the AWGN Multiway Relay Channel. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
On the Capacity of the Binary-Symmetric Parallel-Relay Network. - S. Padmavathi, N. Archana, K. P. Soman:
Hierarchical Approach for Total Variation Digital Image Inpainting. - Derek Leong, Tracey Ho:
Erasure Coding for Real-Time Streaming. - Mahyuddin K. M. Nasution, Shahrul Azman Noah:
Information Retrieval Model: A Social Network Extraction Perspective. - Stepan Holub:
Abelian powers in paper-folding words. - Robert Crowston, Gregory Z. Gutin, Mark Jones:
Directed Acyclic Subgraph Problem Parameterized above Raman-Saurabh Bound. - Muhammad Aslam, Tauseef Shah, Nadeem Javaid, Azizur Rahim, Ziaur Rahman, Zahoor Ali Khan:
CEEC: Centralized Energy Efficient Clustering A New Routing Protocol for WSNs. - Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Distributability of Petri Nets. - Fabian Pedregosa, Alexandre Gramfort, Gaël Varoquaux, Elodie Cauvet, Christophe Pallier, Bertrand Thirion:
Learning to rank from medical imaging data. - Azizur Rahim, Nadeem Javaid, Muhammad Aslam, U. Qasim, Zahoor Ali Khan:
Adaptive-Reliable Medium Access Control Protocol for Wireless Body Area Networks. - Günce Keziban Orman, Vincent Labatut, Hocine Cherifi:
Qualitative Comparison of Community Detection Algorithms. - Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic:
Formalizing Frankl's Conjecture: FC-families. - Can Demirkesen, Hocine Cherifi:
Fusing image representations for classification using support vector machines. - Liam Roditty, Virginia Vassilevska Williams:
Approximating the diameter of a graph. - Sukanta Sinha, Rana Dattagupta, Debajyoti Mukhopadhyay:
Identify Web-page Content meaning using Knowledge based System for Dual Meaning Words. - H. A. Dinesha, V. K. Agrawa:
Multi-dimensional password generation technique for accessing cloud services. - Eduardo dos Santos Pereira, Oswaldo D. Miranda:
OGCOSMO: An auxiliary tool for the study of the Universe within hierarchical scenario of structure formation. - Ki-Hong Park, Mohamed-Slim Alouini:
Joint Filter Design of Alternate MIMO AF Relaying Networks with Interference Alignment. - Eduardo dos Santos Pereira, Oswaldo D. Miranda:
Programing Using High Level Design With Python and FORTRAN: A Study Case in Astrophysics. - Simina Brânzei, Tomasz P. Michalak, Talal Rahwan, Kate Larson, Nicholas R. Jennings:
Matching Games with Additive Externalities. - Nihel Ben Youssef Ben Souayeh, Adel Bouhoula:
Formal Checking of Multiple Firewalls. - Yazan Ibdah, Yanwu Ding:
Statistical Simulation Models for Cascaded Rayleigh Fading Channels. - Serguei A. Mokhov, Joey Paquet, Mourad Debbabi, Yankui Sun:
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV. - Joan Feigenbaum, Brighten Godfrey, Aurojit Panda, Michael Schapira, Scott Shenker, Ankit Singla:
On the Resilience of Routing Tables. - Jinsung Lee, Yung Yi, Song Chong, Bruno Nardelli, Edward W. Knightly, Mung Chiang:
Making 802.11 DCF Optimal: Design, Implementation, and Evaluation. - Moses A. Boudourides:
Communities in Affiliation Networks with Attitudunal Actors. - Önder Gürcan, Carole Bernon, Kemal S. Türker:
Towards a Self-Organized Agent-Based Simulation Model for Exploration of Human Synaptic Connections. - David Eppstein:
The Graphs of Planar Soap Bubbles. - Vincent Labatut, Hocine Cherifi:
Accuracy Measures for the Comparison of Classifiers. - Hao-Hsiang Hung:
Light Spanner and Monotone Tree. - Julian J. McAuley, Jure Leskovec:
Image Labeling on a Network: Using Social-Network Metadata for Image Classification. - Ben C. Moszkowski:
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time. - Chunyan Wang, Bernardo A. Huberman:
How Random are Online Social Interactions? - Lawrence Ong, Mehul Motani, Sarah J. Johnson:
On Capacity and Optimal Scheduling for the Half-Duplex Multiple-Relay Channel. - Gol Kim, Yunchol Jong, Sifeng Liu, Choe Rim Shong:
Hybrid Grey Interval Relation Decision-Making in Artistic Talent Evaluation of Player. - Ulugbek Kamilov, Sundeep Rangan, Alyson K. Fletcher, Michael Unser:
Approximate Message Passing with Consistent Parameter Estimation and Applications to Sparse Learning. - Nitin Yadav, Sebastian Sardiña:
Qualitative Approximate Behavior Composition. - Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. - Md. Golam Rashed, M. Hasnat Kabir, Muhammad Sajjadur Rahim, Shaikh Enayet Ullah:
CBHRP: A Cluster Based Routing Protocol for Wireless Sensor Network. - Saleh Masum, M. Hasnat Kabir, Md. Matiqul Islam, Rifat Ara Shams, Shaikh Enayet Ullah:
Impact of Different Spreading Codes Using FEC on DWT Based MC-CDMA System. - Chathuranga Widanapathirana, Y. Ahmet Sekercioglu, Milosh V. Ivanovich, Paul G. Fitzpatrick, Jonathan C. Li:
Automated Inference System for End-To-End Diagnosis of Network Performance Issues in Client-Terminal Devices. - Md. Matiqul Islam, M. Hasnat Kabir, Shaikh Enayet Ullah:
Performance Analysis of Wavelet Based MC-CDMA System with Implementation of Various Antenna Diversity Schemes. - Youssef Atat, Mostafa Rizk:
Top Down Approach: SIMULINK Mixed Hardware / Software Design. - Nitin Yadav, Sebastian Sardiña:
Reasoning about Agent Programs using ATL-like Logics. - Md. Golam Rashed, M. Hasnat Kabir, Md. Selim Reza, Md. Matiqul Islam, Rifat Ara Shams, Saleh Masum, Shaikh Enayet Ullah:
Transmission of Voice Signal: BER Performance Analysis of Different FEC Schemes Based OFDM System over Various Channels. - Md. Golam Rashed, M. Hasnat Kabir, Muhammad Sajjadur Rahim, Shaikh Enayet Ullah:
Cluster Based Hierarchical Routing Protocol for Wireless Sensor Network. - Jun Fang, Hongbin Li:
A New Determinant Inequality of Positive Semi-Definite Matrices. - Abuzer Yakaryilmaz:
One-counter verifiers for decidable languages. - Md. Golam Rashed, M. Hasnat Kabir, Shaikh Enayet Ullah:
WEP: An Energy Efficient Protocol for Cluster Based Heterogeneous Wireless Sensor Network. - Rifat Ara Shams, M. Hasnat Kabir, Shaikh Enayet Ullah:
Effect of Interleaved FEC Code on Wavelet Based MC-CDMA System with Alamouti STBC in Different Modulation Schemes. - (Withdrawn) On lexicographic Groebner bases of radical ideals in dimension zero: interpolation and structure.
- Munsu Ju, Yunchol Jong:
Fast View Frustum Culling of Spatial Object by Analytical Bounding Bin. - Pasquale Panuzzo, Jinjing Li, Emmanuel Caux:
PlotXY: a high quality plotting system for the Herschel Interactive Processing Environment (HIPE), and the astronomical community. - Kishorjit Nongmeikapam, Vidya Raj RK, Oinam Imocha Singh, Sivaji Bandyopadhyay:
Automatic Segmentation of Manipuri (Meiteilon) Word into Syllabic Units. - Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Vincenzo Roselli:
Beyond Clustered Planarity. - Julien Henry, David Monniaux, Matthieu Moy:
PAGAI: a path sensitive static analyzer. - Mohammad Reza Jabbarpour Sattari, Rafidah Md Noor, Hassan Keshavarz:
A Taxonomy for Congestion Control Algorithms in Vehicular Ad Hoc Networks. - Alejandro César Frery, Julio Jacobo-Berlles, Juliana Gambini, Marta Mejail:
Polarimetric SAR Image Segmentation with B-Splines and a New Statistical Model. - Helmut Alt, Ludmila Scharf:
Computation of the Hausdorff distance between sets of line segments in parallel. - Liang Shen:
Developments and Obstacles in Chinese eBook Market. - Abhash Anand, Surender Baswana, Manoj Gupta, Sandeep Sen:
Maintaining Approximate Maximum Weighted Matching in Fully Dynamic Graphs. - Xiaoran Yan, Jacob E. Jensen, Florent Krzakala, Cristopher Moore, Cosma Rohilla Shalizi, Lenka Zdeborová, Pan Zhang, Yaojia Zhu:
Model Selection for Degree-corrected Block Models. - Shohreh Sharif Mansouri, Elena Dubrova:
Ring Oscillator Physical Unclonable Function with Multi Level Supply Voltages. - Luca Canzian, Yuanzhang Xiao, William R. Zame, Michele Zorzi, Mihaela van der Schaar:
Designing Information Revelation and Intervention with an Application to Flow Control. - Rajesh Hemant Chitnis, Marek Cygan, MohammadTaghi Hajiaghayi, Marcin Pilipczuk, Michal Pilipczuk:
Designing FPT algorithms for cut problems using randomized contractions. - Sathish Govindarajan, Abhijeet Khopkar:
On Locally Gabriel Geometric Graphs. - Matthew C. Valenti, Don J. Torrieri, Salvatore Talarico:
Optimization of a Finite Frequency-Hopping Ad Hoc Network in Nakagami Fading. - (Withdrawn) Mechanism Design in Large Games: Incentives and Privacy.
- Mehrdad J. Gangeh, Robert P. W. Duin, Bart M. ter Haar Romeny, Mohamed S. Kamel:
A Two-Stage Combined Classifier in Scale Space Texture Classification. - Spyros Chatzivasileiadis, Damien Ernst, Göran Andersson:
The Global Grid. - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems. - Weiyu Xu, Er-Wei Bai:
Toeplitz Matrix Based Sparse Error Correction in System Identification. - Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. - Amy Greenwald, Justin A. Boyan:
Bidding under Uncertainty: Theory and Experiments. - Vibhav Gogate, Rina Dechter:
A Complete Anytime Algorithm for Treewidth. - Amir Globerson, Naftali Tishby:
The Minimum Information Principle for Discriminative Learning. - Phan Hong Giang, Sathyakama Sandilya:
Decision Making for Symbolic Probability. - Luis David Garcia:
Algebraic Statistics in Model Selection. - Alex Gammerman, Yuri Kalnishkan, Vladimir Vovk:
On-line Prediction with Kernels and the Complexity Approximation Principle. - Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. - Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, Richard Washington:
Dynamic Programming for Structured Continuous Markov Decision Problems. - Zhengzhu Feng, Shlomo Zilberstein:
Region-Based Incremental Pruning for POMDPs. - Didier Dubois, Hélène Fargier:
A Unified framework for order-of-magnitude confidence relations. - Rina Dechter, Robert Mateescu:
Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space. - Peter R. de Waal, Linda C. van der Gaag:
Stable Independance and Complexity of Representation. - Fábio Gagliardi Cozman, Cassio Polpo de Campos, Jaime Shinsuke Ide, José Carlos Ferreira da Rocha:
Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments. - Carlos Iván Chesñevar, Guillermo Ricardo Simari, Teresa Alsinet, Lluís Godo:
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. - Hei Chan, Adnan Darwiche:
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. - Wray L. Buntine, Aleks Jakulin:
Applying Discrete PCA in Data Analysis. - Ronen I. Brafman, Carmel Domshlak, Tanya Kogan:
Compact Value-Function Representations for Qualitative Preferences. - Bozhena Bidyuk, Rina Dechter:
On finding minimal w-cutset. - Navin A. R. Bhat, Kevin Leyton-Brown:
Computing Nash Equilibria of Action-Graph Games. - Dragomir Anguelov, Daphne Koller, Hoi-Cheung Pang, Praveen Srinivasan, Sebastian Thrun:
Recovering Articulated Object Models from 3D Range Data. - Leila Amgoud, Henri Prade:
Using arguments for making decisions: A possibilistic logic approach. - Yasemin Altun, Alexander J. Smola, Thomas Hofmann:
Exponential Families for Conditional Random Fields. - Rodney D. Nielsen:
MOB-ESP and other Improvements in Probability Estimation. - Iftach Nachman, Gal Elidan, Nir Friedman:
"Ideal Parent" Structure Learning for Continuous Variable Networks. - Iain Murray, Zoubin Ghahramani:
Bayesian Learning in Undirected Graphical Models: Approximate MCMC algorithms. - David A. McAllester, Michael Collins, Fernando Pereira:
Case-Factor Diagrams for Structured Probabilistic Modeling. - Yongyi Mao, Frank R. Kschischang, Brendan J. Frey:
Convolutional Factor Graphs as Probabilistic Models. - Anders L. Madsen:
An Empirical Evaluation of Possible Variations of Lazy Propagation. - Omid Madani, Daniel J. Lizotte, Russell Greiner:
Active Model Selection. - Guy Lebanon:
An Extended Cencov-Campbell Characterization of Conditional Information Geometry. - Ludmila Kuncheva, Christopher J. Whitaker, Peter D. Cockcroft, Z. S. J. Hoare:
Pre-Selection of Independent Binary Features: An Application to Diagnosing Scrapie in Sheep. - Sergey Kirshner, Padhraic Smyth, Andrew Robertson:
Conditional Chow-Liu Tree Structures for Modeling Discrete-Valued Vector Time Series. - Joseph Kahn:
A Generative Bayesian Model for Aggregating Experts' Probabilities. - Rong Jin, Luo Si:
A Bayesian Approach toward Active Learning for Collaborative Filtering. - Nathanael Hyafil, Craig Boutilier:
Regret Minimizing Equilibria and Mechanisms for Games with Strict Type Uncertainty. - Andrew G. Howard, Tony Jebara:
Dynamical Systems Trees. - Carlos Guestrin, Milos Hauskrecht, Branislav Kveton:
Solving Factored MDPs with Continuous and Discrete Variables. - Mukund Narasimhan, Jeff A. Bilmes:
PAC-learning bounded tree-width Graphical Models. - C. Lawrence Zitnick, Takeo Kanade:
Maximum Entropy for Collaborative Filtering. - Changhe Yuan, Tsai-Ching Lu, Marek J. Druzdzel:
Annealed MAP. - Huizhen Yu, Dimitri P. Bertsekas:
Discretized Approximations for POMDP with Average Cost. - Xuejian Xiong, Kap Luk Chan, Kian-Lee Tan:
Similarity-Driven Cluster Merging Method for Unsupervised Fuzzy Clustering. - Eric P. Xing, Michael I. Jordan, Stuart Russell:
Graph partition strategies for generalized mean field inference. - Ben Wellner, Andrew McCallum, Fuchun Peng, Michael Hay:
An Integrated, Conditional Model of Information Extraction and Coreference with Applications to Citation Matching. - Max Welling:
On the Choice of Regions for Generalized Belief Propagation. - Linda C. van der Gaag, Hans L. Bodlaender, Ad Feelders:
Monotonicity in Bayesian Networks. - Jin Tian:
Identifying Conditional Causal Effects. - Moshe Tennenholtz:
Reputation Systems: An Axiomatic Approach. - Chris Stauffer:
Factored Latent Analysis for far-field tracking data. - Rann Smorodinsky, Moshe Tennenholtz:
Sequential Information Elicitation in Multi-Agent Systems. - Trey Smith, Reid G. Simmons:
Heuristic Search Value Iteration for POMDPs. - Satinder Singh, Michael R. James, Matthew R. Rudary:
Predictive State Representations: A New Theory for Modeling Dynamical Systems. - Lenhart K. Schubert:
A New Characterization of Probabilities in Bayesian Networks. - Michal Rosen-Zvi, Thomas L. Griffiths, Mark Steyvers, Padhraic Smyth:
The Author-Topic Model for Authors and Documents. - Silja Renooij, Linda C. van der Gaag:
Evidence-invariant Sensitivity Bounds. - Daniel M. Reeves, Michael P. Wellman:
Computing Best-Response Strategies in Infinite Games of Incomplete Information. - Pradeep Ravikumar, John D. Lafferty:
Variational Chernoff Bounds for Graphical Models. - Judea Pearl:
Robustness of Causal Claims. - Mark A. Paskin, Carlos Guestrin:
Robust Probabilistic Inference in Distributed Systems. - Alon Orlitsky, Narayana P. Santhanam, Krishnamurthy Viswanathan, Junan Zhang:
On Modeling Profiles instead of Values. - Valentina Bayer Zubek:
Learning Diagnostic Policies from Examples by Systematic Search. - Barry R. Cobb, Prakash P. Shenoy:
Hybrid Influence Diagrams Using Mixtures of Truncated Exponentials. - Nebojsa Jojic, Yaron Caspi, Manuel Reyes-Gomez:
Probabilistic index maps for modeling natural signals. - Pradeep Ravikumar, William W. Cohen:
A Hierarchical Graphical Model for Record Linkage. - Mohammad Nabil Almunawar:
Acquiring IT Solutions through Open Source Software. - Minqi Shen, Anders Høst-Madsen:
The Wideband Slope of Interference Channels: The Small Bandwidth Case. - Behrang Nosrat-Makouei, Radha Krishna Ganti, Jeffrey G. Andrews, Robert W. Heath Jr.:
MIMO Interference Alignment in Random Access Networks. - Jean Honorio, Dimitris Samaras:
Simultaneous and Group-Sparse Multi-Task Learning of Gaussian Graphical Models. - Lin Chen, Athanasios V. Vasilakos:
Joint Rate Adaptation and Medium Access in Wireless LANs: a Non-cooperative Game Theoretic Perspective. - Mohammad Nabil Almunawar:
Content Based Multimedia Information Retrieval to Support Digital Libraries. - Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differentially Private Iterative Synchronous Consensus. - Ibrahim Sabek, Moustafa Youssef:
Spot: An accurate and efficient multi-entity device-free WLAN localization system. - Alexander Gutfraind, Lauren Ancel Meyers, Ilya Safro:
Multiscale Network Generation. - Uli Fahrenberg, Axel Legay:
A Robust Specification Theory for Modal Event-Clock Automata. 5-16 - Louis-Marie Traonouez:
A Parametric Counterexample Refinement Approach for Robust Timed Specifications. 17-33 - Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski:
Refinement for Transition Systems with Responses. 48-55 - Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
Sequentializing Parameterized Programs. 34-47 - Jyotirmoy Karjee, H. S. Jamadagni:
Spatio-Temporal Data Correlation with Adaptive Strategies in Wireless Sensor Networks. - Jörg Brauer, Andy King:
Transfer Function Synthesis without Quantifier Elimination. - Salvatore Iaconesi, Oriana Persico:
ConnectiCity, augmented perception of the city. - Mohammad Nabil Almunawar:
Securing Electronic Transactions to Support E-Commerce. - Piotr Bródka, Przemyslaw Kazienko, Katarzyna Musial, Krzysztof Skibicki:
Analysis of Neighbourhoods in Multi-layered Dynamic Social Networks. - Piotr Bródka, Stanislaw Saganowski, Przemyslaw Kazienko:
GED: the method for group evolution discovery in social networks. - Artur Ventura, Nuno Diegues, David Martins de Matos:
Frame Interpretation and Validation in a Open Domain Dialogue System. - María E. Buemi, Marta Mejail, Julio C. Jacobo, Alejandro César Frery, Heitor S. Ramos:
Assessment of SAR Image Filtering using Adaptive Stack Filters. - Johannes M. Dieterich, Bernd Hartke:
Empirical review of standard benchmark functions using evolutionary global optimization. - Zeno Toffano, Bich-Liên Doan:
Quantum-like Tests for Contextual Querying. - Gregory Bonik, Sergei A. Goreinov, Nickolai L. Zamarashkin:
Construction and analysis of polar and concatenated polar codes: practical approach. - Zeev Nutov:
Approximating minimum-cost edge-covers of crossing biset-families. - Klaus Berberich, Srikanta J. Bedathur:
Computing n-Gram Statistics in MapReduce. - Venkatesan Guruswami, Ali Kemal Sinop:
Faster SDP hierarchy solvers for local rounding algorithms. - Zhewei Wei, Ke Yi:
The Space Complexity of 2-Dimensional Approximate Range Counting. - Zhewei Wei, Ke Yi:
Equivalence between Priority Queues and Sorting in External Memory. - Mingyi Hong, Alfredo García, Jorge Barrera, Stephen G. Wilson:
Joint Access Point Selection and Power Allocation for Uplink Wireless Networks. - Yoshua Bengio, Grégoire Mesnil, Yann N. Dauphin, Salah Rifai:
Better Mixing via Deep Representations. - Jingwei Liu, Meizhi Xu:
Penalty Constraints and Kernelization of M-Estimation Based Fuzzy C-Means. - Liang Dai, Kristiaan Pelckmans:
On the Nuclear Norm heuristic for a Hankel matrix Recovery Problem. - Vesna Marinkovic, Predrag Janicic:
Towards Understanding Triangle Construction Problems. - Fabio Daolio, Marco Tomassini, Sébastien Vérel, Gabriela Ochoa:
Communities of Minima in Local Optima Networks of Combinatorial Spaces. - Bilel Derbel, Sébastien Vérel:
DAMS: Distributed Adaptive Metaheuristic Selection. - Marie-Eléonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Vérel:
NILS: a Neutrality-based Iterated Local Search and its application to Flowshop Scheduling. - Sébastien Vérel, Arnaud Liefooghe, Clarisse Dhaenens:
Set-based Multiobjective Fitness Landscapes: A Preliminary Study. - Sébastien Vérel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens:
Pareto Local Optima of Multiobjective NK-Landscapes with Correlated Objectives.