1775 search results - page 140 / 355 » Antichains on Three Levels |
SGAI
2005
Springer
15 years 7 months ago
2005
Springer
SkillSum is an Artificial Intelligence (AI) and Natural Language Generation (NLG) system that produces short feedback reports for people who are taking online tests which check th...
105
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
In this demonstration we present three interface designs which enable users to visually browse video data by moving a slider thumb along the timeline. In such a case, scrolling gr...
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
Autonomous agents can help users by taking on a substantial workload, and performing tasks that are too complex for a human. However, in some systems complete autonomy is undesira...
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...