305 search results - page 39 / 61 » An Extension of System F with Subtyping |
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
Traditional DBMSs decouple statistics collection and query optimization both in space and time. Decoupling in time may lead to outdated statistics. Decoupling in space may cause s...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Channel estimation inaccuracy is known to affect significantly the error performance of coded communication systems. This applies in particular to broadband MIMO channels, ofte...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...