Sciweavers

1362 search results - page 156 / 273
» Challenges and Trends in Information Management
Sort
View
MMMACNS
2001
Springer
15 years 11 months ago
Open Issues in Formal Methods for Cryptographic Protocol Analysis
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
Catherine Meadows
OOIS
2001
Springer
15 years 11 months ago
Towards a Requirements Engineering Process Model
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
Armin Eberlein, Li Jiang
SIGIR
2000
ACM
15 years 10 months ago
Bridging the lexical chasm: statistical approaches to answer-finding
Abstract This paper investigates whether a machine can automatically learn the task of finding, within a large collection of candidate responses, the answers to questions. The lea...
Adam L. Berger, Rich Caruana, David Cohn, Dayne Fr...
ELPUB
1999
ACM
15 years 10 months ago
The UK Children's Publishing House - Adapting to Change for the Multimedia Market
The research project currently in progress aims to develop a comprehensive understanding of the children’s multimedia publishing industry in the UK and the challenges of adapting...
Audrey Anthoney, Jo Royle, Ian M. Johnson
AMTA
1998
Springer
15 years 10 months ago
A Modular Approach to Spoken Language Translation for Large Domains
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...
Monika Woszczyna, Matthew Broadhead, Donna Gates, ...