Sciweavers

235 search results - page 18 / 47
» A Practical Mix
Sort
View
ITP
2010
156views Mathematics» more  ITP 2010»
14 years 1 months ago
The Optimal Fixed Point Combinator
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
Arthur Charguéraud
LEGE
2004
171views Education» more  LEGE 2004»
13 years 11 months ago
The Model of Collaborative Learning GRID to activate interactivity for Knowledge Building
The purpose of this study is to support the learning activity in the Internet learning space. In this paper, we examine the GRID technology as the knowledge management for support...
Toshio Okamoto, Mizue Kayama
PUC
2008
112views more  PUC 2008»
13 years 9 months ago
Hybrid ecologies: understanding cooperative interaction in emerging physical-digital environments
Abstract We consider the emergence of hybrid ecologies, which marry mixed reality environments and ubiquitous computing environments together to bridge the physical-digital divide....
Andy Crabtree, Tom Rodden
4OR
2010
148views more  4OR 2010»
13 years 8 months ago
Point-to-point shortest paths on dynamic time-dependent road networks
This a summary of the author's PhD thesis supervised by Leo Liberti, Philippe Baptiste and Daniel Krob and defended on 18 June 2009 at Ecole Polytechnique, Palaiseau, France. ...
Giacomo Nannicini
TCOM
2008
106views more  TCOM 2008»
13 years 9 months ago
Walsh coded training signal aided time domain channel estimation for MIMO-OFDM systems
This letter proposes a novel Walsh coded training signal design and decoding method to estimate the channel response in MIMO-OFDM systems. The Walsh coded training signals, designe...
Hyoung-Goo Jeon, Hyoung-Kyu Song, Erchin Serpedin