Sciweavers

18209 search results - page 218 / 3642
» Some Remarks on the Paper
Sort
View
CSCW
1998
ACM
15 years 6 months ago
When Survival is an Issue: PD in Support of Landscape Architecture
This paper reports on an ongoing project involving researchers from Lancaster University and a branch of a landscape architecture firm. It explores some of the possibilities pursue...
Preben Mogensen, Dan Shapiro
ENTCS
2008
94views more  ENTCS 2008»
15 years 5 months ago
On the Convergence of Reduction-based and Model-based Methods in Proof Theory
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
Gilles Dowek
DATESO
2009
109views Database» more  DATESO 2009»
15 years 4 months ago
Various aspects of user preference learning and recommender systems
In this paper, we describe area of recommender systems, with focus on user preference learning problem. We describe such system and identify some interesting problems. We will comp...
Alan Eckhardt
SIAMCO
2010
144views more  SIAMCO 2010»
15 years 1 months ago
About the Existence of Locally Lipschitz Output Feedback Stabilizers for Nonlinear Systems
In this paper we complement some results of [L. Marconi, L. Praly, and A. Isidori, SIAM J. Control Optim., 45 (2007), pp. 2277
Alberto Isidori, Laurent Praly, Lorenzo Marconi
ACISP
2011
Springer
14 years 10 months ago
Cryptanalysis of the Compression Function of SIMD
Abstract. SIMD is one of the second round candidates of the SHA3 competition hosted by NIST. In this paper, we present some results
Hongbo Yu, Xiaoyun Wang