Sciweavers

2154 search results - page 74 / 431
» On the notion of concept I
Sort
View
CSL
2005
Springer
14 years 3 months ago
Towards a Typed Geometry of Interaction
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
Esfandiar Haghverdi, Philip J. Scott

Lecture Notes
832views
15 years 7 months ago
Sorting and Searching Algorithms: A Cookbook
"This is a collection of algorithms for sorting and searching. Descriptions are brief and intuitive, with just enough theory thrown in to make you nervous. I assume you know C...
THOMAS NIEMANN
ECIR
2008
Springer
13 years 11 months ago
A Wikipedia-Based Multilingual Retrieval Model
This paper introduces CL-ESA, a new multilingual retrieval model for the analysis of cross-language similarity. The retrieval model exploits the multilingual alignment of Wikipedia...
Martin Potthast, Benno Stein, Maik Anderka
TIT
2002
47views more  TIT 2002»
13 years 9 months ago
A model for stock price fluctuations based on information
I present a new model for stock price fluctuations based on a concept of "information." In contrast, the usual Black
Lawrence A. Shepp
STACS
2012
Springer
12 years 5 months ago
The Denjoy alternative for computable functions
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...
Laurent Bienvenu, Rupert Hölzl, Joseph S. Mil...