2604 search results - page 215 / 521 » Human Errors and System Requirements |
AI
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we propose a named-entity recognition (NER) system that addresses two major limitations frequently discussed in the field. First, the system requires no human interv...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
: In this paper, we propose a methodology based on genetic programming to automatically generate hardware designs of substitution boxes necessary for many cryptosystems such as DES...
CSCWD
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
CADE
1990
Springer
14 years 1 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...