5722 search results - page 276 / 1145 » the future of experimental research |
204
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
172
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
The Intrusion Detection System architectures commonly used in commercial and research systems have a number of problems that limit their configurability, scalability or efficiency...
185
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
178
click to vote
SPIRE
1999
Springer
15 years 11 months ago
1999
Springer
The majority of recent Cross-Language Information Retrieval (CLIR) research has focused on European languages. CLIR problems that involve East Asian languages such as Chinese intr...
179
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Quantum algorithms for factoring and finding discrete logarithms have previously been generalized to finding hidden subgroups of finite Abelian groups. This paper explores the ...