12084 search results - page 76 / 2417 » Effect Systems with Subtyping |
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
This demo presents a graphical user interface and ranking system, coined KSpot, for effectively monitoring the K highest-ranked answers to a query Q in a Wireless Sensor Network. K...
OSDI
2002
ACM
14 years 9 months ago
2002
ACM
It is becoming increasingly common to construct network services using redundant resources geographically distributed across the Internet. Content Distribution Networks are a prim...
APLAS
2004
ACM
14 years 25 days ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
NAACL
2004
13 years 10 months ago
2004
End-to-end evaluations of conversational dialogue systems with naive users are currently uncovering severe usability problems that result in low task completion rates. Preliminary...
RT
2001
Springer
14 years 1 months ago
2001
Springer
We propose a practicable way to include both polarization and fluorescence effects in a rendering system at the same time. Previous research in this direction only demonstrated s...