Sciweavers

8446 search results - page 1174 / 1690
» A Process Compensation Language
Sort
View
204
Voted
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
196
Voted
RIAO
2000
15 years 8 months ago
Assisting requirements engineering with semantic document analysis
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
Paul Rayson, Roger Garside, Peter Sawyer
234
Voted
AAAI
1994
15 years 8 months ago
A Model of Creative Understanding
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
Kenneth Moorman, Ashwin Ram
COLING
1994
15 years 8 months ago
A Grammar And A Parser For Spontaneous Speech
This paper classifies distinctive phenomena occurring in Japanese spontaneous speech, and proposes a grammar and processing techniques for handling them. Parsers using a grammar f...
Mikio Nakano, Akira Shimazu, Kiyoshi Kogure
COLING
1996
15 years 8 months ago
Decision Tree Learning Algorithm with Structured Attributes: Application to Verbal Case Frame Acquisition
The Decision Tree Learning Algorithms (DTLAs) are getting keen attention from the natural language processing research comlnunity, and there have been a series of attempts to appl...
Hideki Tanaka
« Prev « First page 1174 / 1690 Last » Next »