Sciweavers

4719 search results - page 486 / 944
» Applications = Components GLoo
Sort
View
FLAIRS
2000
15 years 7 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
ANLP
1997
119views more  ANLP 1997»
15 years 7 months ago
Dutch Sublanguage Semantic Tagging combined with Mark-Up Technology
In this paper, we want to show how the morphological component of an existing NLP-system for Dutch (Dutch Medical Language Processor - DMLP) has been extended in order to produce ...
Peter Spyns, Ngo Thanh Nhan, Erik Baert, Naomi Sag...
142
Voted
WSC
2000
15 years 7 months ago
Optimizing earthmoving operations using object-oriented simulation
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...
Mohamed Marzouk, Osama Moselhi
ACL
1990
15 years 7 months ago
Multiple Underlying Systems: Translating User Requests into Programs to Produce Answers
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
Robert J. Bobrow, Philip Resnik, Ralph M. Weisched...
174
Voted
IJCAI
1989
15 years 7 months ago
Real-Time AI Systems: A Definition and An Architecture
Speed alone is insufficient for real-time performance. We define real-time performance in terms of speed, responsiveness, timeliness, and graceful adaptation. We claim that all fo...
Rajendra T. Dodhiawala, N. S. Sridharan, Peter Rau...