229 search results - page 9 / 46 » Partial Descriptions and Systemic Grammar |
CCS
2005
ACM
14 years 3 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
AAAI
2012
12 years 6 days ago
2012
Real-world AI systems have been recently deployed which can automatically analyze the plan and tactics of tennis players. As the game-state is updated regularly at short intervals...
ACL
1993
13 years 11 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
EWCBR
1998
Springer
14 years 2 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
EACL
1989
ACL Anthology
13 years 11 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...