ask others

CoRR, October 2006

> Home > Journals > CoRR

- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610001
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610001
Daisuke Okanohara, Kunihiko Sadakane:
Practical Entropy-Compressed Rank/Select Dictionary.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610002
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610002
S. Aogaki, I. Moritani, T. Sugai, F. Takeutchi, F. M. Toyama:
Conditional Expressions for Blind Deconvolution: Derivative form.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610003
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610003
Ittai Abraham, Yair Bartal, Ofer Neiman:
Embedding Metrics into Ultrametrics and Graphs into Spanning Trees with Constant Average Distortion.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610004
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610004
Gérard Becher, Patrice Enjalbert, Estelle Fievé, Laurent Gosselin, François Lévy, Gérard Ligozat:
Rapport technique du projet OGRE.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610005
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610005
Ran Ren:
Domain Wall Displacement Detection Technology Research Report.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610006
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610006
Adrian Paschke:
A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610007
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610007
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610008
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610008
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610009
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610009
Pascal Koiran, Sylvain Perifel:
VPSPACE and a Transfer Theorem over the Reals.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610010
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610010
Daniel Lemire, Owen Kaser:
One-Pass, One-Hash n-Gram Statistics Estimation.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610011
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610011
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610012
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610012
N. Rajesh Pillai, Yogesh Kumar:
On Shift Sequences for Interleaved Construction of Sequence Sets with Low Correlation.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610013
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610013
Khaled Gaaloul, François Charoy, Claude Godart:
Cooperative Processes for Scientific Workflows.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610014
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610014
Max Tuengerthal, Ralf Küsters, Mathieu Turuani:
Implementing a Unification Algorithm for Protocol Analysis with XOR.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610015
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610015
Farid Nouioua:
Why did the accident happen? A norm-based reasoning approach.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610016
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610016
Farid Nouioua:
Norm Based Causal Reasoning in Textual Corpus.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610017
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610017
Maruti Satti:
A Quasigroup Based Cryptographic System.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610018
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610018
Farid Nouioua:
Raisonnement stratifié à base de normes pour inférer les causes dans un corpus textuel.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610019
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610019
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610020
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610020
William F. Gilreath:
XString: XML as a String.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610021
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610021
Amir Bennatan, David Burshtein:
On the Fading Paper Achievable Region of the Fading MIMO Broadcast Channel.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610022
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610022
Venkatesan Guruswami:
Iterative Decoding of Low-Density Parity Check Codes (A Survey).
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610023
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610023
Farid Nouioua, Daniel Kayser:
Une expérience de sémantique inférentielle.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610024
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610024
Belynda Brahimi, Christophe Aubrun, Eric Rondeau:
Network calculus based FDI approach for switched Ethernet architecture.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610025
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610025
M. Anand, P. Vijay Kumar:
Low Correlation Sequences over QAM and AM-PSK Constellations.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610026
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610026
Leah Epstein, Rob van Stee:
Covering selfish machines.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610027
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610027
Stéphane Demri, Ranko Lazic:
LTL with the Freeze Quantifier and Register Automata.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610028
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610028
Olivier Zendra:
Memory and compiler optimizations for low-power and -energy.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610029
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610029
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610030
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610030
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610031
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610031
Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaoming Liu, Sandy Payette, Herbert Van de Sompel:
Pathways: Augmenting interoperability across scholarly repositories.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610032
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610032
Pipelined Feed-Forward Cyclic Redundancy Check (CRC) Calculation.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610033
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610033
Marco Cuturi, Jean-Philippe Vert, Øystein Birkenes, Tomoko Matsui:
A kernel for time series based on global alignments.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610034
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610034
Postinal Determinacy of Games with Infinitely Many Priorities.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610035
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610035
Erich Grädel, Igor Walukiewicz:
Positional Determinacy of Games with Infinitely Many Priorities.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610036
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610036
Koji Nuida, Manabu Hagiwara, Hajime Watanabe, Hideki Imai:
Optimal probabilistic fingerprinting codes using optimal finite random variables related to numerical quadrature.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610037
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610037
Nan Liu, Sennur Ulukus:
The Capacity Region of a Class of Discrete Degraded Interference Channels.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610038
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610038
Hannes Hutzelmeyer:
Church's thesis is questioned by new calculation paradigm.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610039
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610039
Neil Rubens:
The Application of Fuzzy Logic to the Construction of the Ranking Function of Information Retrieval Systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610040
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610040
Yun Deng, Tony T. Lee:
Crosstalk-free Conjugate Networks for Optical Multicast Switching.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610041
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610041
Jérémy Fix, Julien Vitay, Nicolas P. Rougier:
A Computational Model of Spatial Memory Anticipation during Visual Search.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610042
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610042
Sergey Gubin:
A Polynomial Time Algorithm for The Traveling Salesman Problem.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610043
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610043
Zengyou He:
Farthest-Point Heuristic based Initialization Methods for K-Modes Clustering.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610044
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610044
Thierry Turletti, Yongho Seok:
Mécanismes de Transmission Multipoint pour Réseaux Locaux Sans Fil IEEE 802.11.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610045
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610045
Reza Rashidi Far, Tamer Oraby, Wlodzimierz Bryc, Roland Speicher:
Spectra of large block matrices.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610046
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610046
Daniel Lemire:
Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610047
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610047
Haim H. Permuter, Paul Cuff, Benjamin Van Roy, Tsachy Weissman:
Capacity of the Trapdoor Channel with Feedback.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610048
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610048
Nathan Keller, Stephen D. Miller, Ilya Mironov, Ramarathnam Venkatesan:
MV3: A new word based stream cipher using rapid mixing and revolving buffers.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610049
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610049
Edgar Morin:
Restricted Complexity, General Complexity.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610050
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610050
Tony T. Lee:
The Mathematical Parallels Between Packet Switching and Information Transmission.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610051
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610051
Mohab Safey El Din, Philippe Trebuchet:
Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610052
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610052
Chih-Chun Wang, Sanjeev R. Kulkarni, H. Vincent Poor:
Finite-Dimensional Bounds on Zm and Binary LDPC Codes with Belief Propagation Decoders.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610053
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610053
Henryk Gzyl, Enrique ter Horst, Samuel Malone:
Towards a Bayesian framework for option pricing.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610054
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610054
Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang:
Enumeration Problems Related to Ground Horn Theories.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610055
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610055
Yves Bertot:
Extending the Calculus of Constructions with Tarski's fix-point theorem.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610056
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610056
Philipp Mayr:
Constructing experimental indicators for Open Access documents.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610057
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610057
Pierre Loidreau:
Properties of codes in rank metric.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610058
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610058
Alexander V. Smirnov, Tatiana Levashova, Mikhail Pashkin, Nikolay Shilov, Andrew Krizhanovsky, Alexey Kashevnik, A. S. Komarova:
Context-sensitive access to e-document corpus.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610059
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610059
Claire Jonchery, Françoise Dibos, Georges Koepfler:
Camera motion estimation through planar deformation determination.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610060
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610060
Mark Levene, Judit Bar-Ilan:
Comparing Typical Opening Move Choices Made by Humans and Chess Engines.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610061
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610061
Gerhard Wunder, Thomas Michel:
The Delay-Limited Capacity Region of OFDM Broadcast Channels.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610062
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610062
Frédéric Blanqui:
A type-based termination criterion for dependently-typed higher-order rewrite systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610063
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610063
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada:
The Calculus of Algebraic Constructions.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610064
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610064
Frédéric Blanqui:
Termination and Confluence of Higher-Order Rewrite Systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610065
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610065
Frédéric Blanqui:
Definitions by Rewriting in the Calculus of Constructions.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610066
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610066
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada:
Inductive-data-type Systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610067
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610067
Walid S. Saba:
Language, logic and ontology: uncovering the structure of commonsense knowledge.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610068
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610068
Frédéric Blanqui:
Type theory and rewriting.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610069
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610069
Frédéric Blanqui:
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610070
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610070
Frédéric Blanqui:
Inductive types in the Calculus of Algebraic Constructions.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610071
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610071
Frédéric Blanqui:
Rewriting modulo in Deduction modulo.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610072
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610072
Frédéric Blanqui:
Definitions by rewriting in the Calculus of Constructions.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610073
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610073
Frédéric Blanqui:
Inductive types in the Calculus of Algebraic Constructions.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610074
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610074
Georg Schmidt, Vladimir Sidorenko, Martin Bossert:
Collaborative Decoding of Interleaved Reed-Solomon Codes and Concatenated Code Designs.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610075
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610075
Diederik Aerts, Marek Czachor, Bart De Moor:
On Geometric Algebra representation of Binary Spatter Codes.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610076
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610076
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610077
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610077
Niranjay Ravindran, Nihar Jindal:
MIMO Broadcast Channels with Block Diagonalization and Finite Rate Feedback.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610078
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610078
Fehmi Ben Abdesslem, Luigi Iannone, Marcelo Dias de Amorim, Katia Obraczka, Ignacio Solis, Serge Fdida:
Rapid Prototyping over IEEE 802.11.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610079
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610079
Shengtian Yang, Peiliang Qiu:
An Enhanced Covering Lemma for Multiterminal Source Coding.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610080
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610080
Stéphane Le Roux, Martin Ziegler:
Computable Closed Euclidean Subsets with and without Computable Points.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610081
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610081
Lars Birkedal, Noah Torp-Smith, Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610082
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610082
Sander Stepanov, Ofer Hadar:
Theoretical analysis of network cranback protocols performance.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610083
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610083
Sander Stepanov:
Estimation of the traffic in the binary channel for data networks.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610084
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610084
Thomas Claveirole, Marcelo Dias de Amorim, Michel Abdalla, Yannis Viniotis:
Share and Disperse: How to Resist Against Aggregator Compromises in Sensor Networks.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610085
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610085
Farn Wang:
Symbolic Simulation-Checking of Dense-Time Systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610086
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610086
Stephen A. Fenner, Yong Zhang:
The central nature of the Hidden Subgroup problem.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610087
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610087
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610088
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610088
A. Sparavigna, Bartolomeo Montrucchio:
Vector field visualization with streamlines.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610089
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610089
Himanshu Thapliyal, Mark Zwolinski:
Reversible Logic to Cryptographic Hardware: A New Paradigm.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610090
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610090
Himanshu Thapliyal, Hamid R. Arabnia, A. Prasad Vinod:
Combined Integer and Floating Point Multiplication Architecture(CIFM) for FPGAs and Its Reversible Logic Implementation.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610091
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610091
Ricardo Mansilla, E. Köppen, Germinal Cocho, Pedro Miramontes:
On the Behavior of Journal Impact Factor Rank-Order Distribution.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610092
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610092
David Eppstein:
Happy endings for flip graphs.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610093
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610093
Hans P. van Ditmarsch, Barteld P. Kooi:
Semantic results for ontic and epistemic change.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610094
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610094
Ali Mesbah, Arie van Deursen:
Migrating Multi-page Web Applications to Single-page AJAX Interfaces.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610095
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610095
Omer Giménez:
Solving planning domains with polytree causal graphs is NP-complete.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610096
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610096
Sandrine Blazy:
Partial Evaluation for Program Comprehension.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610097
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610097
Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610098
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610098
Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610099
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610099
Maximilien Gadouleau, Zhiyuan Yan:
Properties of Codes with the Rank Metric.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610100
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610100
Henry N. Jerez, Joud Khoury, Chaouki T. Abdallah:
A Mobile Transient Internet Architecture.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610101
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610101
Diego de Falco, Dario Tamascelli:
Entropy generation in a model of reversible computation.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610102
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610102
Arindam Mitra:
Quantum communication is possible with pure ensemble of entangled states.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610103
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610103
Praveen Kumar Gopala, Lifeng Lai, Hesham El Gamal:
On the Secrecy Capacity of Fading Channels.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610104
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610104
Young-Han Nam, Praveen Kumar Gopala, Hesham El Gamal:
ARQ Diversity in Fading Random Access Channels.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610105
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610105
Arvind Narayanan, Vitaly Shmatikov:
How To Break Anonymity of the Netflix Prize Dataset.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610106
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610106
Praveen Kumar Gopala, Young-Han Nam, Hesham El Gamal:
On the Error Exponents of ARQ Channels with Deadlines.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610107
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610107
Jinhua Jiang, Yan Xin, Hari Krishna Garg:
Interference Channels with Common Information.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610108
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610108
Mohand Lagha, Messaoud Bensebti:
Doppler Spectrum Estimation by Ramanujan Fourier Transforms.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610109
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610109
Mohamed El Baker Nassar, Radu State, Olivier Festor:
Intrusion detection mechanisms for VoIP applications.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610110
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610110
Marc Daumas, David R. Lester:
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610111
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610111
Kyomin Jung, Devavrat Shah:
Local approximate inference algorithms.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610112
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610112
Shengtian Yang, Peiliang Qiu:
On the Performance of Lossless Joint Source-Channel Coding Based on Linear Codes.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610113
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610113
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.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610114
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610114
Hans-Rudolf Thomann:
Instant Computing - A New Computation Paradigm.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610115
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610115
An Achievable Rate Region for the Gaussian Interference Channel.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610116
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610116
Tuomo Kakkonen:
DepAnn - An Annotation Tool for Dependency Treebanks.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610117
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610117
Jeremy Avigad, Yimu Yin:
Quantifier elimination for the reals with a predicate for the powers of two.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610118
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610118
Tuomo Kakkonen, Niko Myller, Erkki Sutinen:
Applying Part-of-Seech Enhanced LSA to Automatic Essay Grading.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610119
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610119
Elad Hazan:
Approximate Convex Optimization by Online Game Playing.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610120
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610120
Russell K. Standish, Duraid Madina:
Classdesc and Graphcode: support for scientific programming in C++.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610121
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610121
Ryutaroh Matsumoto:
Construction algorithm for network error-correcting codes attaining the Singleton bound.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610122
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610122
Philippe Langlois, Nicolas Louvet:
Faithful Polynomial Evaluation with Compensated Horner Algorithm.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610123
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610123
Lutz Straßburger:
Proof Nets and the Identity of Proofs.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610124
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610124
Tuomo Kakkonen:
Dependency Treebanks: Methods, Annotation Schemes and Tools.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610125
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610125
Radoslaw Hofman:
Report on article: P=NP Linear programming formulation of the Traveling Salesman Problem.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610126
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610126
Marcus Hutter, Shane Legg:
Fitness Uniform Optimization.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610127
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610127
Serban E. Vlad:
The intersection and the union of the asynchronous systems.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610128
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610128
Daniel Lemire, Owen Kaser:
Hierarchical Bin Buffering: Online Local Moments for Dynamic External Memory Arrays.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610129
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610129
Ismail Gunes, Haluk Bingol:
Community Detection in Complex Networks Using Agents.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610130
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610130
Evgueni A. Haroutunian:
On Bounds for $E$-capacity of DMC.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610131
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610131
Loris Marchal, Veronika Rehn, Yves Robert, Frédéric Vivien:
Scheduling and data redistribution strategies on star platforms.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610132
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610132
Kwankyu Lee, Michael E. O'Sullivan:
List Decoding of Hermitian Codes using Groebner Bases.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610133
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610133
Thomas Silverston, Olivier Fourmaux:
P2P IPTV Measurement: A Comparison Study.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610134
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610134
Richard G. Clegg, Maurice Dodson:
A Markov Chain based method for generating long-range dependence.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610135
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610135
Richard G. Clegg:
Markov-modulated on/off processes for long-range dependent internet traffic.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610136
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610136
Jean-Guillaume Dumas:
Bounds on the coefficients of the characteristic and minimal polynomials.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610137
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610137
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio:
A Concurrent Calculus with Atomic Transactions.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610138
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610138
Anant Sahai:
Why block-length and delay are not the same thing.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610139
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610139
Anant Sahai:
How to beat the sphere-packing bound with feedback.
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610140
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-cs-0610140
Leonid Makarov,