8874 search results - page 215 / 1775 » A New Implementation of Automath |
112
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
Process-oriented learning designs (POLD) are used to describe innovative teaching activities (processes) that can be generalised and used across different disciplines. This paper ...
151
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
135
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
CAPTCHAs are tests that distinguish humans from software robots in an online environment [3, 14, 7]. We propose and implement three CAPTCHAs based on naming images, distinguishing ...
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reviews the reliability impacts occurring from the implementation of the demand response initiatives offered in New York’s Emergency Demand Response Program (EDRP) an...
132
click to vote
ISCAS
1994
IEEE
15 years 8 months ago
1994
IEEE
Based on symmetry of the maximally flat frequency response of a FIR notch filter the new design procedure is developed. The closed form solution provides direct computation of the...