default search action
CoRR, February 2007
- Pierre N. Robillard, Patrick d'Astous, Françoise Détienne, Willemien Visser:
Measuring Cognitive Activities in Software Engineering. - Jean-Marie Burkhardt, Françoise Détienne, Susan Wiedenbeck:
The Effect of Object-Oriented Programming Expertise in Several Dimensions of Comprehension Strategies. - Françoise Détienne:
Expert Programming Knowledge: a Schema-Based Approach. - Françoise Détienne:
What model(s) for program understanding? - Jean-Marie Burkhardt, Françoise Détienne:
An empirical study of software reuse by experts in object-oriented design. - Géraldine Martin, Françoise Détienne, Elisabeth Lavigne:
Negotiation in collaborative assessment of design solutions: an empirical study on a Concurrent Engineering process. - Prasanna Chaporkar, Kimmo Kansanen, Ralf R. Müller:
Power Optimal Scheduling for Guaranteed Throughput in Multi-access Fading Channels. - G. Susinder Rajan, B. Sundar Rajan:
MMSE Optimal Algebraic Space-Time Codes. - Ramji Venkataramanan, S. Sandeep Pradhan:
On Evaluating the Rate-Distortion Function of Sources with Feed-Forward and the Capacity of Channels with Feedback. - Jacques Carette:
A canonical form for some piecewise defined functions. - Joseph Y. Halpern, Riccardo Pucella:
Dealing With Logical Omniscience: Expressiveness and Pragmatics. - Daria Sorokina, Johannes Gehrke, Simeon Warner, Paul Ginsparg:
Plagiarism Detection in arXiv. - Leonid Gurvits:
Polynomial time algorithms to approximate mixed volumes within a simply exponential factor. - Constantinos Daskalakis, Alexandros G. Dimakis, Richard M. Karp, Martin J. Wainwright:
Probabilistic Analysis of Linear Programming Decoding. - Alexandros G. Dimakis, Brighten Godfrey, Martin J. Wainwright, Kannan Ramchandran:
Network Coding for Distributed Storage Systems. - Bruno Courcelle:
A multivariate interlace polynomial. - Tor Aulin:
Comment on Improved Analysis of List Decoding and Its Application to Convolutional Codes and Turbo Codes. - Matthew T. Harrison, Ioannis Kontoyiannis:
Estimation of the Rate-Distortion Function. - Maxime Gariel, John-Paul Clarke, Eric Feron:
A Dynamic I/O Model for TRACON Traffic Management. - Qinqin Yang, Zhongping Qin:
Construction of Minimal Tail-Biting Trellises for Codes over Finite Abelian Groups. - Xing M. Wang
:
Probability Bracket Notation, Probability Vectors, Markov Chains and Stochastic Processes. - Chunxi Li, Changjia Chen:
Gnutella: Topology Dynamics On Phase Space. - Sanjay Karmakar, B. Sundar Rajan:
High-rate, Multi-Symbol-Decodable STBCs from Clifford Algebras. - Michael Chertkov, Mikhail G. Stepanov:
Searching for low weight pseudo-codewords. - Markus Püschel, José M. F. Moura:
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs. - Ravi Shankar Gautam:
Shape preservation behavior of spline curves. - Andrew Gacek:
The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi. - Florentin Smarandache
Uniform and Partially Uniform Redistribution Rules. - Mario Szegedy, Mikkel Thorup:
On the variance of subset sum estimation. - Nihar Jindal, Jeffrey G. Andrews, Steven Weber:
Optimizing the SINR operating point of spatial networks. - Giuseppe Caire, Nihar Jindal, Mari Kobayashi, Niranjay Ravindran:
Quantized vs. Analog Feedback for the MIMO Downlink: A Comparison between Zero-Forcing Based Achievable Rates. - Reid Andersen:
Finding large and small dense subgraphs. - Alexander Barg, Punarbasu Purkayastha:
Bounds on ordered codes and orthogonal arrays. - L. Jeganathan, Raghavan Rama:
Graph Splicing System. - Samar Agnihotri:
New Models for the Correlation in Sensor Data. - Clare Dixon, Michael Fisher, Boris Konev
Efficient First-Order Temporal Logic for Infinite-State Systems. - Minkyu Kim, Muriel Médard, Varun Aggarwal, Una-May O'Reilly, Wonsik Kim, Chang Wook Ahn, Michelle Effros:
Evolutionary Approaches to Minimizing Network Coding Resources. - Minkyu Kim, Varun Aggarwal, Una-May O'Reilly, Muriel Médard, Wonsik Kim:
Genetic Representations for Evolutionary Minimization of Network Coding Resources. - Otfried Cheong, Xavier Goaoc, Andreas F. Holmsen, Sylvain Petitjean:
Hadwiger and Helly-type theorems for disjoint unit spheres. - Yves Guiraud:
Polygraphs for termination of left-linear term rewriting systems. - Robert Brijder, Hendrik Jan Hoogeboom:
The Fibers and Range of Reduction Graphs in Ciliates. - Luís M. B. Lopes, Francisco Martins, Miguel S. Silva, João Barros:
A Formal Model for Programming Wireless Sensor Networks. - Chính T. Hoàng, Marcin Kaminski, Vadim V. Lozin, Joe Sawada, Xiao Shu:
Deciding k-colourability of P_5-free graphs in polynomial time. - Andrew M. Hunter, Jeffrey G. Andrews, Steven Weber:
Capacity Scaling of Ad Hoc Networks with Spatial Diversity. - Raúl H. Etkin, David Tse, Hua Wang:
Gaussian Interference Channel Capacity to Within One Bit. - Shenghui Su, Shuwang Lü:
The Design, Analysis and Optimization of the REESSE1+ Public-key Cryptosystem. - Holger Spakowski, Rahul Tripathi:
Hierarchical Unambiguity. - Ken Wakita, Toshiyuki Tsurumi:
Finding Community Structure in Mega-scale Social Networks. - Noga Alon, Fedor V. Fomin, Gregory Z. Gutin, Michael Krivelevich, Saket Saurabh:
Parameterized Algorithms for Directed Maximum Leaf Problems. - Thorsten Hehn, Olgica Milenkovic, Stefan Laendner, Johannes B. Huber:
Permutation Decoding and the Stopping Redundancy Hierarchy of Linear Block Codes. - Ender Tekin, Aylin Yener:
The Gaussian multiple access wire-tap channel: wireless secrecy and cooperative jamming. - Adrià Tauste Campo, Alex J. Grant:
On Random Network Coding for Multicast. - Andrew Badr, Ian Shipman:
The DFAs of Finitely Different Languages. - Christoph Dürr, Kim Thang Nguyen:
Nash equilibria in Voronoi games on graphs. - A. V. Paraskevov:
On the possibility of making the complete computer model of a human brain. - Hanene Mohamed:
A probabilistic analysis of a leader election algorithm. - Mohsen Bahramgiri, Salman Beigi:
An Efficient Algorithm to Recognize Locally Equivalent Graphs in Non-Binary Case. - Kia Kai Li:
Exploring k-Colorability. - Michael B. Baer:
Bounds on Generalized Huffman Codes. - Gwénaël Richomme:
A local balance property of episturmian words. - Gwénaël Richomme:
Sudo-Lyndon. - Luca Gammaitoni:
Noise Limited Computational Speed. - Terence Chan, Alex J. Grant:
Entropy vectors and network codes. - Terence H. Chan:
Group characterizable entropy functions. - Raouf Dridi, Michel Petitot:
Towards a New ODE Solver Based on Cartan's Equivalence Method. - Matthieu Gallet, Yves Robert, Frédéric Vivien:
Comments on "Design and performance evaluation of load distribution strategies for multiple loads on heterogeneous linear daisy chain networks". - Fionn Murtagh:
The Haar Wavelet Transform of a Dendrogram: Additional Notes. - Gesualdo Scutari, Sergio Barbarossa, Loreto Pescosolido:
Distributed Decision Through Self-Synchronizing Sensor Networks in the Presence of Propagation Delays and Nonreciprocal Channels. - Roberto M. Amadio, Frédéric Dabrowski:
Feasible reactivity in a synchronous pi-calculus. - Maria Fresia, Giuseppe Caire:
A Practical Approach to Lossy Joint Source-Channel Coding. - Pulkit Grover, Anant Sahai:
What is needed to exploit knowledge of primary transmissions? - Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Logic Programming with Satisfiability. - Pulkit Grover:
Tradeoff between decoding complexity and rate for codes on graphs. - Josep Díaz, Dieter Mitsche, Xavier Pérez-Giménez:
Dynamic Random Geometric Graphs. - Maurice H. T. Ling:
Firebird Database Backup by Serialized Database Table Dump. - Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien:
A First Step Towards Automatically Building Network Representations. - Maximilien Gadouleau, Zhiyuan Yan:
Properties of Rank Metric Codes. - Reid Andersen:
A Local Algorithm for Finding Dense Subgraphs. - Otfried Cheong, Mira Lee:
The Hadwiger Number of Jordan Regions is Unbounded. - Boris Aronov, Mark de Berg, Otfried Cheong, Joachim Gudmundsson, Herman J. Haverkort, Michiel H. M. Smid, Antoine Vigneron:
Sparse geometric graphs with small dilation. - Rick Dale:
Random Sentences from a Generalized Phrase-Structure Grammar Interpreter. - Ivan Tyukin, Tatiana Tyukina, Cees van Leeuwen:
Invariant template matching in systems with spatiotemporal coding: a vote for instability. - Alexander Serebrenik, Tom Schrijvers, Bart Demoen:
Improving Prolog programs: Refactoring for Prolog. - Bozidar Radunovic, Jean-Yves Le Boudec, Raymond Knopp:
Performance of Ultra-Wideband Impulse Radio in Presence of Impulsive Interference. - Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation. - Nicolai Kuntze, Andreas U. Schmidt:
Protection of DVB Systems by Trusted Computing. - Marc Glisse, Sylvain Lazard:
An Upper Bound on the Average Size of Silhouettes. - Xi Chen, Shang-Hua Teng:
Paths Beyond Local Search: A Nearly Tight Bound for Randomized Fixed-Point Computation. - C. Maria Keet:
Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd. - Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson:
Aperture-Angle and Hausdorff-Approximation of Convex Figures. - Raphaël M. Jungers, Vincent D. Blondel:
Observable Graphs. - Yucel Altug, N. Polat Ayerden, Mehmet Kivanç Mihçak, Emin Anarim:
A Note on the Periodicity and the Output Rate of Bit Search Type Generators. - Ashish Khisti, Aslan Tchamkerten, Gregory W. Wornell:
Secure Broadcasting. - Darko Fuduric, Marko Horvat, Mario Zagar:
Authentication via wireless networks. - Ayan Mahalanobis:
A note on using finite non-abelian p-groups in the MOR cryptosystem. - David Iclanzan, Dan Dumitrescu:
Overcoming Hierarchical Difficulty by Hill-Climbing the Building Block Structure. - M. D. Atkinson, Hans P. van Ditmarsch, Sigrid Roehling:
Avoiding bias in cards cryptography. - Jari Salo:
A Sum-Product Model as a Physical Basis for Shadow Fading. - Ruoheng Liu, Ivana Maric, Predrag Spasojevic, Roy D. Yates:
Discrete Memoryless Interference and Broadcast Channels with Confidential Messages: Secrecy Rate Regions. - Sundaram Vanka, Mohamad Javad Dehghani, K. M. M. Prabhu, R. Aravind:
A Class of Multi-Channel Cosine Modulated IIR Filter Banks. - Neri Merhav:
An identity of Chernoff bounds with an interpretation in statistical physics and applications in information theory. - Bruce E. Hajek, Kevin Mitzel, Sichao Yang:
Paging and Registration in Cellular Networks: Jointly Optimal Policies and an Iterative Algorithm. - Dirk Lewandowski, Philipp Mayr:
Exploring the academic invisible web. - Ioannis Chatzigeorgiou, Miguel R. D. Rodrigues, Ian J. Wassell, Rolando A. Carrasco:
A Union Bound Approximation for Rapid Performance Evaluation of Punctured Turbo Codes. - David L. Donoho, Hossein Kakavand, James Mammen:
The Simplest Solution to an Underdetermined System of Linear Equations. - Robert Charles, Adigun Ranmi:
Wild, Wild Wikis: A way forward. - Charles A. Robert:
AMIEDoT: An annotation model for document tracking and recommendation service. - Wenyi Zhang, Urbashi Mitra:
Orthogonal Codes for Robust Low-Cost Communication. - Charles A. Robert, Amos David:
AMIE: An annotation model for information research. - Saltuk Aksahin:
Security Implications of Converged Networks and Protecting Them, without Compromising Efficiency. - Andres I. Vila Casado, Miguel Griot, Richard D. Wesel:
Informed Dynamic Scheduling for Belief-Propagation Decoding of LDPC Codes. - Ender Tekin, Aylin Yener:
The General Gaussian Multiple Access and Two-Way Wire-Tap Channels: Achievable Rates and Cooperative Jamming. - David Pritchard:
How to Use Random Circulations to Find Small Cuts. - David Pritchard:
Nearest Neighbor Network Traversal. - Rajesh Sundaresan:
Guessing based on length functions. - David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu:
The Bedwyr system for model checking over syntactic expressions. - Prosenjit Bose, Paz Carmi, Mathieu Couture, Michiel H. M. Smid, Daming Xu:
On a family of strong geometric spanners that admit local routing strategies. - Kwankyu Lee:
Interpolation-based Decoding of Alternant Codes. - (Withdrawn) Solution of Ulam's Conjecture for Connected Graphs.
- Joël Ouaknine, James Worrell:
On the decidability and complexity of Metric Temporal Logic over finite words. - Xing M. Wang
Induced Hilbert Space, Markov Chain, Diffusion Map and Fock Space in Thermophysics. - Thomas Michel, Gerhard Wunder:
Transmitter and Precoding Order Optimization for Nonlinear Downlink Beamforming. - Slavcho Shtrakov, Vladimir Shtrakov:
Tree automata and separable sets of input variables. - Mohsen Bayati, Jeong Han Kim, Amin Saberi:
A Sequential Algorithm for Generating Random Graphs. - Philipp Pluch, Samo Wakounig:
Bayesian Network Tomography and Inference. - Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Michele Malgeri:
Efficient Searching and Retrieval of Documents in PROSA. - Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Michele Malgeri:
Exploiting social networks dynamics for P2P resource organisation. - Xiangao Huang, Wei Huang, Xiaozhou Liu, Chao Wang, Zhu jing Wang, Tao Wang:
Reconstructing the Nonlinear Filter Function of LILI-128 Stream Cipher Based on Complexity. - Slavcho Shtrakov:
Tree Automata and Essential Input Variables. - Georg Schmidt, Vladimir Sidorenko, Martin Bossert:
Syndrome Decoding of Reed-Solomon Codes Beyond Half the Minimum Distance based on Shift-Register Synthesis. - Graham B. Macpherson, Jason M. Reese:
AICA: a New Pair Force Evaluation Method for Parallel Molecular Dynamics in Arbitrary Geometries. - Vikram Chandrasekhar, Jeffrey G. Andrews:
Uplink Capacity and Interference Avoidance for Two-Tier Femtocell Networks. - Vadim Yatsenko:
Fast Exact Method for Solving the Travelling Salesman Problem. - (Withdrawn) Patterns of technological progress: A Predictability-Based Perspective.
- Simon Portegies Zwart, Robert G. Belleman, Peter Geldof:
High Performance Direct Gravitational N-body Simulations on Graphics Processing Units. - Ivo Damyanov, Slavcho Shtrakov:
Essential Inputs and Minimal Tree Automata. - Slavcho Shtrakov:
Tree Automata and Essential Subtrees. - Joakim Jaldén, Björn E. Ottersten:
On the Maximal Diversity Order of Spatial Multiplexing with Transmit Antenna Selection. - Tor Helleseth, Alexander Kholosha, Geir Jarle Ness:
Characterization of m-Sequences of Lengths $2^{2k}-1$ and $2^k-1$ with Three-Valued Crosscorrelation. - Dennis M. Wilkinson, Bernardo A. Huberman:
Assessing the Value of Coooperation in Wikipedia. - Tanya L. Crenshaw, Erin W. Chambers, Heather Metcalf, Umesh Thakkar:
Recruitment, Preparation, Retention: A case study of computing culture at the University of Illinois at Urbana-Champaign. - Daniel Lemire, Martin Brooks, Yuhong Yan:
An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation. - Owen Kaser, Daniel Lemire:
Attribute Value Reordering For Efficient Hybrid OLAP. - Daniel Lemire, Anna Maclachlan:
Slope One Predictors for Online Rating-Based Collaborative Filtering. - Srikumar Venugopal, Krishna Nadiminti, Hussein Gibbins, Rajkumar Buyya:
Designing a Resource Broker for Heterogeneous Grids. - Weiyu Xu:
A Local Tree Structure is NOT Sufficient for the Local Optimality of Message-Passing Decoding in Low Density Parity Check Codes. - Weiyu Xu, Babak Hassibi:
On the Complexity of Exact Maximum-Likelihood Decoding for Asymptotically Good Low Density Parity Check Codes. - Roderick V. N. Melnik:
Linking Microscopic and Macroscopic Models for Evolution: Markov Chain Network Training and Conservation Law Approximations. - Roderick V. N. Melnik:
Coupling Control and Human-Centered Automation in Mathematical Models of Complex Systems. - Robert M. Gray, Takeshi Hashimoto:
A note on rate-distortion functions for nonstationary Gaussian autoregressive processes. - Vladimir Braverman, Rafail Ostrovsky, Carlo Zaniolo:
Succinct Sampling on Streams. - Andrew Gacek, Gopalan Nadathur:
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi. - Kyle W. Burke, Shang-Hua Teng:
Games on the Sperner Triangle. - Lawrence Ong, Mehul Motani:
On the Capacity of the Single Source Multiple Relay Single Destination Mesh Network. - Maurice Margenstern:
On a characterization of cellular automata in tilings of the hyperbolic plane. - Fabrice Guillemin
On the Discovery of Random Trees. - Matei Ripeanu, Adriana Iamnitchi, Ian T. Foster, Anne Rogers:
In Search of Simplicity: A Self-Organizing Multi-Source Multicast Overlay. - Yunxia Chen, Qing Zhao, Ananthram Swami:
Joint Design and Separation Principle for Opportunistic Spectrum Access in the Presence of Sensing Errors. - Fabiano C. Botelho, Rasmus Pagh, Nivio Ziviani:
Perfect Hashing for Data Management Applications. - François Pitt:
A Quantifier-Free String Theory for ALOGTIME Reasoning. - Ying Wang, Pierre Moulin:
Perfectly Secure Steganography: Capacity, Error Exponents, and Code Constructions. - Jong-Shi Pang, Gesualdo Scutari, Francisco Facchinei, Chaoxiong Wang:
Distributed Power Allocation with Rate Constraints in Gaussian Frequency-Selective Interference Channels. - Di Zhang, Roderick V. N. Melnik:
First Passage Time for Multivariate Jump-diffusion Stochastic Models With Applications in Finance. - Di Zhang, Roderick V. N. Melnik:
Monte-Carlo Simulations of the First Passage Time for Multivariate Jump-Diffusion Processes in Financial Applications. - Di Zhang, Roderick V. N. Melnik:
Efficient estimation of default correlation for multivariate jump-diffusion processes. - Di Zhang, Roderick V. N. Melnik:
Solving Stochastic Differential Equations with Jump-Diffusion Efficiently: Applications to FPT Problems in Credit Risk. - Linxiang X. Wang, Roderick V. N. Melnik:
Finite Volume Analysis of Nonlinear Thermo-mechanical Dynamics of Shape Memory Alloys. - Linxiang X. Wang, Roderick V. N. Melnik:
Simulation of Phase Combinations in Shape Memory Alloys Patches by Hybrid Optimization Methods. - James Laird:
Bistable Biorders: A Sequential Domain Theory. - Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh:
Generic Global Constraints based on MDDs. - Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
How Overlap Determines the Macronuclear Genes in Ciliates. - Linxiang X. Wang, Roderick V. N. Melnik:
Numerical Model For Vibration Damping Resulting From the First Order Phase Transformations. - Elitza N. Maneva, Talya Meltzer, Jack Raymond, Andrea Sportiello, Lenka Zdeborová:
A Hike in the Phases of the 1-in-3 Satisfiability. - Florent Krzakala, Jorge Kurchan:
A Landscape Analysis of Constraint Satisfaction Problems. - Enzo Marinari, Guilhem Semerjian, Valery Van Kerrebroeck:
Finding long cycles in graphs. - M. Tentyukov, J. A. M. Vermaseren:
The Multithreaded version of FORM. - Mathilde Bouvel, Dominique Rossin, Stéphane Vialette:
Longest Common Separable Pattern between Permutations. - Audrey Lee, Ileana Streinu:
Pebble Game Algorithms and Sparse Graphs. - David Bremner, Mathieu Dutour Sikiric, Achill Schürmann:
Polyhedral representation conversion up to symmetries. - Martin J. Wainwright:
Information-theoretic limits on sparsity recovery in the high-dimensional and noisy setting. - Olivier Finkel:
An Example of Pi^0_3-complete Infinitary Rational Relation. - Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum:
Matrix norms and rapid mixing for spin systems. - Patrick Letrémy, Marie Cottrell, Eric Esposito, Valérie Laffite, Sally Showk:
Consumer Profile Identification and Allocation. - Ricardo López-Ruiz, Daniele Fournier-Prunaret:
Bistability: a common feature in some "aggregates" of logistic maps. - Alex Arenas, J. Duch, Alberto Fernández, Sergio Gómez:
Size reduction of complex networks preserving modularity. - Pierfrancesco La Mura, Lukasz Swiatczak:
Markovian Entanglement Networks. - Marcus Hutter:
The Loss Rank Principle for Model Selection. - Oskar Sandberg:
Neighbor Selection and Hitting Probability in Small-World Graphs. - Kevin T. Chu:
A Direct Matrix Method for Computing Analytical Jacobians of Discretized Nonlinear Integro-differential Equations. - Patrick M. Hayden, Michal Horodecki, Andreas J. Winter, Jon T. Yard:
A decoupling approach to the quantum capacity.
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-13 01:08 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: