Search Sciweavers | Sciweavers

6599 search results - page 120 / 1320

» Towards a Theory of Information

168

click to vote

TYPES
1999
Springer

116views Formal Methods» more TYPES 1999»

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

15 years 10 months ago

Download cedric.cnam.fr

We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...

David Delahaye

claim paper

Read More »

105

click to vote

CORR
2008
Springer

76views Education» more CORR 2008»

On Information Rates of the Fading Wyner Cellular Model via the Thouless Formula for the Strip

15 years 6 months ago

Download www.math.umn.edu

We apply the theory of random Schr

Nathan Levy, Ofer Zeitouni, Shlomo Shamai

claim paper

Read More »

103

click to vote

ICEIS
2009
IEEE

101views Information Technology» more ICEIS 2009»

Towards a Common Public Service Infrastructure for Swiss Universities

16 years 1 months ago

Download www.ipmsg.ch

Florian Schnabel, Eva Bucherer, Uwe Heck

claim paper

Read More »

111

click to vote

ICEIS
2009
IEEE

112views Information Technology» more ICEIS 2009»

Towards a Unified Strategy for the Preprocessing Step in Data Mining

16 years 1 months ago

Download users.utcluj.ro

Camelia Vidrighin Bratu, Rodica Potolea

claim paper

Read More »

142

click to vote

WAIM
2009
Springer

100views Information Technology» more WAIM 2009»

Towards Multi-modal Extraction and Summarization of Conversations

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers