default search action
CoRR, May 2009
- Xiaoying Gan, Da Shan, Yuan Zhou, Wei Zhang, Liang Qian:
Theoretical Analysis of Cyclic Frequency Domain Noise and Feature Detection for Cognitive Radio Systems. - Onur Ozan Koyluoglu, Hesham El Gamal:
On the Secrecy Rate Region for the Interference Channel. - Thorsten Hehn, Johannes B. Huber, Olgica Milenkovic, Stefan Laendner:
Multiple-Bases Belief-Propagation Decoding of High-Density Cyclic Codes. - Gilles Champenois:
Fuzzy Mnesors. - Victor W. Marek, Jeffrey B. Remmel:
An Application of Proof-Theory in answer Set Programming. - Paul M. Aoki, R. J. Honicky, Alan M. Mainwaring, Chris Myers, Eric Paulos, Sushmita Subramanian, Allison Woodruff:
A Vehicle for Research: Using Street Sweepers to Explore the Landscape of Environmental Community Action. - Rowena Luk, Matei Zaharia, Melissa R. Ho, Brian Levine, Paul M. Aoki:
ICTD for Healthcare in Ghana: Two Parallel Case Studies. - (Withdrawn) Robust Principal Component Analysis: Exact Recovery of Corrupted Low-Rank Matrices.
- Erik Aurell, René Pfitzner:
Gaussian Belief with dynamic data and in dynamic network. - David Eppstein, Kevin A. Wortman:
Optimal Embedding Into Star Metrics. - Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein:
Millimeter-Wave System for High Data Rate Indoor Communications. - Lahatra Rakotondrainibe, Isabelle Siaud, Yvan Kokar, Gheorghe Zaharia, François Brunet, Eric Tanguy
, Ghaïs El Zein:
A low Complexity Wireless Gigabit Ethernet IFoF 60 GHz H/W Platform and Issues. - Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein:
60 GHz High Data Rate Wireless Communication System. - Wojciech Mazurczyk, Milosz Smolarczyk, Krzysztof Szczypiorski:
Hiding Information in Retransmissions. - Jatin Thukral, Helmut Bölcskei:
Interference Alignment with Limited Feedback. - Adnan Raja, Pramod Viswanath:
Diversity-Multiplexing tradeoff of the Two-User Interference Channel. - Nirmal B. Chakrabarti:
A representation of non-uniformly sampled deterministic and random signals and their reconstruction using sample values and derivatives. - N. Prasanth Anthapadmanabhan, Alexander Barg:
Two-Level Fingerprinting Codes. - Willie K. Harrison, Steven W. McLaughlin:
Tandem Coding and Cryptography on Wiretap Channels: EXIT Chart Analysis. - Haim Kaplan, Yahav Nussbaum:
Maximum Flow in Directed Planar Graphs with Vertex Capacities. - Anton Zinoviev:
Extended Bulgarian keyboard layouts. - Teng Li, Oliver M. Collins:
Design and Analysis of Successive Decoding with Finite Levels for the Markov Channel. - Diomidis S. Michalopoulos, Athanasios S. Lioumpas, George K. Karagiannidis, Robert Schober:
Selective Cooperative Relaying over Time-Varying Channels. - Serge Gaspers, Matthias Mnich:
On Feedback Vertex Sets in Tournaments. - Mohamed Ibrahim Abouelhoda, Hisham Mohamed:
WinBioinfTools: Bioinformatics Tools for Windows High Performance Computing Server 2008. - Michael Elberfeld:
Perfect Phylogeny Haplotyping is Complete for Logspace. - Clemens Novak, Peter Fertl, Gerald Matz:
Quantization for Soft-Output Demodulators in Bit-Interleaved Coded Modulation Systems. - Giuseppe Durisi, Veniamin I. Morgenshtern, Helmut Bölcskei:
On the Sensitivity of Noncoherent Capacity to the Channel Model. - Ivan Tyukin, Danil V. Prokhorov:
Feasibility of random basis function approximators for modeling and control. - Cemal Akçaba, Helmut Bölcskei:
Diversity-Multiplexing Tradeoff in Fading Interference Channels. - Ignacio Vega-Paez, Jose Angel Ortega, Georgina G. Pulido:
REC language is a live on IBM1130 simulator, EL lenguaje REC esta vivo en el simulador de la IBM 1130. - Gerardo Cisneros:
A FORTRAN coded regular expression Compiler for IBM 1130 Computing System. - Hongkun Yang, Bin Liu:
Optimization of Energy Efficient Transmission in Underwater Sensor Networks. - Yoann Dieudonné, Franck Petit:
Self-stabilizing Determinsitic Gathering. - Xavier Broquère, Daniel Sidobre, Ignacio Herrera-Aguilar:
Soft Motion Trajectory Planner for Service Manipulator Robot. - Kunihiko Sadakane, Gonzalo Navarro:
Fully-Functional Static and Dynamic Succinct Trees. - Jan Treibig, Georg Hager:
Introducing a Performance Model for Bandwidth-Limited Loop Kernels. - Weiguo Zhang, Guozhen Xiao:
Constructions of Almost Optimal Resilient Boolean Functions on Large Even Number of Variables. - Nihar Jindal, Angel E. Lozano, Thomas L. Marzetta:
What is the Value of Joint Processing of Pilots and Data in Block-Fading Channels? - Sylvain Boussier, Michel Vasquez, Yannick Vimont, Saïd Hanafi, Philippe Michelon
Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search. - Andreas Malcher, Giovanni Pighizzini:
Descriptional complexity of bounded context-free languages. - Matt Gibson, Kasturi R. Varadarajan:
Decomposing Coverings and the Planar Sensor Cover Problem. - Bogdan Nicolae, Gabriel Antoniu, Luc Bougé
BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency. - Florian Boudin, Patricia Velázquez-Morales, Juan-Manuel Torres-Moreno:
Statistical Automatic Summarization in Organic Chemistry. - Pedro Pablo Pérez Velasco:
Matrix Graph Grammars as a Model of Computation. - Dominik Seethaler, Joakim Jaldén, Christoph Studer, Helmut Bölcskei:
Tail Behavior of Sphere-Decoding Complexity in Random Lattices. - Serguei A. Mokhov, Stephen Sinclair, Ian Clément, Dimitrios Nicolacopoulos:
The Modular Audio Recognition Framework (MARF) and its Applications: Scientific and Software Engineering Notes. - Giovanni Pighizzini:
Deterministic pushdown automata and unary languages. - Giovanni Pighizzini:
Nondeterministic one-tape off-line Turing machines and their time complexity. - Rahul Jain, Sarvagya Upadhyay, John Watrous:
Two-message quantum interactive proofs are in PSPACE. - Nestor D. Chatzidiamantis, George K. Karagiannidis:
On the Distribution of the Sum of Gamma-Gamma Variates and Applications in RF and Optical Wireless Communications. - Michael T. Goodrich, Roberto Tamassia, Jasminka Hasic:
An Efficient Dynamic and Distributed RSA Accumulator. - Stere Preda, Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro, Laurent Toutain:
Reliable Process for Security Policy Deployment. - Yen-Wei Huang, Pierre Moulin:
Saddle-point Solution of the Fingerprinting Capacity Game Under the Marking Assumption. - Vit Niennattrakul, Chotirat (Ann) Ratanamahatana:
Making Hand Geometry Verification System More Accurate Using Time Series Representation with R-K Band Learning. - Pedro Coronel, Markus E. Gärtner, Helmut Bölcskei:
Selective-Fading Multiple-Access MIMO Channels: Diversity-Multiplexing Tradeoff and Dominant Outage Event Regions. - Sergei O. Kuznetsov, Dmitry I. Ignatov:
Concept Stability for Constructing Taxonomies of Web-site Users. - Feifei Gao, Rui Zhang, Ying-Chang Liang, Xiaodong Wang:
Design of Learning Based MIMO Cognitive Radio Systems. - Hessam Mahdavifar, Paul H. Siegel, Alexander Vardy, Jack K. Wolf, Eitan Yaakobi:
A Nearly Optimal Construction of Flash Codes. - Sang Won Choi, Sae-Young Chung:
On the Separability of Parallel Gaussian Interference Channels. - Sang-Woon Jeon, Sae-Young Chung:
Sum capacity of multi-source linear finite-field relay networks with fading. - Zhisu Zhu, Anthony Man-Cho So, Yinyu Ye:
Fast and Near-Optimal Matrix Completion via Randomized Basis Pursuit. - György Elekes, Haim Kaplan, Micha Sharir:
On Lines, Joints, and Incidences in Three Dimensions. - Dominik Scheder:
Unsatisfiable Linear CNF Formulas Are Large, and Difficult to Construct Explicitely. - Marko A. Rodriguez, David W. Allen, Joshua Shinavier, Gary Ebersole:
A Recommender System to Support the Scholarly Communication Process. - Nabil Hathout
Acquisition of morphological families and derivational series from a machine readable dictionary. - Jurek Czyzowicz, Stefan Dobrev, Leszek Gasieniec, David Ilcinkas, Jesper Jansson, Ralf Klasing, Yannis Lignos, Russell A. Martin, Kunihiko Sadakane, Wing-Kin Sung:
More efficient periodic traversal in anonymous undirected graphs. - Fang Wu, Dennis M. Wilkinson, Bernardo A. Huberman:
Feedback loops of attention in peer production. - Fahad Saeed, Ashfaq A. Khokhar:
A Domain Decomposition Strategy for Alignment of Multiple Biological Sequences on Multiprocessor Platforms. - Tiangao Gou, Syed Ali Jafar:
Capacity of a Class of Symmetric SIMO Gaussian Interference Channels within O(1). - Chao-Yang Pang, Chong-Bao Wang, Ben-Qiong Hu:
Experiment Study of Entropy Convergence of Ant Colony Optimization. - Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Ke Wang, Yabo Xu, Philip S. Yu:
Can the Utility of Anonymized Data be used for Privacy Breaches? - Pabitra Pal Choudhury, Sudhakar Sahoo, Sarif Sk. Hassan, Satrajit Basu, Dibyendu Ghosh, Debarun Kar, Abhishek Ghosh, Avijit Ghosh, Amal K. Ghosh:
Classification of Cellular Automata Rules Based on Their Properties. - Salah A. Aly, Ahmed E. Kamal:
Encoding of Network Protection Codes Against Link and Node Failures Over Finite Fields. - Tiziana Calamoneri:
The L(2, 1)-Labeling Problem on Oriented Regular Grids. - Alain Cournier, Swan Dubois
Une CNS pour l'acheminement de messages instantanément stabilisant. - Velleda Baldoni, Nicole Berline, Michèle Vergne:
Summing a polynomial function over integral points of a polygon. User's guide. - Paul Cuff, Han-I Su, Abbas El Gamal:
Cascade multiterminal source coding. - Michael T. Goodrich, Daniel S. Hirschberg:
Improved Adaptive Group Testing Algorithms with Applications to Multiple Access Channels and Dead Sensor Diagnosis. - Rony El Haddad, Brian Smith, Sriram Vishwanath:
On Models of Multi-user Gaussian Channels with Fading. - Halyun Jeong, Young-Han Kim:
Sparse Linear Representation. - Nicolas Bourgeois, Bruno Escoffier, Vangelis Th. Paschos:
Fast algorithms for min independent dominating set. - Elchanan Mossel, Christos H. Papadimitriou, Michael Schapira, Yaron Singer:
VC v. VCG: Inapproximability of Combinatorial Auctions via Generalizations of the VC Dimension. - Yi-Dong Shen, Danny De Schreye, Dean Voets:
Termination Prediction for General Logic Programs. - Weng-Long Chang, Ting-Ting Ren, Mang Feng, Jun Luo, Kawuu Weicheng Lin, Minyi Guo, Lai Chin Lu:
Quantum Algorithms of Bio-molecular Solutions for the Clique Problem on a Quantum Computer. - Rahul Vaze, Robert W. Heath Jr.:
End-to-End Joint Antenna Selection Strategy and Distributed Compress and Forward Strategy for Relay Channels. - Ilya Volnyansky:
Curse of Dimensionality in the Application of Pivot-based Indexes to the Similarity Search Problem. - Emiliano De Cristofaro, Xuhua Ding, Gene Tsudik:
Privacy-Preserving Querying in Sensor Networks. - Shweta Agrawal, Sriram Vishwanath:
On the Secrecy Rate of Interference Networks using structured codes. - Andreas Enge, Pierrick Gaudry, Emmanuel Thomé:
An $L (1/3)$ Discrete Logarithm Algorithm for Low Degree Curves. - Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. - Yong Cao, Debprakash Patnaik, Sean P. Ponce, Jeremy S. Archuleta, Patrick Butler, Wu-chun Feng, Naren Ramakrishnan:
Towards Chip-on-Chip Neuroscience: Fast Mining of Frequent Episodes Using Graphics Processors. - Debprakash Patnaik, Sean P. Ponce, Yong Cao, Naren Ramakrishnan:
Accelerator-Oriented Algorithm Transformation for Temporal Data Mining. - (Withdrawn) Outlining an elegant solver for 3-SAT.
- Michael T. Goodrich, Michael J. Nelson, Jonathan Z. Sun:
The Rainbow Skip Graph: A Fault-Tolerant Constant-Degree P2P Relay Structure. - Jichang Zhao, Ke Xu:
Enhancing the robustness of scale-free networks. - Bo Xiao, Lian-dong Liu, Xiao-chen Guo, Ke Xu:
Modeling the IPv6 Internet AS-level Topology. - Shizheng Li, Aditya Ramamoorthy:
Protection against link errors and failures using network coding in overlay networks. - Joseph O'Rourke:
Some Properties of Yao Y4 Subgraphs. - Jan A. Bergstra, Cornelis A. Middelburg:
A protocol for instruction stream processing. - Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. - Hongyu Zhang, Hee Beng Kuan Tan, Michele Marchesi:
The Distribution of Program Sizes and Its Implications: An Eclipse Case Study. - Ramachandran Rajesh, Vinod Sharma:
On Optimal Distributed Joint Source-Channel Coding for Correlated Gaussian Sources over Gaussian Channels. - Juan-Manuel Torres-Moreno, Laurent Bougrain, Frédéric Alexandre:
Combining Supervised and Unsupervised Learning for GIS Classification. - Zhe Chen, Gilles Motet:
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata. - Zhe Chen, Gilles Motet:
Formalizing Safety Requirements Using Controlling Automata. - Zhe Chen, Gilles Motet:
A Language-theoretic View on Guidelines and Consistency Rules of UML. - S. Charles Brubaker, Santosh S. Vempala:
Random Tensors and Planted Cliques. - Joel Ratsaby:
Combinatorial information distance. - Achaleshwar Sahai, Vaneet Aggarwal, Melda Yuksel, Ashutosh Sabharwal:
On Channel Output Feedback in Deterministic Interference Channels. - Meng Zeng, Rui Zhang, Shuguang Cui:
Outage Capacity and Optimal Transmission for Dying Channels. - Leonidas Akritidis, Dimitrios Katsaros, Panayiotis Bozanis:
Identifying Influential Bloggers: Time Does Matter. - Vahid Pourahmadi, Alireza Bayesteh, Amir K. Khandani:
Multilevel Coding over Two-Hop Single-User Networks. - Kfir Gedalyahu, Yonina C. Eldar:
Low Rate Sampling Schemes for Time Delay Estimation. - Christoph Benzmüller, Lawrence C. Paulson:
Quantified Multimodal Logics in Simple Type Theory. - Aydin Sezgin, Syed Ali Jafar, Hamid Jafarkhani:
The Diversity Multiplexing Tradeoff for Interference Networks. - Serguei A. Mokhov:
The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction. - Serguei A. Mokhov:
On Design and Implementation of the Distributed Modular Audio Recognition Framework: Requirements and Specification Design Document. - Chunhua Shen, Junae Kim, Hanzi Wang:
Generalized Kernel-based Visual Tracking. - Keki M. Burjorjee:
On the Workings of Genetic Algorithms: The Genoclique Fixing Hypothesis. - Grey Ballard, James Demmel, Olga Holtz, Oded Schwartz:
Minimizing Communication in Linear Algebra. - Daniel Sonntag, Roman R. Zapatrin:
Macrodynamics of users' behavior in Information Retrieval. - Angelo Di Iorio, Fabio Vitali, Davide Rossi, Stefano Zacchiroli:
Where are your Manners? Sharing Best Community Practices in the Web 2.0. - Delia Kesner:
A Theory of Explicit Substitutions with Safe and Full Composition. - Alain Cournier, Swan Dubois
Two snap-stabilizing point-to-point communication protocols in message-switched networks. - Jie Gao, Dengpan Zhou:
The Emergence of Sparse Spanners and Greedy Well-Separated Pair Decomposition. - Andriy Myronenko, Xubo B. Song:
Point-Set Registration: Coherent Point Drift. - Xiaolin Shi, Belle L. Tseng, Lada A. Adamic:
Information Diffusion in Computer Science Citation Networks. - Felipe A. Cruz, Matthew G. Knepley, Lorena A. Barba:
PetFMM--A dynamically load-balancing parallel fast multipole library. - Xiang He, Aylin Yener:
Secure Degrees of Freedom for Gaussian Channels with Interference: Structured Codes Outperform Gaussian Signaling. - Narayana P. Santhanam, Martin J. Wainwright:
Information-theoretic limits of selecting binary graphical models in high dimensions. - Xiang He, Aylin Yener:
The Gaussian Many-to-One Interference Channel with Confidential Messages. - Xiang He, Aylin Yener:
K-user Interference Channels: Achievable Secrecy Rate and Degrees of Freedom. - Xiang He, Aylin Yener:
Providing Secrecy with Lattice Codes. - Soumya Banerjee:
An Immune System Inspired Approach to Automated Program Verification. - Kamel Aouiche, Daniel Lemire, Robert Godin:
Web 2.0 OLAP: From Data Cubes to Tag Clouds. - Walid Saad, Zhu Han, Mérouane Debbah, Are Hjørungnes, Tamer Basar:
Coalitional Games for Distributed Collaborative Spectrum Sensing in Cognitive Radio Networks. - Samir Medina Perlaza, Mérouane Debbah, Samson Lasaulce, Hanna Bogucka:
On the Benefits of Bandwidth Limiting in Decentralized Vector Multiple Access Channels. - Tao Cui, Tracey Ho, Jörg Kliewer:
Achievable Rate and Optimal Physical Layer Rate Allocation in Interference-Free Wireless Networks. - Danilo Silva, Weifei Zeng, Frank R. Kschischang:
Sparse Network Coding with Overlapping Classes. - Beom Jun Kim, Petter Holme, Viktória Fodor:
Heterogeneous attachment strategies optimize the topology of dynamic wireless networks. - Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Vérel:
Do not Choose Representation just Change: An Experimental Study in States based EA. - Elena Grigorescu, Tali Kaufman, Madhu Sudan:
Succinct Representation of Codes with Applications to Testing. - Nassir Mohammad, Alexander Balinsky:
Colorization of Natural Images via L1 Optimization. - Jacob H. Oaknin:
A statistical learning approach to color demosaicing. - Subhash C. Kak:
Cryptography for Multi-Located Parties. - Juan-Manuel Torres-Moreno, Pier-Luc St-Onge, Michel Gagnon, Marc El-Bèze, Patrice Bellot:
Automatic Summarization System coupled with a Question-Answering System (QAAS). - Andrew Guillory, Jeff A. Bilmes:
Average-Case Active Learning with Costs. - Ye Du:
On the Complexity of Deciding Degeneracy in Games. - Muhammad Fainan Hanif, Mansoor Shafi, Peter J. Smith
Interference and Deployment Issues for Cognitive Radio Systems in Shadowing Environments. - Muhammad Fainan Hanif, Peter J. Smith
Performance of Cognitive Radio Systems with Imperfect Radio Environment Map Information. - Anwar Al Hamra, Nikitas Liogkas, Arnaud Legout
Swarming Overlay Construction Strategies. - Katarina Borg Gyllenbäck:
Narrative Bridging - a specification of a modelling method for game design. - Enrico Paolini, Mark F. Flanagan, Marco Chiani, Marc P. C. Fossorier:
On a Class of Doubly-Generalized LDPC Codes with Single Parity-Check Variable Nodes. - Sung Hoon Lim, Young-Han Kim, Sae-Young Chung:
Deterministic Relay Networks with State Information. - Travis Gagie, Gonzalo Navarro, Yakov Nekrich:
Fast and Compact Prefix Codes. - Yevgeny Kazakov, Ian Pratt-Hartmann:
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. - Vinod M. Prabhakaran, Pramod Viswanath:
Interference Channels with Source Cooperation. - Ayan Mahalanobis:
The discrete logarithm problem in the group of non-singular circulant matrices. - Jean Mairesse, Hoang-Thach Nguyen:
Deficiency Zero Petri Nets and Product Form. - Tanmoy Chakraborty, Zhiyi Huang, Sanjeev Khanna:
Dynamic and Non-Uniform Pricing Strategies for Revenue Maximization. - Muhammad Fainan Hanif, Peter J. Smith
On the Statistics of Cognitive Radio Capacity in Shadowing and Fast Fading Environments. - LianLin Li, Fang Li:
Novel Algorithm for Sparse Solutions to Linear Inverse Problems with Multiple Measurements. - Asim Ghosh, Anindya Sundar Chakrabarti, Bikas K. Chakrabarti:
Kolkata Paise Restaurant Problem in Some Uniform Learning Strategy Limits. - Alessandro Murgia, Giulio Concas, Sandro Pinna, Roberto Tonelli, Ivana Turnu:
Empirical study of software quality evolution in open source projects using agile practices. - Alessandro Murgia, Giulio Concas, Michele Marchesi, Roberto Tonelli, Ivana Turnu:
An Analysis of Bug Distribution in Object Oriented Systems. - Maarten Hijzelendoorn, Crit Cremers:
An Object-Oriented and Fast Lexicon for Semantic Generation. - Semen S. Kutateladze:
The Game of Cipher Beads. - Paul M. B. Vitányi:
Information Distance in Multiples. - Haris Aziz, Mike Paterson:
False name manipulations in weighted voting games: splitting, merging and annexation. - George Parfionov, Roman R. Zapatrin:
Memento Ludi: Information Retrieval from a Game-Theoretic Perspective. - Athanasios Kehagias, Geoffrey A. Hollinger, A. Gelastopoulos:
Searching the Nodes of a Graph: Theory and Algorithms. - John Langford, Ruslan Salakhutdinov, Tong Zhang:
Learning Nonlinear Dynamic Models. - Marko A. Rodriguez:
Interpretations of the Web of Data. - Long Gao, Rui Zhang, Changchuan Yin, Shuguang Cui:
Throughput and Delay Scaling in Supportive Two-Tier Networks. - Umaa Rebbapragada, Pavlos Protopapas, Carla E. Brodley, Charles R. Alcock:
Finding Anomalous Periodic Time Series: An Application to Catalogs of Periodic Variable Stars. - Moshe Babaioff, Liad Blumrosen, Aaron Roth:
Auctions with Online Supply. - Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A Type System for Parallel Components. - Rui Zhang, John M. Cioffi:
Exploiting Opportunistic Multiuser Detection in Decentralized Multiuser MIMO Systems. - Rui Zhang:
On Active Learning and Supervised Transmission of Spectrum Sharing Based Cognitive Radios by Exploiting Hidden Primary Radio Feedback. - Fabian Kuhn, Rotem Oshman:
Gradient Clock Synchronization using Reference Broadcasts. - Dusko Pavlovic:
A semantical approach to equilibria and rationality. - Cristian Constantin Lalescu:
Two hierarchies of spline interpolations. Practical algorithms for multivariate higher order splines. - Cyril Voyant, Marc Muselli, Christophe Paoli, Marie-Laure Nivet, Philippe Poggi:
Predictability of PV power grid performance on insular sites without weather stations: use of artificial neural networks. - Yoshiharu Maeno:
Profiling of a network behind an infectious disease outbreak. - Luc Devroye, Joachim Gudmundsson, Pat Morin:
On the Expected Maximum Degree of Gabriel and Yao Graphs. - Muhammad Fainan Hanif, Peter J. Smith
Level Crossing Rates of Interference in Cognitive Radio Networks. - Mattheos K. Protopapas, Elias B. Kosmatopoulos, Francesco Battaglia:
Coevolutionary Genetic Algorithms for Establishing Nash Equilibrium in Symmetric Cournot Games. - Johan van Benthem, Balder ten Cate, Jouko A. Väänänen:
Lindström theorems for fragments of first-order logic. - Vadim R. Madgazin:
Major and minor. The formula of musical emotions. - Mari Kobayashi, Nihar Jindal, Giuseppe Caire:
Optimized Training and Feedback for MIMO Downlink Channels. - Rustam Tagiew:
Towards Barter Double Auction as Model for Bilateral Social Cooperations. - Limin Xiang:
A formal proof of the four color theorem. - Evan VanderZee, Anil N. Hirani, Vadim Zharnitsky, Damrong Guoy:
A Dihedral Acute Triangulation of the Cube. - Toby Walsh:
Where are the really hard manipulation problems? The phase transition in manipulating the veto rule. - Christian Koller, Alexandre Graell i Amat, Jörg Kliewer, Daniel J. Costello Jr.:
Trapping Set Enumerators for Repeat Multiple Accumulate Code Ensembles. - Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. - Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. - Suresh Manandhar, Armagan Tarim, Toby Walsh:
Scenario-based Stochastic Constraint Programming. - Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. - Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints. - Subhash C. Kak:
Memory Retrieved from Single Neurons. - Fabio Fassetti, Luigi Palopoli:
On the complexity of identifying Head Elementary Set Free programs. - Subhas Kumar Ghosh, Koushik Sinha:
Some Results On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs. - Fionn Murtagh, Adam Ganz, Stewart McKie, Josiane Mothe, Kurt Englmeier:
Tag Clouds for Displaying Semantics: The Case of Filmscripts. - Aman Jain, Sanjeev R. Kulkarni, Sergio Verdú:
Multicasting in Large Wireless Networks: Bounds on the Minimum Energy per Bit. - Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko:
Swap Bribery. - Russell K. Standish:
SuperNOVA: a novel algorithm for graph automorphism calculations. - Onur Ozan Koyluoglu, Hesham El Gamal:
Cooperative Binning and Channel Prefixing for Secrecy in Interference Channels. - Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll:
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems. - Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll:
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. - Mahzad Kalantari, Amir Hashemi, Franck Jung, Jean-Pierre Guédon:
A New Solution to the Relative Orientation Problem using only 3 Points and the Vertical Direction. - Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal byzantine resilient convergence in oblivious robot networks. - Angelos Mantzaflaris
Continued Fraction Expansion of Real Roots of Polynomial Systems. - Pierre Hyvernat:
Predicate Transformers and Linear Logic, yet another denotational model. - Jean-Marc Kelif:
A Physical Model of Wireless Network. - Paramveer S. Dhillon, Dean P. Foster, Lyle H. Ungar:
Transfer Learning Using Feature Selection. - Joakim Jaldén, Petros Elia:
DMT Optimality of LR-Aided Linear Decoders for a General Class of Channels, Lattice Designs, and System Models. - Rudi Cilibrasi, Paul M. B. Vitányi:
Normalized Web Distance and Word Similarity. - Walid Saad, Zhu Han, Mérouane Debbah, Are Hjørungnes, Tamer Basar:
Coalitional Game Theory for Communication Networks: A Tutorial. - Pierre Hyvernat:
Finiteness spaces, graphs and "coherence". - Pierre Hyvernat:
A Completeness Theorem for "Total Boolean Functions". - Pierre Hyvernat:
Interaction Systems and Linear Logic, a different games semantics. - Peter Hancock, Pierre Hyvernat:
Programming interfaces and basic topology. - André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free proofs and finitary games for Linear Logic. - Pierre Hyvernat:
Synchronous Games, Simulations and lambda-calculus. - Lukasz Jez:
A 4/3-competitive randomised algorithm for online packet scheduling with agreeable deadlines. - Fangwen Fu, Mihaela van der Schaar:
Structural Solutions for Cross-Layer Optimization of Wireless Multimedia Transmission. - Bart Jacobs:
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. - Cong Shen, Michael P. Fitz:
Hybrid ARQ in Multiple-Antenna Slow Fading Channels: Performance Limits and Optimal Linear Dispersion Code Design. - Jon Feldman, Aranyak Mehta, Vahab S. Mirrokni, S. Muthukrishnan:
Online Stochastic Matching: Beating 1-1/e. - Christos Attikos, Michael Doumpos:
Faster estimation of the correlation fractal dimension using box-counting. - Zvika Brakerski, Boaz Patt-Shamir:
Distributed Discovery of Large Near-Cliques. - (Withdrawn) Codes over Quaternion Integers.
- D. L. Shepelyansky, O. V. Zhirov:
Google matrix and dynamical attractors. - Murat Guzeltepe, Mehmet Özen:
Cyclic Codes over Some Finite Rings. - Joakim Grahl Knudsen, Constanza Riera, Lars Eirik Danielsen, Matthew Geoffrey Parker, Eirik Rosnes:
Iterative Decoding on Multiple Tanner Graphs Using Random Edge Local Complementation. - Murat Guzeltepe, Mehmet Özen:
Cyclic Codes over Some Finite Quaternion Integer Rings. - Tomás Masopust:
Answers to Questions Formulated in the Paper "On States Observability in Deterministic Finite Automata". - Richard Garner, Tom Hirschowitz
Variable binding, symmetric monoidal closed theories, and bigraphs. - A. T. Akinwale, F. T. Ibharalu:
The Usefulness of Multilevel Hash Tables with Multiple Hash Functions in Large Databases. - Alasu Paul Sabrin:
Multimedia Aplication for Solving a Sudoku Game. - Cristian Anghel, Vlad Muia, Miodrag Stoianovici:
Development and Optimization of a Multimedia Product. - Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli:
Strong Dependencies between Software Components. - Bernard Chazelle:
The Convergence of Bird Flocking. - Daniel de Carvalho:
Execution Time of lambda-Terms via Denotational Semantics and Intersection Types. - Jaspreet Singh, Upamanyu Madhow:
On Block Noncoherent Communication with Low-Precision Phase Quantization at the Receiver. - Valerian Antohe, Constantin Stanciu:
Mathematical Models in Danube Water Quality. - Yanjing Wang, Francien Dechesne:
On expressive power and class invariance. - Daniil Ryabko:
Characterizing predictable classes of processes. - Christoph Benzmueller:
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study. - Fahem Kebair, Frédéric Serin:
Information Modeling for a Dynamic Representation of an Emergency Situation. - Valerian Antohe:
Limits of Educational Soft "GeoGebra" in a Critical Constructive Review. - Sebastien Bruyere, Vincent Pillet, Luc Quoniam:
Proposition d'une methode de qualification et de selection d'un logiciel d'analyse et de suivi du referencement dans les moteurs de recherche. - Otfried Cheong, Antoine Vigneron, Juyoung Yon:
Reverse nearest neighbor queries in fixed dimension. - Greg N. Frederickson, Barry Wittman:
Approximation Algorithms for the Traveling Repairman and Speeding Deliveryman Problems. - Paul M. B. Vitányi:
Analysis of Sorting Algorithms by Kolmogorov Complexity (A Survey). - Ali Tajer, Xiaodong Wang:
Beacon-Assisted Spectrum Access with Cooperative Cognitive Transmitter and Receiver. - Qi Cheng, Xianmeng Meng, Celi Sun, Jiazhe Chen:
Bounding the Sum of Square Roots via Lattice Reduction. - Tarik Ait-Idir, Samir Saoudi:
Turbo Packet Combining Strategies for the MIMO-ISI ARQ Channel. - Alexandre Graell i Amat, Raphaël Le Bidan:
Minimum Distance and Convergence Analysis of Hamming-Accumulate-Acccumulate Codes. - Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
Confluence Results for a Quantum Lambda Calculus with Measurements. - (Withdrawn) Weak Evolvability Equals Strong Evolvability.
- Piotr Bania:
Generic Unpacking of Self-modifying, Aggressive, Packed Binary Programs. - Omar Sakka, Valerie Botta-Genoulaz, Lorraine Trilling
Modélisation des facteurs influençant la performance de la chaîne logistique. - Dominique Duval, Jean-Claude Reynaud:
About raising and handling exceptions. - Claudiu Chirilov:
Iterative Methods for Systems' Solving - a C# approach. - Alexandru Cicortas, Victoria Iordan, Alexandra Fortis:
Considerations on Construction Ontologies. - Adrian Cojocariu, Cristina Ofelia Stanciu:
XML Technologies in Computer Assisted Learning and Testing Systems. - Ovidiu Crista:
Techniques for Securing Data Exchange between a Database Server and a Client Program. - Georgiana Petruta Fintineanu, Florentina Anica Pintea:
Designing a Framework to Develop WEB Graphical Interfaces for ORACLE Databases - Web Dialog. - Alexandra Fortis:
Indexing Research Papers in Open Access Databases. - Ioana Iacob:
The Effectiveness of Computer Assisted Classes for English as a Second Language. - Jan A. Bergstra, Inge Bethke:
Straight-line instruction sequence completeness for total calculation on cancellation meadows. - Daniela Ilea:
Athos - The C# GUI Generator. - Alexander Artikis, Georgios Paliouras:
A Logic Programming Approach to Behaviour Recognition. - Paolo Bolettieri
CoPhIR: a Test Collection for Content-Based Image Retrieval. - Zhiheng Li, Li Li, Yudong Chen, Yi Zhang:
Quantization Errors of fGn and fBm Signals. - Yan Xin, Honghai Zhang:
A Simple Sequential Spectrum Sensing Scheme for Cognitive Radio. - Zuleita Ka Ming Ho, Vincent K. N. Lau, Roger Shu-Kwan Cheng:
Cross-Layer Design of FDD-OFDM Systems based on ACK/NAK Feedbacks. - Léonard Kwuida, Rokia Missaoui, Lahcen Boumedjout, Jean Vaillancourt:
Mining Generalized Patterns from Large Databases using Ontologies. - Mehrdad Nojoumian, Timothy C. Lethbridge:
Reengineering PDF-Based Documents Targeting Complex Software Specifications. - Mark Tygert:
A fast algorithm for computing minimal-norm solutions to underdetermined systems of linear equations. - Gregory Leighton, Denilson Barbosa:
Optimizing XML Compression. - K. B. Nakshatrala, Albert J. Valocchi:
Variational structure of the optimal artificial diffusion method for the advection-diffusion equation. - Neil Ghani, Peter G. Hancock, Dirk Pattinson:
Representations of Stream Processors Using Nested Fixed Points. - Joaquín García-Alfaro, Guillermo Navarro-Arribas:
A Survey on Cross-Site Scripting Attacks. - Alin Isac, Claudia Isac:
Informatics Issues Used in the Production Dashboard. - K. S. Jasmine, R. Vasantha:
Derivation of UML Based Performance Models for Design Assessment in a Reuse Based Software Development Approach. - Tiberiu Marius Karnyanszky, Ovidiu Crista, Catalin Tuican:
Computer Based Interpretation of the Students' Evaluation of the Teaching Staff. - Dan L. Lacrama, Ioan Snep:
Flexible frontiers for text division into rows. - Lucian Luca, Lucian L. Luca:
Aspects Regarding Operations with Fuzzy Processes. - Lucian Luca, Lucian L. Luca:
On Some Manipulations with Fuzzy Processes. - Laura Maruster, Stefan Maruster:
On the Convex Feasibility Problem. - Josep M. Pujol, Vijay Erramilli, Pablo Rodriguez:
Divide and Conquer: Partitioning Online Social Networks. - James D. Currie:
The lexicographically least word in the orbit closure of the Rudin-Shapiro word. - Vladimir Mordachev, Sergey Loyka:
On Node Density -- Outage Probability Tradeoff in Wireless Networks. - Therese Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, Maxwell Young:
Fixed-Parameter Tractability and Improved Approximations for Segment Minimization. - Kiryung Lee, Yoram Bresler:
ADMiRA: Atomic Decomposition for Minimum Rank Approximation. - Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam:
Quantum deformations of the restriction of GLmn(C)-modules to GLm(C) × GLn(C). - R. Dean Malmgren, Jake M. Hofman, Luís A. Nunes Amaral, Duncan J. Watts:
Characterizing Individual Communication Patterns. - Sahand N. Negahban, Martin J. Wainwright:
Simultaneous support recovery in high dimensions: Benefits and perils of block l1/linfinity-regularization. - Carlos P. Roca, José A. Cuesta, Ángel Sánchez:
Imperfect Imitation Can Enhance Cooperation. - Vincent Y. F. Tan, Animashree Anandkumar, Lang Tong, Alan S. Willsky:
A Large-Deviation Analysis of the Maximum-Likelihood Learning of Markov Tree Structures. - Vinko Zlatic, Gourab Ghoshal, Guido Caldarelli:
Hypergraph topological quantities for tagged social networks. - Ivan Soprunov, Evgenia Soprunova:
Bringing Toric Codes to the next dimension. - Aram Galstyan, Vahe L. Musoyan, Paul R. Cohen:
Maximizing Influence Propagation in Networks with Community Structure. - James D. Currie, Narad Rampersad:
A proof of Dejean's conjecture. - Jean B. Lasserre, Eduardo S. Zeron:
Certificates and relaxations for integer programming and the semi-group membership problem. - Shiqian Ma, Donald Goldfarb, Lifeng Chen:
Fixed Point and Bregman Iterative Methods for Matrix Rank Minimization. - S. Bradde, Alfredo Braunstein, H. Mahmoudi, F. Tria, Martin Weigt, Riccardo Zecchina:
Aligning graphs and finding substructures by message passing. - Jenia Jitsev, Christoph von der Malsburg:
Experience-driven formation of parts-based representations in a model of layered visual memory. - Alain Couvreur:
Residus de 2-formes differentielles sur les surfaces algebriques et applications aux codes correcteurs d'erreurs. - Alain Couvreur:
Differential approach for the study of duals of algebraic-geometric codes on surfaces. - Alain Couvreur:
The dual minimum distance of arbitrary dimensional algebraic--geometric codes. - Daniel Gottesman, Sandy Irani:
The Quantum and Classical Complexity of Translationally Invariant Tiling and Hamiltonian Problems. - Alexander Barg, Oleg R. Musin:
Bounds on sets with few distances. - Guangyue Han, Brian H. Marcus, Yuval Peres:
A note on a complex Hilbert metric with application to domain of analyticity for entropy rate of hidden Markov processes. - René David:
A direct proof of the confluence of combinatory strong reduction. - Haiping Huang, Haijun Zhou:
The cavity approach to the Sourlas code system. - René David, Marek Zaionc:
Counting proofs in propositional logic. - René David, Karim Nour:
Strong normalization results by translation. - (Withdrawn) Information erasure lurking behind measures of complexity.
- Italo J. Dejter:
SQS-graphs of Solov'eva-Phelps codes. - Ricardo López-Ruiz, A. Nagy, Elvira Romera, Jaime Sanudo:
A Generalized Statistical Complexity Measure: Applications to Quantum Systems. - Kenichi Kurihara, Shu Tanaka, Seiji Miyashita:
Quantum Annealing for Clustering. - Issei Sato, Kenichi Kurihara, Shu Tanaka, Hiroshi Nakagawa, Seiji Miyashita:
Quantum Annealing for Variational Bayes Inference. - Christopher J. Ellison, John R. Mahoney, James P. Crutchfield:
Prediction, Retrodiction, and The Amount of Information Stored in the Present. - Ernesto Estrada, Naomichi Hatano:
Communicability Graph and Community Structures in Complex Networks. - Prasanta K. Panigrahi, Sayantan Ghosh, P. Manimaran, Dilip P. Ahalpara:
Statistical Properties of Fluctuations: A Method to Check Market Behavior. - Deanna Needell:
Topics in Compressed Sensing. - Daniil Ryabko:
A criterion for hypothesis testing for stationary processes. - Andrei Kuleshov, Alexander A. Reshetnyak:
Programming Realization of Symbolic Computations for Non-linear Commutator Superalgebras over the Heisenberg-Weyl Superalgebra: Data Structures and Processing Methods. - Donna Dodson, Mikio Fujiwara, Philippe Grangier, Masahito Hayashi, Kentaro Imafuku, Ken-ichi Kitayama, Prem Kumar, Christian Kurtsiefer, Gaby Lenhart, Norbert Lütkenhaus, Tsutomu Matsumoto, William J. Munro, Tsuyoshi Nishioka, Momtchil Peev, Masahide Sasaki, Yutaka Sata, Atsushi Takada, Masahiro Takeoka, Kiyoshi Tamaki, Hidema Tanaka, Yasuhiro Tokura, Akihisa Tomita, Morio Toyoshima, Rodney Van Meter, Atsuhiro Yamagishi, Yoshihisa Yamamoto, Akihiro Yamamura:
Updating Quantum Cryptography Report ver. 1. - Zvika Ben-Haim, Yonina C. Eldar:
The Cramer-Rao Bound for Sparse Estimation. - Vin de Silva, Mikael Vejdemo-Johansson:
Persistent Cohomology and Circular Coordinates. - Jan Foniok, Jaroslav Nesetril, Claude Tardif:
Interleaved adjoints on directed graphs. - Predrag R. Jelenkovic, Mariana Olvera-Cravioto:
Information Ranking and Power Laws on Trees. - Peter Scheiblechner:
Castelnuovo-Mumford Regularity and Computing the de Rham Cohomology of Smooth Projective Varieties. - Zurab K. Silagadze:
Citation entropy and research impact estimation. - Vadim E. Levit, Eugen Mandrescu:
Greedoids on Vertex Sets of Unicycle Graphs. - Vadim E. Levit, Eugen Mandrescu:
A Simple Proof of an Inequality Connecting the Alternating Number of Independent Sets and the Decycling Number. - David S. Herscovici, Benjamin D. Hester, Glenn H. Hurlbert:
t-Pebbling and Extensions. - Michael J. Neely:
Stochastic Optimization for Markov Modulated Networks with Application to Delay Constrained Wireless Scheduling.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: