4743 search results - page 751 / 949 » The PlusCal Algorithm Language |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper we present a method for determining body orientation and pose information from laser scanner data using particle filtering with an adaptive modeling algorithm. A...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
CAISE
2007
Springer
14 years 3 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...