Sciweavers

page 143 / 60054

» publications

138

WORDS
2003
IEEE

77views Embedded Systems» more WORDS 2003»

A Presence Service Architecture for Supporting Spontaneous Interaction

15 years 11 months ago

A Presence Service Architecture for Supporting Spontaneous Interaction

Download dspace.wul.waseda.ac.jp

Tatsuo Nakajima

claim paper

Read More »

139

WORDS
2003
IEEE

103views Embedded Systems» more WORDS 2003»

Edsger Dijkstra

15 years 11 months ago

Edsger Dijkstra

Download www.cs.ncl.ac.uk

Brian Randell

claim paper

Read More »

110

APLAS
2003
ACM

133views Programming Languages» more APLAS 2003»

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

15 years 11 months ago

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

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

125

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

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

15 years 11 months ago

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

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

142

COMPGEOM
2003
ACM

119views Discrete Geometry» more COMPGEOM 2003»

New constructions of weak epsilon-nets

15 years 11 months 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 »