7124 search results - page 497 / 1425 » Programming Languages and Operating Systems |
194
click to vote
UM
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
276
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
318
click to vote
POPL
2006
ACM
16 years 8 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
308
click to vote
POPL
2001
ACM
16 years 8 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
183
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Current sign language recognition systems are still designed for signer-dependent operation only and thus suffer from the problem of interpersonal variability in production. Appli...