All Papers

50 / 540,131 papers shown

Title
Common knowledge logic in a higher order proof assistant? P. Lescanne 32 6 0 19 Dec 2007
Proxy Signature Scheme with Effective Revocation Using Bilinear Pairings M. Das A. Saxena D. B. Phatak 26 20 0 19 Dec 2007
Gibbs Sampling for a Bayesian Hierarchical General Linear Model Alicia A. Johnson Galin L. Jones 32 27 0 18 Dec 2007
Comments on "Improved Efficient Remote User Authentication Schemes" M. Das 31 3 0 18 Dec 2007
A Class of LULU Operators on Multi-Dimensional Arrays R. Anguelov Inger Plaskitt 26 7 0 18 Dec 2007
Model selection for quantum homodyne tomography J. Kahn 24 3 0 18 Dec 2007
From quasi-entropy to skew information D. Petz V. Szabó 41 11 0 18 Dec 2007
The source coding game with a cheating switcher Hari Palaiyanur Cheng Chang A. Sahai 38 7 0 18 Dec 2007
Density estimation in linear time Satyaki Mahalanabis Daniel Stefankovic 29 22 0 18 Dec 2007
Evolving XSLT stylesheets Nestor Zorzano Daniel Merino J. L. Laredo Juan P. Sevilla P. García-Sánchez J. J. M. Guervós 29 1 0 17 Dec 2007
Middleware-based Database Replication: The Gaps between Theory and Practice E. Cecchet George Candea Anastasia Ailamaki 28 122 0 17 Dec 2007
An Approximation Ratio for Biclustering Kai Puolamäki Sami Hanhijärvi Gemma C. Garriga 26 15 0 17 Dec 2007
An Economic Model of Coupled Exponential Maps R. López-Ruiz J. Gonzalez-Estevez Mario G. Cosenza Juan R. Sánchez 31 0 0 17 Dec 2007
Algorithmic Permutation of part of the Torah G. J. Croll 29 0 0 17 Dec 2007
Some A Priori Torah Decryption Principles G. J. Croll 26 2 0 17 Dec 2007
Variational inference for large-scale models of discrete choice Michael Braun Jon D. McAuliffe 32 183 0 15 Dec 2007
A New Theoretic Foundation for Cross-Layer Optimization Fangwen Fu M. Schaar 31 6 0 15 Dec 2007
Decomposition During Search for Propagation-Based Constraint Solvers Martin Mann Guido Tack S. Will 31 8 0 14 Dec 2007
Data access optimizations for highly threaded multi-core CPUs with multiple memory controllers G. Hager T. Zeiser G. Wellein 31 29 0 14 Dec 2007
The Earth System Grid: Supporting the Next Generation of Climate Modeling Research D. Bernholdt S. Bharathi David Brown K. Chanchio Meili Chen ... Line C. Pouchard A. Shoshani A. Sim G. Strand Dean N. Williams 30 184 0 13 Dec 2007
Human-Machine Symbiosis, 50 Years On Ian T. Foster SyDa 33 3 0 13 Dec 2007
A Dynamic ID-based Remote User Authentication Scheme M. Das A. Saxena V. Gulati 36 609 0 13 Dec 2007
On the deployment of Mobile Trusted Modules A. Schmidt N. Kuntze M. Kasper 29 49 0 13 Dec 2007
Trust for Location-based Authorisation A. Schmidt N. Kuntze J. Abendroth 34 12 0 13 Dec 2007
Apports des démarches dínspection et des tests dúsage dans l'évaluation de láccessibilité de E-services Marc-Eric Bobiller-Chaumon Franccoise Sandoz-Guermond 32 0 0 13 Dec 2007
Study of conditions of use of E-services accessible to visually disabled persons M. Bobillier-Chaumon Michel Dubois Françoise Sandoz-Guermond 28 2 0 13 Dec 2007
Numerical Sensitivity and Efficiency in the Treatment of Epistemic and Aleatory Uncertainty E. Chojnacki J. Baccou Sebastien Destercke 26 5 0 13 Dec 2007
Medical image computing and computer-aided medical interventions applied to soft tissues. Work in progress in urology J. Troccaz M. Baumann P. Berkelman P. Cinquin V. Daanen ... A. Dusserre J. Giraud J. Long R. Moalic P. Mozer 29 18 0 13 Dec 2007
Semi-parametric estimation of shifts Fabrice Gamboa Jean-Michel Loubes Elie Maza 31 71 0 12 Dec 2007
Prediction of long memory processes on same-realisation F. Godet 26 5 0 12 Dec 2007
Hierarchy construction schemes within the Scale set framework Jean-Hugues Pruvot Luc Brun 28 3 0 12 Dec 2007
Constructing Bio-molecular Databases on a DNA-based Computer Weng-Long Chang Michael Ho Ho M. Guo SyDa 29 1 0 12 Dec 2007
Conception dóutils de communication spécifiques au contexte éducatif S. George Cécile Bothorel 26 8 0 11 Dec 2007
Conceptions et usages des plates-formes de formation, Revue Sciences et Technologies de lÍnformation et de la Communication pour l'Éducation et la Formation S. George Alain Derycke 33 9 0 11 Dec 2007
A Web-based System for Observing and Analyzing Computer Mediated Communications M. May S. George P. Prévôt 29 6 0 11 Dec 2007
PAC-Bayesian Bounds for Randomized Empirical Risk Minimizers Pierre Alquier 94 57 0 11 Dec 2007
Estimation in a class of nonlinear heteroscedastic time series models J. Ngatchou-Wandji 35 16 0 11 Dec 2007
Virtual Laboratories and Virtual Worlds P. Hut 31 21 0 11 Dec 2007
$Smoothing $\ell_1$-penalized estimators for high-dimensional time-course data$ Smoothing $\ell_1$ -penalized estimators for high-dimensional time-course data L. Meier Peter Buhlmann 43 25 0 11 Dec 2007
Distributed Consensus Algorithms in Sensor Networks: Quantized Data and Random Link Failures S. Kar José M. F. Moura 40 425 0 10 Dec 2007
Dynamic Multilevel Graph Visualization Todd L. Veldhuizen 28 18 0 10 Dec 2007
Detecting abrupt changes of the long-range dependence or the self-similarity of a Gaussian process Jean‐Marc Bardet Imen Kammoun 31 6 0 10 Dec 2007
Reconstruction of Markov Random Fields from Samples: Some Easy Observations and Algorithms Guy Bresler Elchanan Mossel Allan Sly 26 153 0 10 Dec 2007
Birthday attack to discrete logarithm An-Ping Li 30 0 0 10 Dec 2007
Dynkin's Isomorphism with Sign Structure Kshitij Khare 31 0 0 09 Dec 2007
Population stratification using a statistical model on hypergraphs A. Vázquez 28 24 0 09 Dec 2007
Sequential operators in computability logic G. Japaridze 29 66 0 09 Dec 2007
About Algorithm for Transformation of Logic Functions (ATLF) Lev Cherbanski 31 0 0 08 Dec 2007
Evaluating the Utility of Anonymized Network Traces for Intrusion Detection Kiran Lakkaraju A. Slagell 30 41 0 07 Dec 2007
Locality and low-dimensions in the prediction of natural experience from fMRI François G. Meyer G. Stephens 31 6 0 07 Dec 2007