704 search results - page 97 / 141 » A Note on Typing Feature Structures |
134
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
129
click to vote
VLDB
1987
ACM
15 years 5 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
FLAIRS
1998
15 years 3 months ago
1998
Motionanalysis often relies on differencing operations that inherently amplify noise and are hindered by the spatial correspondenceproblem.Analternative approach is proposedusing ...
119
click to vote
ANLP
1992
15 years 3 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...