CoRR, October 2006
- S. Aogaki, I. Moritani, T. Sugai, F. Takeutchi, F. M. Toyama:
Conditional Expressions for Blind Deconvolution: Derivative form. - Ittai Abraham, Yair Bartal, Ofer Neiman:
Embedding Metrics into Ultrametrics and Graphs into Spanning Trees with Constant Average Distortion. - Gérard Becher, Patrice Enjalbert, Estelle Fievé, Laurent Gosselin, François Lévy, Gérard Ligozat:
Rapport technique du projet OGRE. - Adrian Paschke:
A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems. - Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Edwin A. Henneken, Donna M. Thompson, Michael J. Kurtz, Stephen S. Murray:
Full Text Searching in the Astrophysics Data System. - Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Edwin A. Henneken, Donna M. Thompson, Michael J. Kurtz, Stephen S. Murray:
Connectivity in the Astronomy Digital Library. - Alberto Accomazzi, Günther Eichhorn, Michael J. Kurtz, Carolyn Stern-Grant, Edwin A. Henneken, Markus Demleitner, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray:
Creation and use of Citations in the ADS. - N. Rajesh Pillai, Yogesh Kumar:
On Shift Sequences for Interleaved Construction of Sequence Sets with Low Correlation. - Max Tuengerthal, Ralf Küsters, Mathieu Turuani:
Implementing a Unification Algorithm for Protocol Analysis with XOR. - Farid Nouioua:
Raisonnement stratifié à base de normes pour inférer les causes dans un corpus textuel. - Juan J. Samper, Pedro A. Castillo, Lourdes Araujo, Juan Julián Merelo Guervós:
NectaRSS, an RSS feed ranking system that implicitly learns user preferences. - Amir Bennatan, David Burshtein:
On the Fading Paper Achievable Region of the Fading MIMO Broadcast Channel. - Belynda Brahimi, Christophe Aubrun, Eric Rondeau:
Network calculus based FDI approach for switched Ethernet architecture. - Carolyn Stern-Grant, Alberto Accomazzi, Donna M. Thompson, Edwin A. Henneken, Günther Eichhorn, Michael J. Kurtz, Stephen S. Murray:
Data in the ADS -- Understanding How to Use it Better. - Donna M. Thompson, Alberto Accomazzi, Günther Eichhorn, Carolyn Stern-Grant, Edwin A. Henneken, Michael J. Kurtz, Elizabeth Bohlen, Stephen S. Murray:
Paper to Screen: Processing Historical Scans in the ADS. - Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaoming Liu, Sandy Payette, Herbert Van de Sompel:
Pathways: Augmenting interoperability across scholarly repositories. - (Withdrawn) Pipelined Feed-Forward Cyclic Redundancy Check (CRC) Calculation.
- Marco Cuturi, Jean-Philippe Vert, Øystein Birkenes, Tomoko Matsui:
A kernel for time series based on global alignments. - (Withdrawn) Postinal Determinacy of Games with Infinitely Many Priorities.
- Koji Nuida, Manabu Hagiwara, Hajime Watanabe, Hideki Imai:
Optimal probabilistic fingerprinting codes using optimal finite random variables related to numerical quadrature. - Neil Rubens:
The Application of Fuzzy Logic to the Construction of the Ranking Function of Information Retrieval Systems. - Jérémy Fix, Julien Vitay, Nicolas P. Rougier:
A Computational Model of Spatial Memory Anticipation during Visual Search. - Thierry Turletti, Yongho Seok:
Mécanismes de Transmission Multipoint pour Réseaux Locaux Sans Fil IEEE 802.11. - Haim H. Permuter, Paul Cuff, Benjamin Van Roy, Tsachy Weissman:
Capacity of the Trapdoor Channel with Feedback. - Nathan Keller, Stephen D. Miller, Ilya Mironov, Ramarathnam Venkatesan:
MV3: A new word based stream cipher using rapid mixing and revolving buffers. - Mohab Safey El Din, Philippe Trebuchet:
Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry. - Chih-Chun Wang, Sanjeev R. Kulkarni, H. Vincent Poor:
Finite-Dimensional Bounds on Zm and Binary LDPC Codes with Belief Propagation Decoders. - Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang:
Enumeration Problems Related to Ground Horn Theories. - Alexander V. Smirnov, Tatiana Levashova, Mikhail Pashkin, Nikolay Shilov, Andrew Krizhanovsky, Alexey Kashevnik, A. S. Komarova:
Context-sensitive access to e-document corpus. - Claire Jonchery, Françoise Dibos, Georges Koepfler:
Camera motion estimation through planar deformation determination. - Mark Levene, Judit Bar-Ilan:
Comparing Typical Opening Move Choices Made by Humans and Chess Engines. - Frédéric Blanqui:
A type-based termination criterion for dependently-typed higher-order rewrite systems. - Frédéric Blanqui:
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce. - Georg Schmidt, Vladimir Sidorenko, Martin Bossert:
Collaborative Decoding of Interleaved Reed-Solomon Codes and Concatenated Code Designs. - Diederik Aerts, Marek Czachor, Bart De Moor:
On Geometric Algebra representation of Binary Spatter Codes. - Willy Valdivia Granda, William Perrizo, Edward Deckard, Francis Larson:
Peano Count Trees (P-Trees) and Rule Association Mining for Gene Expression Profiling of Microarray Data. - Niranjay Ravindran, Nihar Jindal:
MIMO Broadcast Channels with Block Diagonalization and Finite Rate Feedback. - Fehmi Ben Abdesslem, Luigi Iannone, Marcelo Dias de Amorim, Katia Obraczka, Ignacio Solis, Serge Fdida:
Rapid Prototyping over IEEE 802.11. - Stéphane Le Roux, Martin Ziegler:
Computable Closed Euclidean Subsets with and without Computable Points. - Lars Birkedal, Noah Torp-Smith, Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. - Thomas Claveirole, Marcelo Dias de Amorim, Michel Abdalla, Yannis Viniotis:
Share and Disperse: How to Resist Against Aggregator Compromises in Sensor Networks. - Joud Khoury, Henry N. Jerez, Nicolas Nehme-Antoun, Chaouki T. Abdallah:
An Application of the Mobile Transient Internet Architecture to IP Mobility and Inter-Operability. - Himanshu Thapliyal, Hamid R. Arabnia, A. Prasad Vinod:
Combined Integer and Floating Point Multiplication Architecture(CIFM) for FPGAs and Its Reversible Logic Implementation. - Ricardo Mansilla, E. Köppen, Germinal Cocho, Pedro Miramontes:
On the Behavior of Journal Impact Factor Rank-Order Distribution. - Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. - Young-Han Nam, Praveen Kumar Gopala, Hesham El Gamal:
ARQ Diversity in Fading Random Access Channels. - Praveen Kumar Gopala, Young-Han Nam, Hesham El Gamal:
On the Error Exponents of ARQ Channels with Deadlines. - Mohamed El Baker Nassar, Radu State, Olivier Festor:
Intrusion detection mechanisms for VoIP applications. - Marc Daumas, David R. Lester:
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors. - Shengtian Yang, Peiliang Qiu:
On the Performance of Lossless Joint Source-Channel Coding Based on Linear Codes. - Antonio Miguel Mora, Juan Julián Merelo Guervós, Cristian Millán, Juan Torrecillas, Juan Luis Jiménez Laredo:
CHAC. A MOACO Algorithm for Computation of Bi-Criteria Military Unit Path in the Battlefield. - (Withdrawn) An Achievable Rate Region for the Gaussian Interference Channel.
- Jeremy Avigad, Yimu Yin:
Quantifier elimination for the reals with a predicate for the powers of two. - Tuomo Kakkonen, Niko Myller, Erkki Sutinen:
Applying Part-of-Seech Enhanced LSA to Automatic Essay Grading. - Russell K. Standish, Duraid Madina:
Classdesc and Graphcode: support for scientific programming in C++. - Ryutaroh Matsumoto:
Construction algorithm for network error-correcting codes attaining the Singleton bound. - Philippe Langlois, Nicolas Louvet:
Faithful Polynomial Evaluation with Compensated Horner Algorithm. - Radoslaw Hofman:
Report on article: P=NP Linear programming formulation of the Traveling Salesman Problem. - Daniel Lemire, Owen Kaser:
Hierarchical Bin Buffering: Online Local Moments for Dynamic External Memory Arrays. - Loris Marchal, Veronika Rehn, Yves Robert, Frédéric Vivien:
Scheduling and data redistribution strategies on star platforms.