29 search results - page 1 / 6 » Calculators are needlessly bad |
IJMMS
2000
13 years 4 months ago
2000
In the two decades hand-held calculators have been readily available there has been ample time to develop a usable design and to educate the consumer public into choosing quality d...
ICCV
1999
IEEE
14 years 6 months ago
1999
IEEE
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer...
CCGRID
2008
IEEE
13 years 11 months ago
2008
IEEE
—Accurate fault detection is a key element of resilient computing. Syslogs provide key information regarding faults, and are found on nearly all computing systems. Discovering ne...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
CAV
1999
Springer
13 years 9 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...