Sciweavers

page 143 / 60054

» publications

143

WORDS
2003
IEEE

77views Embedded Systems» more WORDS 2003»

A Presence Service Architecture for Supporting Spontaneous Interaction

16 years 7 days ago

A Presence Service Architecture for Supporting Spontaneous Interaction

Download dspace.wul.waseda.ac.jp

Tatsuo Nakajima

claim paper

Read More »

153

WORDS
2003
IEEE

103views Embedded Systems» more WORDS 2003»

Edsger Dijkstra

16 years 7 days ago

Edsger Dijkstra

Download www.cs.ncl.ac.uk

Brian Randell

claim paper

Read More »

118

APLAS
2003
ACM

133views Programming Languages» more APLAS 2003»

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

16 years 7 days ago

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

137

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

16 years 7 days ago

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

147

Voted

COMPGEOM
2003
ACM

119views Discrete Geometry» more COMPGEOM 2003»

New constructions of weak epsilon-nets

16 years 7 days ago

New constructions of weak epsilon-nets

Download www.inf.ethz.ch

Jivri Matouaek

claim paper

Read More »

« Prev « First page 143 / 60054 Last » Next »