Sciweavers

3809 search results - page 85 / 762
» Associative language descriptions
Sort
View
EUSFLAT
2007
124views Fuzzy Logic» more  EUSFLAT 2007»
15 years 6 months ago
Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
Umberto Straccia, Fernando Bobillo
OWLED
2007
15 years 6 months ago
Extending Fuzzy Description Logics for the Semantic Web
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
Giorgos Stoilos, Giorgos B. Stamou
EMNLP
2009
15 years 2 months ago
Descriptive and Empirical Approaches to Capturing Underlying Dependencies among Parsing Errors
In this paper, we provide descriptive and empirical approaches to effectively extracting underlying dependencies among parsing errors. In the descriptive approach, we define some ...
Tadayoshi Hara, Yusuke Miyao, Jun-ichi Tsujii
ESOP
1992
Springer
15 years 8 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
PPSWR
2005
Springer
15 years 10 months ago
Descriptive Typing Rules for Xcerpt
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
Sacha Berger, Emmanuel Coquery, Wlodzimierz Draben...