2002 search results - page 266 / 401 » Interactive technical illustration |
119
click to vote
COMCOM
2000
15 years 4 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
132
click to vote
JSA
1998
15 years 4 months ago
1998
The composition of the example set has a major impact on the quality of neural learning. The popular approach is focused on extensive preprocessing to bridge the representation ga...
146
click to vote
RE
2002
Springer
15 years 4 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
151
click to vote
SOFTWARE
2002
15 years 4 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
130
click to vote
PUC
2008
15 years 3 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...