Sciweavers

1142 search results - page 86 / 229
» TAST-Trademark Application Assistant
Sort
View
ACE
2004
178views Education» more  ACE 2004»
15 years 7 months ago
Managing Large Class Assessment
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
Anthony Rhodes, Karyn Bower, Peter Bancroft
ISTA
2004
15 years 7 months ago
Evidential Paradigm and Intelligent Mathematical Text Processing
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
Alexander V. Lyaletski, Anatoly E. Doroshenko, And...
ATAL
2010
Springer
15 years 7 months ago
MagneBike: toward multi climbing robots for power plant inspection
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
Andreas Breitenmoser, Fabien Tâche, Gilles C...
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 6 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
AR
2005
115views more  AR 2005»
15 years 6 months ago
Insights toward robot-assisted evacuation
This paper discusses the application of robotic technologies to an evacuation assistance task. We describe how this kind of task differs from the more prevalent search and rescue ...
Dylan A. Shell, Maja J. Mataric