Sciweavers

4184 search results - page 467 / 837
» A Data Transformation System for Biological Data Sources
Sort
View
RSP
2007
IEEE
158views Control Systems» more  RSP 2007»
16 years 1 months ago
SPP-NIDS - A Sea of Processors Platform for Network Intrusion Detection Systems
A widely used approach to avoid network intrusion is SNORT, an open source Network Intrusion Detection System (NIDS). This work describes SPP-NIDS, a architecture for intrusion de...
Luis Carlos Caruso, Guilherme Guindani, Hugo Schmi...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
16 years 16 hour ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
TREC
2000
15 years 8 months ago
The LIMSI SDR System for TREC-9
In this paper we describe the LIMSI Spoken Document Retrieval system used in the TREC-9 evaluation. This system combines an adapted version of the LIMSI 1999 Hub-4E transcription ...
Jean-Luc Gauvain, Lori Lamel, Claude Barras, Gille...
EICS
2010
ACM
15 years 10 months ago
Improving modularity and usability of interactive systems with Malai
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
Arnaud Blouin, Olivier Beaudoux
EACL
1989
ACL Anthology
15 years 8 months ago
User studies and the design of Natural Language Systems
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
Steve Whittaker, Phil Stenton