972 search results - page 25 / 195 » Intersection types and computational effects |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Kazuhiro Terajima The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656 Japan Kazuhiro_Terajima@ipc.i.u-tokyo.ac.jp Takashi Komuro The University of Tokyo 7-3-1 Hongo, Bu...
IPSN
2005
Springer
14 years 1 months ago
2005
Springer
We consider coverage problems in sensor networks of stationary nodes with minimal geometric data. In particular, there are no coordinates and no localization of nodes. We introduc...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
ICIS
1997
13 years 9 months ago
1997
Interrupted work environments are commonplace in today’s organizations. In addition, organizational work is increasingly performed using some form of computer support. Consequen...
PRESENCE
1998
13 years 7 months ago
1998
The operation of six degree-of-freedom electromagnetic trackers is based on the spatial properties of the electromagnetic fields generated by three small coils. Anything in the e...