default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, October 2012
- Guangming Lang, Qingguo Li:
An algorithm for constructing the homomorphism between fuzzy relation information systems. - Denis S. Krotov:
A partition of the hypercube into cosets of maximally nonparallel Hamming codes. - Artiom Kovnatsky, Michael M. Bronstein, Alexander M. Bronstein, Klaus Glashoff, Ron Kimmel:
Coupled quasi-harmonic bases. - Parikshit Gopalan, Raghu Meka, Omer Reingold, Luca Trevisan, Salil P. Vadhan:
Better Pseudorandom Generators from Milder Pseudorandom Restrictions. - Elkebir Sarhrouni, Ahmed Hammouch, Driss Aboutajdine:
Dimensionality Reduction and Classification feature using Mutual Information applied to Hyperspectral Images : A Filter strategy based algorithm. - Sander Wozniak, Michael Rossberg, Franz Girlich, Guenter Schaefer:
Geocast into the Past: Towards a Privacy-Preserving Spatiotemporal Multicast for Cellular Networks. - (Withdrawn) Granular association rule mining through parametric rough sets for cold start recommendation.
- Jing Zhang:
A Literature Survey of Cooperative Caching in Content Distribution Networks. - Aiping Huang, William Zhu:
Topological characterizations to three types of covering approximation operators. - Aiping Huang, William Zhu:
Geometric lattice structure of covering-based rough sets through matroids. - Peter Sunehag, Marcus Hutter:
Optimistic Agents are Asymptotically Optimal. - Hajime Matsui:
Decoding a Class of Affine Variety Codes with Fast DFT. - Hamed Pezeshki, Xiangyun Zhou, Behrouz Maham:
Jamming Energy Allocation in Training-Based Multiple Access Systems. - (Withdrawn) Test-cost-sensitive attribute reduction of data with normal distribution measurement errors.
- Imran Shafique Ansari
, Ferkan Yilmaz, Mohamed-Slim Alouini:
On the Sum of Squared η-μRandom Variates With Application to the Performance of Wireless Communication Systems. - (Withdrawn) Demosaicing and Superresolution for Color Filter Array via Residual Image Reconstruction and Sparse Representation.
- Jürgen Schmidhuber:
Self-Delimiting Neural Networks. - Till Hoffmann, Renaud Lambiotte, Mason A. Porter:
Decentralized Routing on Spatial Networks with Stochastic Edge Weights. - Vincent D. Blondel, Markus Esch, Connie Chan, Fabrice Clérot, Pierre Deville, Etienne Huens, Frédéric Morlot, Zbigniew Smoreda, Cezary Ziemlicki:
Data for Development: the D4D Challenge on Mobile Phone Data. - Jiadong Wang, Guiqiang Dong, Thomas A. Courtade, Hari Shankar, Tong Zhang, Richard D. Wesel:
LDPC Decoding with Limited-Precision Soft Information in Flash Memories. - Yu-Wei Chu, Chih-Hua Tai, Ming-Syan Chen, Philip S. Yu:
Implementation of Privacy-preserving SimRank over Distributed Information Network. - Mohammed Y. Aalsalem, Wazir Zada Khan, Quratul-Ain Arshad:
A Low Cost Vision Based Hybrid Fiducial Mark Tracking Technique for Mobile Industrial Robots. - Avishay Maya, Noam Nisan:
Incentive Compatible Two Player Cake Cutting. - Song-Nam Hong, Giuseppe Caire:
Lattice Coding Strategies for Cooperative Distributed Antenna Systems. - A. A. Waskita, Heru Suhartanto, Zaenal Akbar, Laksana Tri Handoko:
Exhaustive Search-based Model for Hybrid Sensor Network. - Rohini S. Hallikar, Uttara Kumari, K. Padmaraju:
A novel method for obtaining a better quality speech signal for cochlear Implants using kalman with drnl and ssb technique. - Sandeep Gupta:
External Memory based Distributed Generation of Massive Scale Social Networks on Small Clusters. - Ning Chen, Xiaotie Deng, Paul W. Goldberg, Jinshan Zhang:
On Revenue Maximization with Sharp Multi-Unit Demands. - Sanjay Singh, M. Sathish Kumar, H. S. Mruthyunjaya:
A New Generalized Closed Form Expression for Average Bit Error Probability Over Rayleigh Fading Channel. - Xujin Chen, Benjamin Doerr, Xiaodong Hu, Weidong Ma, Rob van Stee, Carola Winzen:
The Price of Anarchy for Selfish Ring Routing is Two. - (Withdrawn) A Linguistic Model for Terminology Extraction based Conditional Random Fields.
- Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, Dimitrios M. Thilikos:
Linear kernels for (connected) dominating set on graphs with excluded topological subgraphs. - Mark Jones, Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Ondrej Suchý:
Parameterized Complexity of Directed Steiner Tree on Sparse Graphs. - Christopher Griffin, Douglas Mercer, James Fan, Anna Cinzia Squicciarini:
Two Species Evolutionary Game Model of User and Moderator Dynamics. - Roy Timo, Gottfried Lechner, Lawrence Ong, Sarah J. Johnson:
Multi-Way Relay Networks: Orthogonal Uplink, Source-Channel Separation and Code Design. - Balasubramanian Sivan, Vasilis Syrgkanis, Omer Tamuz:
Lower Bounds on Revenue of Approximately Optimal Auctions. - Vasileios Ntranos, Viveck R. Cadambe, Bobak Nazer, Giuseppe Caire:
Feedback Interference Alignment: Exact Alignment for Three Users in Two Time Slots. - Md. Sahidullah, Goutam Saha:
Comparison of Speech Activity Detection Techniques for Speaker Recognition. - Jürgen Bokowski, Vincent Pilaud:
Enumerating topological $(n_k)$-configurations. - Rahele Kafieh, Hossein Rabbani, Michael D. Abràmoff, Milan Sonka:
Intra-Retinal Layer Segmentation of 3D Optical Coherence Tomography Using Coarse Grained Diffusion Map. - Andrzej Lingas, Mia Persson:
A fast parallel algorithm for minimum-cost small integral flows. - D. Sasirekha, E. Chandra:
Enhanced Techniques for PDF Image Segmentation and Text Extraction. - Daniel Trivellato, Nicola Zannone, Sandro Etalle:
GEM: a Distributed Goal Evaluation Algorithm for Trust Management. - Thomas Philip Runarsson, Marc Schoenauer, Michèle Sebag:
Pilot, Rollout and Monte Carlo Tree Search Methods for Job Shop Scheduling. - Junlin Hu, Ping Guo:
Combined Descriptors in Spatial Pyramid Domain for Image Classification. - Arpit Sharma:
A Two Step Perspective for Kripke Structure Reduction. - Manuel Bodirsky, Peter Jonsson, Timo von Oertzen:
Essential Convexity and Complexity of Semi-Algebraic Constraints. - Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig:
Multi-Agent Programming Contest 2012 - The Python-DTU Team. - Nees Jan van Eck, Ludo Waltman, Anthony F. J. van Raan, Robert J. M. Klautz, Wilco C. Peul:
Citation analysis may severely underestimate the impact of clinical research as compared to basic research. - Audrey Lee-St. John, Jessica Sidman:
Combinatorics and the Rigidity of CAD Systems. - Maciej Kurant, Carter T. Butts, Athina Markopoulou:
Graph Size Estimation. - Andrea Campagna, Konstantin Kutzkov, Rasmus Pagh:
On Parallelizing Matrix Multiplication by the Column-Row Method. - Giovanni Cavallanti, Nicolò Cesa-Bianchi:
Memory Constraint Online Multitask Classification. - Peter Sanders, Christian Schulz:
Think Locally, Act Globally: Perfectly Balanced Graph Partitioning. - Todd L. Veldhuizen:
Leapfrog Triejoin: a worst-case optimal join algorithm. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Physical Layer Network Coding for the Multiple Access Relay Channel. - Rustem Takhanov, Vladimir Kolmogorov:
Inference algorithms for pattern-based CRFs on sequence data. - Tayeb Lemlouma, Yoann Lefebvre, Frédéric Cespedes:
PCNM: A New Platform for Cellular Networks Measurements and Optimization. - Tayeb Lemlouma, Julien Luciana, Bastien Oza, Leandro Sierra, Mikaël Salaün:
An Easy Cellular Gateway for Providing Shared Services and Data. - Walid Abediseid, Mohamed-Slim Alouini:
On Lattice Sequential Decoding for The Unconstrained AWGN Channel. - Elkebir Sarhrouni, Ahmed Hammouch, Driss Aboutajdine:
Band Selection and Classification. - Dhavide A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian Mitchell, Mark D. Plumbley, Ben Waugh, Ethan P. White, Greg Wilson, Paul Wilson:
Best Practices for Scientific Computing. - (Withdrawn) Performance of Multi-Antenna Linear MMSE Receivers in Non-homogeneous Poisson and Poisson Cluster Networks.
- Tao Hu, Dmitri B. Chklovskii:
Sparse LMS via Online Linearized Bregman Iteration. - Tao Hu, Juan Nunez-Iglesias, Shiv Naga Prasad Vitaladevuni, Lou Scheffer, Shan Xu, Mehdi Bolorizadeh, Harald F. Hess, Richard Fetter, Dmitri B. Chklovskii:
Super-resolution using Sparse Representations over Learned Dictionaries: Reconstruction of Brain Structure using Electron Microscopy. - Ozgun Y. Bursalioglu, Giuseppe Caire, Dariush Divsalar:
Joint Source-Channel Coding for Deep-Space Image Transmission using Rateless Codes. - Lars Kuhtz, Bernd Finkbeiner:
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds. - Jaswinder Singh Dilawari, Gurpreet Singh Sandhu:
A Review Paper on Microprocessor Based Controller Programming. - Harbir Antil, Scott E. Field, Frank Herrmann, Ricardo H. Nochetto, Manuel Tiglio:
Two-step greedy algorithm for reduced order quadratures. - Amir H. Asiaee, Prashant Doshi, Todd Minning, Satya Sanket Sahoo, Priti Parikh, Amit P. Sheth, Rick L. Tarleton:
From Questions to Effective Answers: On the Utility of Knowledge-Driven Querying Systems for Life Sciences Data. - Victor Milenkovic, Elisha Sacks, Steven Trac:
Planar shape manipulation using approximate geometric primitives. - John V. Corbett:
A Topos Theory Foundation for Quantum Mechanics. 37-53 - Ugo Dal Lago, Claudia Faggian:
On Multiplicative Linear Logic, Modality and Quantum Circuits. 55-66 - Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor:
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus. 67-80 - Bertfried Fauser, Guillaume Raynaud, Steven Vickers:
The Born rule as structure of spectral bundles (extended abstract). 81-90 - Chris Heunen, Sergio Boixo:
Completely positive classical structures and sequentializable quantum protocols. 91-101 - Kentaro Honda:
Graphical Classification of Entangled Qutrits. 123-141 - Peter Janotta:
Generalizations of Boxworld. 183-192 - Joost Nuiten:
Bohrification of local nets. 211-218 - Robert Raussendorf, Pradeep Kiran Sarvepalli, Tzu-Chieh Wei, Poya Haghnegahdar:
Symmetry constraints on temporal order in measurement-based quantum computation. 219-250 - Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald:
A Framework for Heterotic Computing. 263-273 - Lexing Xie, Apostol Natsev, Xuming He, John R. Kender, Matthew L. Hill, John R. Smith:
Tracking Large-Scale Video Remix in Real-World Events. - Yingzhen Yang, Xinqi Chu, Thomas S. Huang:
Generalization Analysis for Classification. - Tien Tuan Anh Dinh, Anwitaman Datta:
Stream on the Sky: Outsourcing Access Control Enforcement for Stream Data to the Cloud. - Ashish Goel, David Lee:
Triadic Consensus: A Randomized Algorithm for Voting in a Crowd. - Cedomir Stefanovic, Kasper F. Trillingsgaard, Nuno K. Pratas, Petar Popovski:
Joint Estimation and Contention-Resolution Protocol for Wireless Random Access. - Xavier Bresson, Ruiliang Zhang:
TV-SVM: Total Variation Support Vector Machine for Semi-Supervised Data Classification. - Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra:
I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs. - Mohamed Khalil El Mahrsi, Fabrice Rossi:
Graph-Based Approaches to Clustering Network-Constrained Trajectory Data. - Yanfang Liu, William Zhu:
Relationship between the second type of covering-based rough set and matroid via closure operator. - Nahla Jlaiel, Khouloud Madhbouh, Mohamed Ben Ahmed:
A Semantic Approach for Automatic Structuring and Analysis of Software Process Patterns. - Jan Verschelde, Genady Yoffe:
Orthogononalization on a general purpose graphics processing unit with double double and quad double arithmetic. - Harbi AlMahafzah, Mohammad Imran, H. S. Sheshadri:
Multibiometric: Feature Level Fusion Using FKP Multi-Instance biometric. - Zoltán Szabó, András Lörincz:
Distributed High Dimensional Information Theoretical Image Registration via Random Projections. - Joachim Kock:
Data types with symmetries and polynomial functors over groupoids. - Harbi AlMahafzah, Maen Zaid AlRwashdeh:
A Survey of Multibiometric Systems. - Son Doan, Lucila Ohno-Machado, Nigel Collier:
Enhancing Twitter Data Analysis with Simple Semantic Filtering: Example in Tracking Influenza-Like Illnesses. - Winfried Gödert:
Detecting multiword phrases in mathematical text corpora. - Siu On Chan, Ilias Diakonikolas, Rocco A. Servedio, Xiaorui Sun:
Learning mixtures of structured distributions over discrete domains. - Aaron Adcock, Daniel L. Rubin, Gunnar E. Carlsson:
Classification of Hepatic Lesions using the Matching Metric. - José A. Iglesias, Ron Kimmel:
Schrödinger Diffusion for Shape Analysis with Texture. - Dimiter Dobrev:
The Definition of AI in Terms of Multi Agent Systems. - Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake:
Control Design along Trajectories with Sums of Squares Programming. - George C. Alexandropoulos, Constantinos B. Papadias:
An Interference-Adjustable Distributed Algorithm for K-user MIMO Interference Networks. - Domenico Ciuonzo, Gianmarco Romano, Pierluigi Salvo Rossi:
Optimality of Received Energy in Decision Fusion over Rayleigh Fading Diversity MAC with Non-Identical Sensors. - Guo-Jun Qi, Charu C. Aggarwal, Pierre Moulin, Thomas S. Huang:
Learning from Collective Intelligence in Groups. - Zhenxin Feng, Kwan-Wu Chin:
A Survey of Delay Tolerant Networks Routing Protocols. - Thomas Palfray, David Hebert, Stéphane Nicolas, Pierrick Tranouez, Thierry Paquet:
Logical segmentation for article extraction in digitized old newspapers. - Tao Wang, Luc Vandendorpe:
On the SCALE Algorithm for Multiuser Multicarrier Power Spectrum Management. - Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son:
Performance Constraint and Power-Aware Allocation For User Requests In Virtual Computing Lab. - Guangling Sun, Guoqing Li, Jie Yin:
Blurred Image Classification based on Adaptive Dictionary. - Guangling Sun, Guoqing Li, Xinpeng Zhang:
Robust Degraded Face Recognition Using Enhanced Local Frequency Descriptor and Multi-scale Competition. - Huasen Wu, Youguang Zhang, Xin Liu:
Laxity-Based Opportunistic Scheduling with Flow-Level Dynamics and Deadlines. - Julien Ponge, Frédéric Le Mouël:
JooFlux: Hijacking Java 7 InvokeDynamic To Support Live Code Modifications. - Sharon Christa, K. Lakshmi Madhuri, V. Suma:
A Comparative Analysis of Data Mining Tools in Agent Based Systems. - Vincent Y. F. Tan:
The Capacity of the General Gel'fand-Pinsker Channel and Achievable Second-Order Coding Rates. - Yun Shang, Xian Lu, Ruqian Lu:
Turing machines based on unsharp quantum logic. 251-261 - Harald Zankl:
Confluence by Decreasing Diagrams -- Formalized. - Arturo Ribes, Jesús Cerquides, Yiannis Demiris, Ramón López de Mántaras:
Sensory Anticipation of Optical Flow in Mobile Robotics. - Pengfei Huang, Xudong Wang:
Cross-layer Scheduling in Multi-user System with Delay and Secrecy Constraints. - James W. Hanlon, Simon J. Hollis, David May:
Scalable data abstractions for distributed parallel computations. - James W. Hanlon, Simon J. Hollis, David May:
Emulating a large memory sequential machine with a collection of small memory ones. - Efi Papatheocharous, Harris Papadopoulos, Andreas S. Andreou:
Feature Subset Selection for Software Cost Modelling and Estimation. - Abdel-Hameed A. Badawy:
Students Perceptions of the Effectiveness of Discussion Boards What can we get from our students for a freebie point. - Bacem Wali, Bernard Gibaud:
Extending OWL-S for the Composition of Web Services Generated With a Legacy Application Wrapper. - Christopher L. Simons, Ian C. Parmee:
Elegant Object-oriented Software Design via Interactive, Evolutionary Computation. - Bita Azimdoost, Cédric Westphal, Hamid R. Sadjadpour:
On the Throughput Capacity of Information-Centric Networks. - Sukhpal Singh:
Reduction of Blocking Artifacts In JPEG Compressed Image. - Bernhard Haeupler:
Simple, Fast and Deterministic Gossip and Rumor Spreading. - Marc Bezem, Keiko Nakata, Tarmo Uustalu:
On streams that are finitely red. - Hema Swetha Koppula, Rudhir Gupta, Ashutosh Saxena:
Learning Human Activities and Object Affordances from RGB-D Videos. - Abdel-Hameed A. Badawy, Michelle M. Hugue:
Evaluating Discussion Boards on BlackBoard as a Collaborative Learning Tool A Students Survey and Reflections. - Mariya Ishteva, Haesun Park, Le Song:
Unfolding Latent Tree Structures using 4th Order Tensors. - Charalambos D. Charalambous, Photios A. Stavrou, Nasir Uddin Ahmed:
Nonanticipative Rate Distortion Function and Relations to Filtering Theory. - Daniel M. Kane:
A Pseudorandom Generator for Polynomial Threshold Functions of Gaussian with Subpolynomial Seed Length. - Raghavi K. Bhujang, Suma V.:
Graphical Visualization of Risk Assessment for Effective Risk Management during Software Development Process. - Ahmed Mehedi Nizam, Md. Nasim Adnan, Md. Rashedul Islam, Mohammad Akbar Kabir:
Properties of Stochastic Kronecker Graph. - Xi Peng, Lei Zhang, Zhang Yi, Kok Kiong Tan:
Learning Locality-Constrained Collaborative Representation for Face Recognition. - Phong Nguyen, Jun Wang, Melanie Hilario, Alexandros Kalousis:
Learning Heterogeneous Similarity Measures for Hybrid-Recommendations in Meta-Mining. - Mohammad Hamed Firooz, Zhiyong Chen, Sumit Roy, Hui Liu:
Wireless Network Coding via Modified 802.11 MAC/PHY: Design and Implementation on SDR. - Jun Qin, Hongrun Wu, Xiaonian Tong, Bojin Zheng:
A quantitative method for determining the robustness of complex networks. - Arkadiusz Biernacki:
Methods of QoS improvement for P2P IPTV based on traffic modelling. - Doris Schiöberg, Fabian Schneider, Gilles Trédan, Steve Uhlig, Anja Feldmann:
Revisiting Content Availability in Distributed Online Social Networks. - Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation Liftings on Preorders and Posets. - Bruno Grenet, Pascal Koiran, Natacha Portier:
On the Complexity of the Multivariate Resultant. - Gagan Goel, Vahab S. Mirrokni, Renato Paes Leme:
Clinching Auctions with Online Supply. - Shusen Wang, Zhihua Zhang, Jian Li:
A Scalable CUR Matrix Decomposition Algorithm: Lower Time Complexity and Tighter Bound. - Adriano Pastore, Michael Joham, Javier Rodríguez Fonollosa:
A Framework for Joint Design of Pilot Sequence and Linear Precoder. - Frank van Harmelen, George Kampis, Katy Börner, Peter van den Besselaar, Erik A. Schultes, Carole A. Goble, Paul Groth, Barend Mons, Stuart Anderson, Stefan Decker, Conor Hayes, Thierry Buecheler, Dirk Helbing:
Theoretical And Technological Building Blocks For An Innovation Accelerator. - Yang Hong, Changcheng Huang, James Yan:
A Comparative Study of SIP Overload Control Algorithms. - Mingyi Hong, Qiang Li, Ya-Feng Liu, Zhi-Quan Luo:
Decomposition by Successive Convex Approximation: A Unifying Approach for Linear Transceiver Design in Heterogeneous Networks. - Ayad Ghany Ismaeel:
An Emergency System for Succoring Children using Mobile GIS. - Tao Hu, Alexander Genkin, Dmitri B. Chklovskii:
A network of spiking neurons for computing sparse representations in an energy efficient way. - Curt Schieler, Eva C. Song, Paul Cuff, H. Vincent Poor:
Source-Channel Secrecy with Causal Disclosure. - Dimiter Dobrev:
A Definition of Artificial Intelligence. - Hector Zenil:
Turing Patterns with Turing Machines: Emergence and Low-level Structure Formation. - Lukasz Swierczewski:
The Distributed Computing Model Based on The Capabilities of The Internet. - Neng-Fa Zhou, Christian Theil Have:
Efficient Tabling of Structured Data with Enhanced Hash-Consing. - Swarnendu Kar, Pramod K. Varshney:
Controlled Collaboration for Linear Coherent Estimation in Wireless Sensor Networks. - Hengshuai Yao:
Discovering and Leveraging the Most Valuable Links for Ranking. - Jie Fu, Herbert G. Tanner, Jeffrey Heinz, Jane Chandlee, Konstantinos Karydis, Cesar Koirala:
Symbolic Planning and Control Using Game Theory and Grammatical Inference. - Wei Bao, Ben Liang:
On the Insensitivity of User Distribution in Multicell Networks under General Mobility and Session Patterns. - Melissa Duarte, Ashutosh Sabharwal, Vaneet Aggarwal, Rittwik Jana, K. K. Ramakrishnan, Christopher W. Rice, N. K. Shankaranarayanan:
Design and Characterization of a Full-duplex Multi-antenna System for WiFi networks. - Adeyemi R. Ikuesan, Shukor Abd Razak, Nor Amira Nor Azhan:
Identifying critical features for network forensics investigation perspectives. - Paul Ormerod, Bassel Tarbush, R. Alexander Bentley:
Social network markets: the influence of network structure when consumers face decisions over many similar choices. - Adeyemi R. Ikuesan, Norafida Ithnin:
Users Authentication and Privacy control of RFID Card. - Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP Solving with External Sources. - Iliano Cervesato:
An Improved Proof-Theoretic Compilation of Logic Programs. - Germán Vidal:
Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation. - Jakob Ablinger, Johannes Blümlein, Mark Round, Carsten Schneider:
Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. - Mohammad H. Al Shayeji, AbdulRahman R. Al-Azmi, AbdulAziz R. Al-Azmi, M. D. Samrajesh:
Analysis and Enhancements of Leader Elections algorithms in Mobile Ad Hoc Networks. - Yaoqing Yang, Keqin Liu, Qing Zhao:
Distributed Flow Scheduling in Unknown Environment. - Ravi Murugesan:
Promising outcomes of an online course in research writing at a Rwandan university. - Andrew N. Jackson:
Formats over Time: Exploring UK Web History. - Arash Ghorbannia Delavar, Golnoosh Keshani:
Providing an Object Allocation Algorithm in Distributed Databases Using Efficient Factors. - Farbod Kayhan, Guido Montorsi:
Constellation Design for Channels Affected by Phase Noise. - Murphy Choy, Michelle L. F. Cheong:
Intelligent Search Heuristics for Cost Based Scheduling. - Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Noam Nisan:
The AND-OR game: Equilibrium Characterization (Working Paper). - Farbod Kayhan, Guido Montorsi:
Constellation Design for Transmission over Nonlinear Satellite Channels. - Djamal Belazzougui, Travis Gagie, Gonzalo Navarro:
Better Space Bounds for Parameterized Range Majority and Minority. - Jun Zhu, Ning Chen, Eric P. Xing:
Bayesian Inference with Posterior Regularization and Infinite Latent Support Vector Machines. - A. Emre Cetin:
In-place associative permutation sort. - Michael J. Maher:
Relative Expressiveness of Defeasible Logics. - Azadeh Sheikholeslami, Dennis Goeckel, Hossein Pishro-Nik:
Everlasting Secrecy by Exploiting Non-Idealities of the Eavesdropper's Receiver. - Jasper De Bock, Gert de Cooman:
An efficient algorithm for estimating state sequences in imprecise hidden Markov models. - Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak:
Distributed Deterministic Broadcasting in Wireless Networks under the SINR Model. - Konstantin Makarychev:
Local Search is Better than Random Assignment for Bounded Occurrence Ordering k-CSPs. - Zhiyu Cheng, Natasha Devroye:
On Constant Gaps for the Two-way Gaussian Interference Channel. - Yun Fan, Guanghui Zhang:
Self-dual Permutation Codes of Finite Groups in Semisimple Case. - Yuan Li:
The Limitation of Random Network Coding. - Meftah Ur Rahman:
A comparative study on face recognition techniques and neural network. - Artan Berisha, Behar Baxhaku, Artan Alidema:
A Class of Non Invertible Matrices in GF (2) for Practical One Way Hash Algorithm. - Bernhard Bliem, Michael Morak, Stefan Woltran:
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming. - Chung-Chieh Fang:
Saddle-Node Bifurcation Associated with Parasitic Inductor Resistance in Boost Converters. - Kondwani Magamba, Solomon Kadaleka, Ansley Kasambara:
Variable-length Hill Cipher with MDS Key Matrix. - Chung-Chieh Fang:
Modeling and Instability of Average Current Control. - Dorian Aur:
Reply to Comments on Neuroelectrodynamics: Where are the Real Conceptual Pitfalls? - Sabah Al-Fedaghi:
Diagrammatization of the Transmission Control Protocol. - John Prpic, Prashant Shukla:
The Theory of Crowd Capital. - Zhong-Yuan Zhang:
Semi-Supervised Community Structure Detection in Social Networks Based on Matrix De-noising. - Charalambos D. Charalambous, Photios A. Stavrou:
On the relation of nonanticipative rate distortion function and filtering theory. - Abdul Razaque, Khaled M. Elleithy, Nyembo Salama:
Novel Framework for Mobile Collaborative learning (MCL)to substantiate pedagogical activities. - Wafa Elmannai, Abdul Razaque, Khaled M. Elleithy:
TCP-UB: A New congestion aware transmission control protocolvariant. - Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents] - Abdul Razaque, Khaled M. Elleithy:
Multi-frame Signature-cum Anomaly-based Intrusion Detection Systems (MSAIDS) to Protect Privacy of Users over Mobile Collaborative Learning (MCL). - Clemens Wiltsche, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication. - Lukasz Czajka:
Partiality and Recursion in Higher-order Logic. - Miranda Zhang, Rajiv Ranjan, Surya Nepal, Michael Menzel, Armin Haller:
A Declarative Recommender System for Cloud Infrastructure Services Selection. - Mohammud Z. Bocus, Carl P. Dettmann, Justin P. Coon:
An Approximation of the Marcum Q-Function with Application to the Performance Analysis of Communication Systems. - Alain Bernard, Jean-Charles Delplace, Nicolas Perry, Serge Gabriel:
Integration of CAD and rapid manufacturing for sand casting optimisation. - Niek du Preez, Nicolas Perry, Alexandre Candlot, Alain Bernard, Wilhelm Uys, Louis Louw:
Customised high-value document generation. - Magali Mauchand, Ali Siadat, Nicolas Perry, Alain Bernard:
VCS: Value Chains Simulator, a Tool for Value Analysis of Manufacturing Enterprise Processes (A Value-Based Decision Support Tool). - Danko Ilik:
A formalized type-directed partial evaluator for shift and reset. 86-100 - Alex Alvarado, Alexandre Graell i Amat, Fredrik Brannstrom, Erik Agrell:
On Optimal TCM Encoders. - Oktay Ölmez, Aditya Ramamoorthy:
Repairable Replication-based Storage Systems Using Resolvable Designs. - Saman Ashkiani, Anna Scaglione:
Discrete Dithered Desynchronization. - Flávio du Pin Calmon, Nadia Fawaz:
Privacy Against Statistical Inference. - Guoxin Su, Mingsheng Ying, Chengqi Zhang:
Session Communication and Integration. - Flávio du Pin Calmon, Muriel Médard, Linda M. Zeger, João Barros, Mark M. Christiansen, Ken R. Duffy:
Lists that are smaller than their parts: A coding approach to tunable secrecy. - Ilan Shomorony, Amir Salman Avestimehr:
Degrees of Freedom of Two-Hop Wireless Networks: "Everyone Gets the Entire Cake''. - Ahmad Beirami, Faramarz Fekri:
Network Compression: Memory-Assisted Universal Coding of Sources with Correlated Parameters. - Yafei Tian, Songtao Lu, Chenyang Yang:
Amplitude Space Sharing among the Macro-Cell and Small-Cell Users. - Shams Zawoad, Ragib Hasan:
The Enemy Within: The Emerging Threats to Healthcare from Malicious Mobile Devices. - Matthieu R. Bloch, Laura Luzzi, Jörg Kliewer:
Strong Coordination with Polar Codes. - Peter Welinder, Max Welling, Pietro Perona:
Semisupervised Classifier Evaluation and Recalibration. - (Withdrawn) ET-LDA: Joint Topic Modeling For Aligning, Analyzing and Sensemaking of Public Events and Their Twitter Feeds.
- Arkadiusz Biernacki:
Analysis of the flooding search algorithm with OPNET. - Jia Zeng, Zhi-Qiang Liu, Xiao-Qin Cao:
Online Belief Propagation for Topic Modeling. - Sang-Woon Jeon, Chien-Yi Wang, Michael Gastpar:
Approximate Ergodic Capacity of a Class of Fading 2-user 2-hop Networks. - Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits:
Annotating Answer-Set Programs in LANA? - J. Martin van Zyl, Sean van der Merwe:
An empirical study to order citation statistics between subject fields. - David Stotz, Helmut Bölcskei:
Degrees of Freedom in Vector Interference Channels. - Rustem Takhanov:
Extensions of the Minimum Cost Homomorphism Problem. - Reinhard Heckel, Helmut Bölcskei:
Joint Sparsity with Different Measurement Matrices. - Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell:
Bisimilarity of Probabilistic Pushdown Automata. - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Miguel Areias, Ricardo Rocha:
Towards Multi-Threaded Local Tabling Using a Common Table Space. - Max Ostrowski, Torsten Schaub:
ASP modulo CSP: The clingcon system. - Annie I. Chen, Asuman E. Ozdaglar:
A Fast Distributed Proximal-Gradient Method. - Rémy Haemmerlé:
Diagrammatic confluence for Constraint Handling Rules. - Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. - Luke Schaeffer:
Ostrowski Numeration and the Local Period of Sturmian Words. - Tamir Hazan, Raquel Urtasun:
Efficient Learning of Structured Predictors in General Graphical Models. - Felix Krahmer, Rachel A. Ward:
Compressive imaging: stable and robust recovery from variable density frequency samples. - Shiva Prasad Kasiviswanathan, Mark Rudelson, Adam D. Smith:
The Power of Linear Reconstruction Attacks. - Yadong Mu, Wei Liu, Shuicheng Yan:
Video De-fencing. - Biao Xu, Ruairí de Fréin, Eric Robson, Mícheál Ó Foghlú:
Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework. - Ali Tajer, H. Vincent Poor:
Quick Search for Rare Events. - M. A. El-Dosuky, Magdi Zakria Rashad, T. T. Hamza, A. H. El-Bassiouny:
Simulated Tom Thumb, the Rule Of Thumb for Autonomous Robots. - Mario Frank, Ben Dong, Adrienne Porter Felt, Dawn Song:
Mining Permission Request Patterns from Android and Facebook Applications (extended author version). - Marta Capiluppi, Roberto Segala:
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. 1-14 - Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. 15-28 - Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface Simulation Distances. 29-42 - Martin Lange, Étienne Lozes, Manuel Vargas Guzmán:
Model-Checking Process Equivalences. 43-56 - Stephan Barth, Martin Hofmann:
Learn with SAT to Minimize Büchi Automata. 71-84 - Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Automata-based Static Analysis of XML Document Adaptation. 85-98 - Aleksandar S. Dimovski:
Symbolic Representation of Algorithmic Game Semantics. 99-112 - Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. 113-126 - Ricardo Almeida, Sabine Broda, Nelma Moreira:
Deciding KAT and Hoare Logic with Derivatives. 127-140 - Daniel Neider, Roman Rabinovich, Martin Zimmermann:
Down the Borel Hierarchy: Solving Muller Games via Safety Games. 169-182 - Wladimir Fridman, Martin Zimmermann:
Playing Pushdown Parity Games in a Hurry. 183-196 - Felix Canavoi, Erich Grädel, Roman Rabinovich:
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. 197-209 - Pawel Parys:
Higher-Order Pushdown Systems with Data. 210-223 - Domenico Cantone, Cristiano Longo:
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. 224-237 - Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax:
A Myhill-Nerode theorem for automata with advice. 238-246 - Szczepan Hummel:
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones. 247-260 - Zhong-Yuan Zhang, Kai-Di Sun, Si-Qi Wang:
Enhanced Community Structure Detection in Social Networks. - Akshay Soni, Jarvis D. Haupt:
Level Set Estimation from Compressive Measurements using Box Constrained Total Variation Regularization. - Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. 155-168 - Jakub Michaliszyn, Jan Otop, Piotr Witkowski:
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics. 141-154 - Amin Emad, Olgica Milenkovic:
Semi-Quantitative Group Testing: a General Paradigm with Applications in Genotyping. - Jitendra Mohan, Sudhanshu Maheshwari, Durg Singh Chauhan:
Minimum Component Based First-Order Inverting and Non-inverting Outputs of All-Pass Filter at the Same Circuit. - Rakshith Rajashekar, K. V. S. Hari, Lajos Hanzo:
Structured Dispersion Matrices from Space-Time Block Codes for Space-Time Shift Keying. - Sukhpal Singh, Inderveer Chana:
Enabling Reusability in Agile Software Development. - Jitendra Mohan, Sudhanshu Maheshwari, Durg Singh Chauhan:
Minimum Grounded Component Based Voltage-Mode Quadrature Oscillator using DVCC. - Ting Huang, Peijun Zhu, Zengyou He:
Protein Inference and Protein Quantification: Two Sides of the Same Coin. - Mashad Eslamifar, Woon Hau Chin, Chau Yuen, Yong Liang Guan:
Performance Analysis of Two-Step Bi-Directional Relaying with Multiple Antennas. - Jiajia Li, Xiuxia Zhang, Guangming Tan, Mingyu Chen:
SMAT: An Input Adaptive Sparse Matrix-Vector Multiplication Auto-Tuner. - Søren Bøg, Morten Stöckel, Hjalte Wedel Vildhøj:
The Hardness of the Functional Orientation 2-Color Problem. - Loris Marchal, Oliver Sinnen, Frédéric Vivien:
Scheduling tree-shaped task graphs to minimize memory and makespan. - Adrian Agustin, Josep Vidal:
Degrees of Freedom Region of the MIMO X channel with an Arbitrary Number of Antennas. - Mansour Moufid:
Sudoku as a special transportation problem. - Michal Nánási, Tomás Vinar, Brona Brejová:
Sequence Annotation with HMMs: New Problems and Their Complexity. - Ryuhei Mori, Toshiyuki Tanaka:
New Generalizations of the Bethe Approximation via Asymptotic Expansion. - Assalé Adjé, Jean Goubault-Larrecq:
Concrete Semantics of Programs with Non-Deterministic and Random Inputs. - Katarzyna Grygiel, Pierre Lescanne:
Counting and generating lambda terms. - Vittorio Perduca, Grégory Nuel:
Measuring the Influence of Observations in HMMs through the Kullback-Leibler Distance. - Amélie Gheerbrant, Balder ten Cate:
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees. - Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Exarhos, Mihalis Panagopoulos, Lena Papazoglou-Manioudaki:
Optimization in Differentiable Manifolds in Order to Determine the Method of Construction of Prehistoric Wall-Paintings. - Eric Eaton, Marie desJardins, Sara Jacob:
Multi-view constrained clustering with an incomplete mapping between views. - Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Panagopoulos, Panayiota Loumou, Georgios Theodoropoulos:
A General Methodology for the Determination of 2D Bodies Elastic Deformation Invariants. Application to the Automatic Identification of Parasites. - Ruchi Chaudhary, J. Gordon Burleigh, David Fernández-Baca:
Inferring Species Trees from Incongruent Multi-Copy Gene Trees Using the Robinson-Foulds Distance. - George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. - Mikael Gast, Mathias Hauptmann, Marek Karpinski:
Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations. - Hamed Mirghasemi, Aslan Tchamkerten:
On the Capacity of the One-Bit Deletion and Duplication Channel. - Dimiter Dobrev:
AI in arbitrary world. - Suayb S. Arslan:
Minimum Distortion Variance Concatenated Block Codes for Embedded Source Transmission. - Anne Collard, Silvère Bonnabel, Christophe Phillips, Rodolphe Sepulchre:
An anisotropy preserving metric for DTI processing. - Stefan Seer, Norbert Brändle, Carlo Ratti:
Kinects and Human Kinetics: A New Approach for Studying Crowd Behavior. - Nasrin Jaberi:
An Introduction on Dependency Between Hardware Life Time Components and Dynamic Voltage Scaling. - José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. - Tipawan Silwattananusarn, Kulthida Tuamsuk:
Data Mining and Its Applications for Knowledge Management: A Literature Review from 2007 to 2012. - Constantin Papaodysseus, Dimitris Arabadjis, Mihalis Exarhos, Panayiotis Rousopoulos, Solomon Zannos, Michail Panagopoulos, Lena Papazoglou-Manioudaki:
Efficient Solution to the 3D Problem of Automatic Wall Paintings Reassembly. - Oumair Naseer, Rana Atif Ali Khan:
Online Adaptive Fault Tolerant based Feedback Control Scheduling Algorithm for Multiprocessor Embedded Systems. - Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents] - Francis J. O'Brien Jr., Nathan Johnnie, Susan Maloney, Aimee Ross:
A Proposed General Method for Parameter Estimation of Noise Corrupted Oscillator Systems. - Venkatesan T. Chakaravarthy, Arindam Pal, Sambuddha Roy, Yogish Sabharwal:
Scheduling Resources for Executing a Partial Set of Jobs. - Mahdieh Ghazvini, Naser Movahhedinia, Kamal Jamshidi:
Carrier Sense Multiple Access Tuning Parameters using Game Theory. - Balachandra Muniyal, K. V. Prema, Mamatha Balachandra:
Comparison of Certificate Policies for Merging Public Key Infrastructures during Merger and Acquisition of Companies. - Chung-Chieh Fang, Eyad H. Abed:
Local Bifurcations in DC-DC Converters. - Neha Rathi, Jyoti Saraswat, Partha Pratim Bhattacharya:
A review on routing protocols for application in wireless sensor networks. - Hiromu Mori, Yoshihiro Matsumito, Shoji Makino, Victor V. Kryssanov, Tomasz M. Rutkowski:
Vibrotactile Stimulus Frequency Optimization for the Haptic BCI Prototype. - Yoshihiro Matsumoto, Nozomu Nishikawa, Takeshi Yamada, Shoji Makino, Tomasz M. Rutkowski:
Auditory Steady-State Response Stimuli based BCI Application - The Optimization of the Stimuli Types and Lengths. - Nozomu Nishikawa, Yoshihiro Matsumoto, Shoji Makino, Tomasz M. Rutkowski:
The Spatial Real and Virtual Sound Stimuli Optimization for the Auditory BCI. - Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger:
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. - Anja Korporal, Georg Regensburger, Markus Rosenkranz:
Regular and Singular Boundary Problems in Maple. - Moonjeong Chang, Nozomu Nishikawa, Zhenyu Cai, Shoji Makino, Tomasz M. Rutkowski:
Psychophysical Responses Comparison in Spatial Visual, Audiovisual, and Auditory BCI-Spelling Paradigms. - Mario Goldenbaum, Slawomir Stanczak:
Robust Analog Function Computation via Wireless Multiple-Access Channels. - K. Saravanan, C. Saranya, M. Saranya:
A new application of Multi modal Biometrics in home and office security system. - Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan:
Petri Net Reachability Graphs: Decidability Status of First Order Properties. - K. Saravanan, S. Akshaya, R. Pavithra, K. Pushpavalli:
An Effective Fusion Technique of Cloud Computing and Networking Series. - Francesca A. Lisi:
Learning Onto-Relational Rules with Inductive Logic Programming. - Johan Thapper, Stanislav Zivný:
The complexity of finite-valued CSPs. - Gauri Joshi, Yanpei Liu, Emina Soljanin:
Coding for Fast Content Download. - Sanjoy Das, D. K. Lobiyal:
A Performance Analysis of LAR Protocol for Vehicular Ad Hoc Networks in City Scenarios. - Abbas Nargesi, Mehdi Ghasemi:
Using Orthogonal Channels for Supporting Multicast Service in Multi-channel Wireless Mesh Networks. - Pierre Leone, Elad Michael Schiller:
Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad-hoc Networks. - Boris S. Tsybakov, Alexandre B. Tsybakov:
On Walsh code assignment. - Miranda Zhang, Rajiv Ranjan, Armin Haller, Dimitrios Georgakopoulos, Peter Strazdins:
Investigating Decision Support Techniques for Automating Cloud Service Selection. - Wan Mohd. Yaakob Wan Bejuri, Mohd Murtadha Mohamad, Maimunah Sapri, Mohd Adly Rosly:
Performance Evaluation of Mobile U-Navigation based on GPS/WLAN Hybridization. - Dong Du:
Contributions to Persistence Theory. - Kwankyu Lee, Maria Bras-Amorós, Michael E. O'Sullivan:
Unique Decoding of General AG Codes. - Han Lai, Rong Peng, Dong Sun, Jia Liu:
A lightweight forum-based distributed requirement elicitation process for open source community. - Federico Aschieri, Margherita Zorzi:
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic. 1-18 - Robbert Krebbers:
A call-by-value lambda-calculus with lists and control. 19-33 - Koji Nakazawa, Shin-ya Katsumata:
Extensional Models of Untyped Lambda-mu Calculus. 35-47 - Thomas Powell:
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma. 49-62 - Bojin Zheng, Hongrun Wu, Jun Qin, Wenhua Du, Jianmin Wang, Deyi Li:
A simple model clarifies the complicated relationships of complex networks. - Joonwoo Bae:
Distinguishability, Ensemble Steering, and the No-Signaling Principle. 26-32 - Shekoofeh Ghiam, Alireza Nemaney Pour:
A Survey on Web Spam Detection Methods: Taxonomy. - Xiangrui Meng, Michael W. Mahoney:
Low-distortion Subspace Embeddings in Input-sparsity Time and Applications to Robust Linear Regression. - Pardeep Kumar, Nitin, Vivek Kumar Sehgal, Durg Singh Chauhan:
A Benchmark to Select Data Mining Based Classification Algorithms For Business Intelligence And Decision Support Systems. - Krishnendu Chatterjee, Yaron Velner:
Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives. - S. Nithya Rekha, C. Chandrasekar:
Performance Analysis of Probabilistic Rebroadcasting in Grid FSR for MANET. - Ayatullah Faruk Mollah, Subhadip Basu, Mita Nasipuri:
Computationally Efficient Implementation of Convolution-based Locally Adaptive Binarization Techniques. - Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker:
Data Interpolation: An Efficient Sampling Alternative for Big Data Aggregation. - Vasuki Narasimha Swamy, Srikrishna Bhashyam, Rajesh Sundaresan, Pramod Viswanath:
An asymptotically optimal push-pull method for multicasting over a random network. - Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks:
On Online Labeling with Polynomially Many Labels. - Matthew Crossley, Andy Nisbet, Martyn Amos:
Fitness Landscape-Based Characterisation of Nature-Inspired Algorithms. - Cuneyt Gurcan Akcora, Barbara Carminati, Elena Ferrari:
Risks of Friendships on Social Networks. - Vít Novácek:
Distributional Framework for Emergent Knowledge Acquisition and its Application to Automated Document Annotation. - Mohammad Esmalifalak, Ge Shi, Zhu Han, Lingyang Song:
Bad Data Injection Attack and Defense in Electricity Market using Game Theory Study. - Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Multi-threaded ASP Solving with clasp. - Marco Pellegrini, Filippo Geraci, Miriam Baglioni:
Detecting dense communities in large social and information networks with the Core & Peel algorithm. - Jarek Nabrzyski, Krzysztof Kurowski, Daniel S. Katz, André Merzky:
Grid Computing: The Next Decade -- Report and Summary. - Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro:
A Strict Hierarchy of Dynamic Graphs for Shortest, Fastest, and Foremost Broadcast. - Pradeep Chathuranga Weeraddana, George Athanasiou, Martin Jakobsson, Carlo Fischione, John S. Barras:
Per-se Privacy Preserving Distributed Optimization. - Yasaman Keshtkarjahromi, Rashid Ansari, Ashfaq A. Khokhar:
Energy Efficient Decentralized Detection. - Saeid Pashazadeh, Maryam Pashazadeh:
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net. - Juan-Manuel Torres-Moreno:
Artex is AnotheR TEXt summarizer. - Shaun N. Joseph, Lisa Cingiser DiPippo:
Pseudo-scheduling: A New Approach to the Broadcast Scheduling Problem. - Keyvan Mohebbi, Suhaimi Ibrahim, Norbik Bashah Idris:
Contemporary Semantic Web Service Frameworks: An Overview and Comparisons. - Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer:
A Fragment of Dependence Logic Capturing Polynomial Time. - Hervé Fournier, Anas Ismail, Antoine Vigneron:
Computing the Gromov hyperbolicity of a discrete metric space. - Andrei A. Bulatov, Amir Hedayaty:
Galois correspondence for counting quantifiers. - Virginia Estellers, Jean-Philippe Thiran, Xavier Bresson:
Enhanced Compressed Sensing Recovery with Level Set Normals. - Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte:
An optimized conflict-free replicated set. - Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra, Roger Wattenhofer:
The Power of Non-Uniform Wireless Power. - Ezzeddine Benaissa, Abdellatif BenAbdelhafid, Mounir Benaissa:
An Agent-based framework for cooperation in Supply Chain. - Wei Jiao, Shankar Vembu, Amit G. Deshwar, Lincoln Stein, Quaid Morris:
Modeling the Clonal Evolution of Cancer from Next Generation Sequencing Data. - Armin Eftekhari, Han Lun Yap, Christopher J. Rozell, Michael B. Wakin:
The Restricted Isometry Property for Random Block Diagonal Matrices. - Stéfan van der Walt, Ben M. Herbst:
A polygon-based interpolation operator for super-resolution imaging. - Bin Zhang, Andrew C. Thomas, Patrick Doreian, David Krackhardt, Ramayya Krishnan:
Contrasting Multiple Social Network Autocorrelations for Binary Outcomes, With Applications To Technology Adoption. - Cheuk Ting Li:
On Multi-rate Sequential Data Transmission. - R. Kaniezhil, C. Chandrasekar:
Multiple Service providers sharing Spectrum using Cognitive Radio in Wireless Communication Networks. - R. Kaniezhil, C. Chandrasekar:
Comparing Spectrum Utilization using Fuzzy Logic System for Heterogeneous Wireless Networks via Cognitive Radio. - Vaibhav Srivastava, Fabio Pasqualetti, Francesco Bullo:
Stochastic Surveillance Strategies for Spatial Quickest Detection. - Adela Barriuso, Antonio Torralba:
Notes on image annotation. - G. R. Jithamithra, B. Sundar Rajan:
Construction of Block Orthogonal STBCs and Reducing Their Sphere Decoding Complexity. - Joydeep Basu, Tarun Kanti Bhattacharyya:
Microelectromechanical system cantilever-based frequency doublers. - Ali Soltani Tehrani, Hossein Mashad Nemati, Haiying Cao, Thomas Eriksson, Christian Fager:
Varactor-Based Dynamic Load Modulation of High Power Amplifiers. - Zhi Chen, Teng Joon Lim, Mehul Motani:
Digital Network Coding Aided Two-way Relaying: Energy Minimization and Queue Analysis. - Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin:
Synthesis from LTL Specifications with Mean-Payoff Objectives. - Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. - Magnus Skjegstad, Brage Ellingsæter, Torleiv Maseng, Jon Crowcroft:
Large-Scale Peer-to-Peer Discovery Mechanism and Architecture for Frequency Allocation. - Yang Cai, Zhiyi Huang:
Simple and Nearly Optimal Multi-Item Auctions. - Zhao Wang, Ming Xiao, Chao Wang, Mikael Skoglund:
Degrees of Freedom of Multi-hop MIMO Broadcast Networks with Delayed CSIT. - Sohrob Kazerounian, Matthew D. Luciw, Mathis Richter, Yulia Sandamirskaya:
Autonomous Reinforcement of Behavioral Sequences in Neural Dynamics. - Rodrigo Cabral Farias, Jean-Marc Brossier:
Adaptive Quantizers for Estimation. - Bo Zong, Yinghui Wu, Ambuj K. Singh, Xifeng Yan:
Inferring the Underlying Structure of Information Cascades. - Ondrej Bílka:
Pattern matching in compilers.