10263 search results - page 246 / 2053 » From Use Cases to System Operation Specifications |
192
click to vote
ICDAR
2003
IEEE
16 years 16 days ago
2003
IEEE
How do you tell a computer from a human? The situation arises often on the Internet, when online polls are conducted, accounts are requested, undesired email is received, and chat...
219
click to vote
VCBM
2010
15 years 1 months ago
2010
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
178
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
209
click to vote
ACL
2012
13 years 9 months ago
2012
In this paper, we present an unsupervized segmentation system tested on Mandarin Chinese. Following Harris's Hypothesis in Kempe (1999) and Tanaka-Ishii's (2005) reformu...
225
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...