Sciweavers

3625 search results - page 169 / 725
» On choosing
Sort
View
CPM
2001
Springer
98views Combinatorics» more  CPM 2001»
15 years 11 months ago
Regular Expression Searching over Ziv-Lempel Compressed Text
We present a solution to the problem of regular expression searching on compressed text. The format we choose is the Ziv-Lempel family, speci cally the LZ78 and LZW variants. Give...
Gonzalo Navarro
EMO
2001
Springer
132views Optimization» more  EMO 2001»
15 years 11 months ago
Multi-objective Evolutionary Design of Fuzzy Autopilot Controller
Abstract. A multi-objective evolutionary algorithm is used to determine the membership function distribution within the outer loop control system of a non-linear missile autopilot ...
Anna L. Blumel, Evan J. Hughes, Brian A. White
SPIN
2001
Springer
15 years 11 months ago
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
Michael Baldamus, Jochen Schröder-Babo
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 11 months ago
Branch Bank Network Structure with Electronic Transactions Considerations
The paper applies an economic model of a competitive market for retail banking services to generate insights into the following relevant questions. Is the cost structure of electr...
Reynold E. Byers, Phillip J. Lederer
ICCAD
2000
IEEE
77views Hardware» more  ICCAD 2000»
15 years 11 months ago
Improving the Proportion of At-Speed Tests in Scan BIST
A method to select the lengths of functional sequences in a BIST scheme for scan designs is proposed in this paper. A functional sequence is a sequence of primary input vectors ap...
Yu Huang, Irith Pomeranz, Sudhakar M. Reddy, Janus...