1691 search results - page 156 / 339 » 'Field' work |
173
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
200
click to vote
CLOUDCOM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
162
click to vote
AIIDE
2007
15 years 9 months ago
2007
Interactive narrative is a blossoming field, with new systems and approaches being developed each year. However, despite this burgeoning array of designs, little work has been don...
200
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Though attention to evaluating human-robot interfaces has increased in recent years, there are relatively few reports of using evaluation tools during the development of humanrobo...
158
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Previous studies have shown that text genres can be computationally distinguished by sophisticated computational and statistical methods. The current study adds to the previous bo...