Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, November 2011
- Aman Chadha, Divya Jyoti, M. Mani Roja:
Text-Independent Speaker Recognition for Low SNR Environments with Encryption. - Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras:
Reasoning with Very Expressive Fuzzy Description Logics. - Chu Min Li, Felip Manyà, Jordi Planes:
New Inference Rules for Max-SAT. - Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. - Boi Faltings, Radu Jurca:
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms. - Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. - Indrajit Bhattacharya, Lise Getoor:
Query-time Entity Resolution. - Jonathan Bredin, Quang Duong, David C. Parkes:
Chain: A Dynamic Double Auction Framework for Matching Patient Agents. - François Mairesse, Rashmi Prasad, Amanda Stent, Marilyn A. Walker:
Individual and Domain Adaptation in Sentence Planning for Dialogue. - Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. - George Macleod Coghill, Ross D. King, Ashwin Srinivasan:
Qualitative System Identification from Imperfect Data. - Malcolm R. K. Ryan:
Exploiting Subgraph Structure in Multi-Robot Path Planning. - Yulin Ding, Yan Zhang:
CTL Model Update for System Modifications. - Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Extended RDF as a Semantic Foundation of Rule Markup Languages. - Omer Giménez, Anders Jonsson:
The Complexity of Planning Problems With Simple Causal Graphs. - Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati:
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective. - Daria Terekhov, J. Christopher Beck:
A Constraint Programming Approach for Solving a Queueing Control Problem. - Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos Vlassis:
Optimal and Approximate Q-value Functions for Decentralized POMDPs. - Jiri Barnat, Keijo Heljanko
:
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. EPTCS 72, 2011 [contents] - Claudia V. Goldman, Shlomo Zilberstein:
Communication-Based Decomposition Mechanisms for Decentralized MDPs. - Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Zahavi, Ariel Felner:
A General Theory of Additive State Space Abstractions. - Chenggang Wang, Saket Joshi, Roni Khardon:
First Order Decision Diagrams for Relational MDPs. - Yiwei Song, Natasha Devroye:
Lattice codes for the Gaussian relay channel: Decode-and-Forward and Compress-and-Forward. - Andreas Abel, Nicolai Kraus:
A Lambda Term Representation Inspired by Linear Ordered Logic. 1-13 - Maxime Beauquier, Carsten Schürmann:
A Bigraph Relational Model. 14-28 - Mathieu Boespflug, Brigitte Pientka:
Multi-level Contextual Type Theory. 29-43 - Ranald Clouston:
Nominal Logic with Equations Only. 44-57 - Murdoch James Gabbay, Dominic P. Mulligan:
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets. 58-75 - Alan J. Martin, Amy P. Felty:
An Improved Implementation and Abstract Interface for Hybrid. 76-90 - Manosij Ghosh Dastidar, Sourav Sen Gupta:
Generalization of a few results in Integer Partitions. - Gyesik Lee, Benjamin Werner:
Proof-irrelevant model of CC with predicative induction and judgmental equality. - Quan Quan, Hai Lin, Kai-Yuan Cai:
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input. - Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
A secure additive protocol for card players. - Sanaa Elyassami, Ali Idri:
Applying Fuzzy ID3 Decision Tree for Software Effort Estimation. - Kasra Haghighi, Erik G. Ström, Erik Agrell:
On Optimum Causal Cognitive Spectrum Reutilization Strategy. - Carlos Aguilar Melchor, Philippe Gaborit, Jon-Lark Kim, Lin Sok, Patrick Solé:
Classification of extremal and $s$-extremal binary self-dual codes of length 38. - Shuvatov Talgat, Suleimenov Batrbek:
Gas turbine diagnostic system. - Anita Sobe, Wilfried Elmenreich, László Böszörményi:
Storage Balancing in Self-organizing Multimedia Delivery Systems. - Roman V. Yampolskiy:
Construction of an NP Problem with an Exponential Lower Bound. - Zeinab Abbassi, Christina Aperjis, Bernardo A. Huberman:
Swayed by Friends or by the Crowd? - Yoann Dieudonné, Andrzej Pelc:
Deterministic gathering of anonymous agents in arbitrary networks. - Adrian Yanes:
OpenWeather: a peer-to-peer weather data transmission protocol. - Mishari Al Mishari, Gene Tsudik:
Exploring Linkablility of Community Reviewing. - Brian Kulis, Michael I. Jordan:
Revisiting k-means: New Algorithms via Bayesian Nonparametrics. - Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. 1-12 - Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search. 13-28 - Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. 30-42 - Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger:
Lazy Decomposition for Distributed Decision Procedures. 43-54 - Temesghen Kahsai, Cesare Tinelli:
PKind: A parallel k-induction based model checker. 55-62 - Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. 63-67 - Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker. 84-90 - Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration. 91-98 - Christina Boucher, Christine Lo, Daniel Lokshtanov:
Outlier Detection for DNA Fragment Assembly. - (Withdrawn) An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks.
- Jaydip Sen:
A Distributed Intrusion Detection System Using Cooperating Agents. - Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy:
A Distributed Protocol for Detection of Packet Dropping Attack in Mobile Ad Hoc Networks. - Jaydip Sen, M. Girish Chandra, Harihara S. G., Harish Reddy, P. Balamuralidhar:
A Mechanism for Detection of Gray Hole Attack in Mobile Ad Hoc Networks. - Jaydip Sen, Sripad Koilakonda, Arijit Ukil:
A Mechanism for Detection of Cooperative Black Hole Attack in Mobile Ad Hoc Networks. - Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the long code shorter, with applications to the Unique Games Conjecture. - Pekka Kilpeläinen:
Inclusion of Unambiguous RE#s is NP-Hard. - (Withdrawn) A Stochastic Net Model for Controlling Bullwhip Effect in Virtual Multi-Tier Retail Network.
- Sangkyun Lee, Stephen J. Wright:
Approximate Stochastic Subgradient Estimation Training for Support Vector Machines. - Laurent Bulteau, Guillaume Fertin, Irena Rusu:
Pancake Flipping is Hard. - Michael M. Bronstein:
Kernel diff-hash. - Michal Skrzypczak:
Equational theories of profinite structures. - Rafael Grimson, Joos Heintz, Bart Kuijpers:
Evaluating geometric queries using few arithmetic operations. - Serge Kernbach, Kristof Jebens:
Development of a Cost-efficient Autonomous MAV for an Unstructured Indoor Environment. - Francesco Pantisano, Mehdi Bennis, Walid Saad, Mérouane Debbah:
Spectrum Leasing as an Incentive towards Uplink Macrocell and Femtocell Cooperation. - Jeannette C. M. Janssen, Pawel Pralat, Rory Wilson:
Geometric Graph Properties of the Spatial Preferred Attachment model. - Shayan Ehsani, MohammadAmin Fazli, Abbas Mehrabian, Sina Sadeghian Sadeghabad, MohammadAli Safari, Morteza Saghafian, Saber ShokatFadaee:
On a Bounded Budget Network Creation Game. - Sergio España, Nelly Condori-Fernández, Roel J. Wieringa, Arturo González, Oscar Pastor:
Model-driven system development: Experimental design and report of the pilot experiment. - Jungyun Bae, Sivakumar Rathinam:
A Primal Dual Algorithm for a Heterogeneous Traveling Salesman Problem. - Marek Cygan, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström:
Clique cover and graph separation: New incompressibility results. - Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, Nitin Saxena:
Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits. - Andrea Clementi, Riccardo Silvestri, Luca Trevisan:
Information Spreading in Dynamic Graphs. - Andrey Nikolaev:
Exploring Oracle RDBMS latches using Solaris DTrace. - Shurui Huang, Aditya Ramamoorthy:
An achievable region for the double unicast problem based on a minimum cut analysis. - Moritz Hardt, Aaron Roth:
Beating Randomized Response on Incoherent Matrices. - Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA. 68-83 - Mohamed A. El-Zawawy, Hamada A. Nayel:
Partial Redundancy Elimination for Multi-threaded Programs. - Mojtaba Vaezi, Fabrice Labeau:
Lossy Distributed Source Coding Using Real-Number Codes. - Michael A. Forbes, Amir Shpilka:
On Identity Testing of Tensors, Low-rank Recovery and Compressed Sensing. - Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan:
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems. - Jinjing Jiang, Neeharika Marukala, Tie Liu:
Symmetrical Multilevel Diversity Coding with an All-Access Encoder. - Chuan Zhang, Keshab K. Parhi:
Efficient Network for Non-Binary QC-LDPC Decoder. - Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Reduced-Latency SC Polar Decoder Architectures. - Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Low-Latency SC Decoder Architectures for Polar Codes. - Hervé Kerivin, Jimmy Leblet, Gwendal Simon, Fen Zhou:
Maximum Bounded Rooted-Tree Packing Problem. - Yige Wang, Stark C. Draper, Jonathan S. Yedidia:
Hierarchical and High-Girth QC LDPC Codes. - Pannagadatta K. Shivaswamy, Thorsten Joachims:
Online Learning with Preference Feedback. - Evan Everett, Debashis Dash, Chris Dick, Ashutosh Sabharwal:
Self-Interference Cancellation in Multi-hop Full-Duplex Networks via Structured Signaling. - Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points. - Andrew N. Jackson:
Using Automated Dependency Analysis To Generate Representation Information. - Maxim Vashkevich, Wanggen Wan, Alexander A. Petrovsky:
Practical design of multi-channel oversampled warped cosine-modulated filter banks. - Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Towards "Intelligent Compression" in Streams: A Biased Reservoir Sampling based Bloom Filter Approach. - Ankur Narang, Sourav Dutta, Souvik Bhattacherjee:
Multidimensional Balanced Allocation for Multiple Choice & (1 + Beta) Processes. - Susanne Albers, Matthias Hellwig:
On the Value of Job Migration in Online Makespan Minimization. - Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Perfectly Balanced Allocation With Estimated Average Using Approximately Constant Retries. - Stefan Z. Stefanov:
Quantum/Relativistic Computation of Security and Efficiency of Electrical Power System for a Day-Ahead: I. Renormalization. - Ichrak Amdouni, Pascale Minet, Cédric Adjih:
OSERENA, an Optimized Coloring Algorithm for Dense or Large Scale Wireless Networks. - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. - Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin:
Quantitative Languages Defined by Functional Automata. - Ankit Chaudhary, Jagdish Lal Raheja:
A Formal Approach for Agent Based Large Concurrent Intelligent Systems. - Serge Kernbach:
Collective Energy Foraging of Robot Swarms and Robot Organisms. - (Withdrawn) Game Theoretic Iterative Partitioning for Dynamic Load Balancing in Distributed Network Simulation.
- Tiphaine Phe-Neau, Marcelo Dias de Amorim, Vania Conan:
Using Neighborhood Beyond One Hop in Disruption-Tolerant Networks. - Roozbeh Rajabi, Mahdi Khodadadzadeh, Hassan Ghassemian:
Graph Regularized Nonnegative Matrix Factorization for Hyperspectral Data Unmixing. - Maria-Florina Balcan, Eric Blais, Avrim Blum, Liu Yang:
Active Testing. - Yang Yu, Chao Qian, Zhi-Hua Zhou:
Towards Analyzing Crossover Operators in Evolutionary Search via General Markov Chain Switching Theorem. - Mihai Cucuringu, Vincent D. Blondel, Paul Van Dooren:
Extracting spatial information from networks with low-order eigenvectors. - Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Comparison of different Propagation Steps for the Lattice Boltzmann Method. - Marcus Ritt, Alysson M. Costa:
A comparison of formulations for the simple assembly line balancing problem. - Ashwin Rao, Yeon-Sup Lim, Chadi Barakat, Arnaud Legout, Don Towsley, Walid Dabbous:
Network Characteristics of Video Streaming Traffic. - Sanjeev Arora, Rong Ge, Ravi Kannan, Ankur Moitra:
Computing a Nonnegative Matrix Factorization -- Provably. - Anand Louis, Prasad Raghavendra, Prasad Tetali, Santosh S. Vempala:
Many Sparse Cuts via Higher Eigenvalues. - Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads. - John Wright, Arvind Ganesh, Allen Y. Yang, Zihan Zhou, Yi Ma:
Sparsity and Robustness in Face Recognition. - Nima Noorshams, Martin J. Wainwright:
Stochastic Belief Propagation: Low-Complexity Message-Passing with Guarantees. - Carlos Alberto Fernández y Fernández, Martín José José:
Towards the integration of formal specification in the Áncora methodology. - David L. Donoho, Iain M. Johnstone, Andrea Montanari:
Accurate Prediction of Phase Transitions in Compressed Sensing via a Connection to Minimax Denoising. - Mohamad Charafeddine, Aydin Sezgin, Zhu Han, Arogyaswami Paulraj:
Achievable and Crystallized Rate Regions of the Interference Channel with Interference as Noise. - Jung Hoon Lee, Wan Choi, David J. Love:
Achievable DoF and Its User Scaling Law for Opportunistic User Selection in a $K$-transmitter SIMO Interference Channel. - Alex Skvortsov, Branko Ristic:
Modelling and Performance analysis of a Network of Chemical Sensors with Dynamic Collaboration. - Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Differential Resultant for Laurent Differential Polynomials. - Aman Chadha, Divya Jyoti, M. G. Bhatia:
Design and Simulation of an 8-bit. - Divya Jyoti, Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
A robust, low-cost approach to Face Detection and Face Recognition. - Sabu M. Thampi, Ann Jisma Jacob:
Securing Biometric Images using Reversible Watermarking. - Serge Kernbach:
On Three Challenges of Artificial Living Systems and Embodied Evolution. - Tobias Kretz, Stefan Hengst, Antonia Pérez Arias, Simon Friedberger, Uwe D. Hanebeck:
Using a Telepresence System to Investigate Route Choice Behavior. - Martin Grohe, Dániel Marx:
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs. - Lisa Hellerstein, Devorah Kletenik, Linda Sellie, Rocco A. Servedio:
Tight Bounds on Proper Equivalence Query Learning of DNF. - Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Domain decomposition and locality optimization for large-scale lattice Boltzmann simulations. - Dan Garber, Elad Hazan:
Universal MMSE Filtering With Logarithmic Adaptive Regret. - Amos Lapidoth, Ligong Wang:
The State-Dependent Semideterministic Broadcast Channel.