25111 search results - page 4642 / 5023 » Information Systems |
244
click to vote
SAC
2002
ACM
15 years 7 months ago
2002
ACM
Different presentations of candidate expansion terms have not been fully explored in interactive query expansion (IQE). Most existing systems that offer an IQE facility use a list...
206
click to vote
SAC
2002
ACM
15 years 7 months ago
2002
ACM
We investigate the universal characteristics of the simulated time horizon of the basic conservative parallel algorithm when implemented on regular lattices. This technique [1, 2]...
175
click to vote
TIT
1998
15 years 7 months ago
1998
Abstract—Runlength-limited (RLL) codes are used in magnetic recording. The error patterns that occur with peak detection magnetic recording systems when using a runlength-limited...
187
click to vote
TSE
1998
15 years 7 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
165
click to vote
SP
2002
IEEE
15 years 7 months ago
2002
IEEE
The Grid-based Virtual Laboratory AMsterdam (VLAM-G), provides a science portal for distributed analysis in applied scientific research. It offers scientists experiment control, d...